Mamoria Y Tolerancia

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 Jorge entonces 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 concluir negando 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 De una 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 pasa como 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 una conjunció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 Q De 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 V

F 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

...