Los pelados

REGLAS DE INFERENCIA
MODUS PONENS
En la lógica clásica, ponendo ponens Modus (América de la forma en que afirma, al afirmar,[1] a menudo abreviadoMP o modus ponens) es una váliday sencilla forma deargumento a veces se denomina afirmar el antecedente o la ley del desapego. 
Formal de la notación
El modus ponens regla puede ser escrita en posteriores notación:
[pic]
o en forma dereglas:
[pic]
tabla de verdad
|p |q |p → q |
|T |T |T |
|T|F |F |
|F |T |T |
|F |F |T|

Modus tollens

En la lógica clásica, modus tollens (o modus tollendo tollens) (latín para "la forma en que niega al negar") tiene la siguiente forma del argumento:Si P, entonces Q.
No Q.
Por lo tanto, no P.[3]
[pic]
[pic]
[pic]
("P es un subconjunto de Q. x no está en P. Por lo tanto, x no es en P.")
También en primer orden lalógica de predicados:

[pic]
[pic]
[pic]
tabla de verdad
La validez del modus tollens puede ser claramente demostrado a través de una tabla de verdad.
|p|q |p → q |
|T |T |T |
|T|F |F |
|F |T |T|
|F |F |T |

.
Resolución

Vemos que se puede aplicar a dos cláusulas...