INFERENCIA LÓGICA O ARGUMENTO LÓGICO – DEMOSTRACIÓN CON TABLAS DE VERDAD Y LEYES LOGICAS

PROPOSICIONES LÓGICAS COMPLETO - PODCAST: ▶️ https://acortar.link/Fq1qGU ✏️

WEB DE LÓGICA PROPOSICIONAL: https://logicaproposicionaleyes.blogspot.com/

BLOG DE LÓGICA PROPOSICIONAL: https://logicaproposicionalprofeguille.blogspot.com/

INFERENCIA LÓGICA O ARGUMENTO LÓGICO

Se llama INFERENCIA LÓGICA o ARGUMENTO LÓGICO  a toda condicional de la forma:

(p₁ ᴧ p₂ ᴧ p₃ ᴧ …   p_k ) → q

Una inferencia puede ser tautología, contingencia o contradicción.

1) Si la condicional es tautología o implicación lógica recibe el nombre de ARGUMENTO VÁLIDO o INFERENCIA VÁLIDA.

2) Si la condicional no es tautología se denomina FALACIA.

Teorema:

Si el argumento es VALIDO y las premisas p₁ ᴧ p₂ ᴧ p₃ ᴧ …   p_k, son verdaderas, entonces la CONCLUSIÓN 𝑞 es verdadera.

Ejemplo:

Demuestra si el siguiente argumento es válido:

[p ᴧ (p → q) ] → q

VÍDEO DE INFERENCIA LÓGICA: https://youtu.be/oh5fpusiZHA

INFERENCIAS VÁLIDAS NOTABLES

1) LEY DEL MODUS PONENDO PONENS: https://youtu.be/NZt12g_tbIU

[(p → q) ᴧ p ] → q

Ejemplo:

Si Luís gana el concurso, entonces viajará a España

Luís gana el concurso

______________________________________________

Luís viajará a España

 

2) LEY DEL MODUS TOLLENDO TOLLENS: https://youtu.be/7ej54NwKlXc

[(p → q) ᴧ ~ q ] → ~ p

Ejemplo:

Si Luís gana el concurso, entonces viajará a España

Luís no viajó a España

______________________________________________

Luís no ganó el concurso

3) LEY DEL SILOGISMO HIPOTÉTICO: https://youtu.be/2N-d48UtQ-s

[(p → q) ᴧ (q → r)] → (p → r)

Ejemplo:

Si no llueve, entonces se perderá la cosecha

Si se pierde la cosecha, entonces no se podrá cancelar la deuda

______________________________________________

Si no llueve, no se podrá cancelar la deuda