Modus Ponems

Reglas de inferencia Formulas Estructura Ejemplo
Modus Ponens P Q
P
/.: Q De un condicional se afirma antecedente para concluir el consecuente Si Carlos es amigo de Jorgeentonces Jorge es amigo de Carlos

Carlos es amigo de Jorge

/.: Jorge es amigo de Carlos
Modus Tollens P Q
-Q
/.: -P De un condicional se niega el consecuente para concluirnegando el antecedente Si Cookie es amiga de Jorge entonces Cookie no es amiga de Carlos

Cookie es amiga de Carlos
/.: Cookie no es amiga de Jorge
Silogismo Disyuntivo P V Q
-P
/.:Q Deuna disyunción se niega un disyunto para concluir afirmando el otro o viceversa
Silogismo Hipotetico P Q
Q R
/.: P R
De un condicional cuyo consecuente pasacomo antecedente de otro condicional se concluye un tercer condicional con el antecedente del primero y el consecuente del segundo
Dilema Constructivo (P Q) ^ (R S)
P V R
/.:R V S

De la conjunción de los condicionales y la disyunción de sus antecedentes se concluye la disyunción de los consecuentes
Dilema Destructivo
[P Q] ^ [R S]
-Q V –S/.: -P V R De la conjunción de 2 condicionales y la negación de los consecuentes se concluye la negación de los antecedentes también en disyunción
Simplificación P ^Q
/.: P De unaconjunción se concluye el primer o 2º conyunto
Adición P
/.: P ^ Q De una expresión previamente admitida se concluye la misma disyunción con cualquier otra
Conjunción P
Q
/.: P V QDe 2 expresiones ya admitidas se concluye la conjunción der las mismas

DEMOSTRACIÓN DE ARGUMENTOS
I
1.-
2.- P ^Q
/.: P
3.-
P Q [ ( P ^ Q)
P
V V V V V V V
V F V F F V VF V F F V V F
F F F F F V F
El argumento es valido


II
1.-

2.- P V Q
-P
/.:Q
3.- ^^^^ [ ]
P Q [(P V Q) ^ - P]
Q
V V
V F
F V
F F