Reglas de

inferencia

Imagen tomada de: https://bit.ly/2rj32Uz

 Demostración

Argumento + Argumento

Hipótesis / Teoría
 P→Q
P
.·.Q

Modus Ponens
(Modo de Afirmación)

“si se tiene una expresión condicional se puede afirmar el

consecuente en base a la afirmación del antecedente.”

Imagen tomada de: https://bit.ly/2rgGfZt

 P→Q
¬Q
Modus Tollens .·. ¬P
(Modo de Negación)

“En una expresión condicional a

partir de la negación del consecuente
se conoce la negación del antecedente.

Imagen tomada de: https://bit.ly/2wdPtdMt

 PvQ
¬P
.·.Q

Silogismo Disyuntivo

“Establece una disyunción exclusiva, de manera que los dos

miembros no pueden ser simultáneamente verdaderos, ni
simultáneamente falsos.”

Imagen tomada de: https://bit.ly/2JPddXK

 P→Q
Q→R
.·.P → R

Silogismo Hipotético
“se basan en hipótesis y que de acuerdo a la afirmación o
negación de una de ellas. es posible determinar la verdad de la
otra.”
Imagen tomada de: https://bit.ly/2whr86S
 (P→Q) ^ (R→S)
PvR
.·.Q
Silogismo Constructivo

“A partir de dos
fórmulas condicionales
y de la disyunción se
obtiene la disyunción
de sus consecuentes.”

Imagen tomada de: https://bit.ly/2HPLUvL

 (P→Q) ^ (R→S)
¬Q v ¬S
.·.¬P v ¬R

Silogismo Destructivo
“A partir de dos fórmulas condicionales y de las negaciones de sus
consecuentes, se obtiene la disyunción de las negaciones de
antecedentes.”
Imagen tomada de: https://bit.ly/2wflp1G
 Webgrafía

✣ Carlos Martínez, publicado el 19 Enero de 2018 , "Reglas de inferencia

logica", Archivo disponible en: https://bit.ly/2raxwbm