Modus Ponendo Ponens

En lgica el Modus Ponendo Ponens es una regla de inferencia que tiene la

siguiente forma:
Si A, entonces B
A
Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del modus ponens podra ser:
Si esta soleado, entonces es de da.
Esta soleado
Por lo tanto es de dia.
b. Si Anglica tiene rabia, es una mujer.
Anglica tiene rabia
Por lo tanto Javier es una mujer.
Otra manera de representar el modus ponens con el condicional es:

Y aun otra manera es atraves de la notacin del clculo de secuentes: con

condicional:

Modus Tollens

Ejemplo:

: si estudio apruebo matemticas.

: No aprobare matemticas

: Entonces, no estudie.
Silogismo Hipottico (SH)
De (P R) y (Q R), deducimos (P R)
Se conoce como razonamiento encadena
Ejemplo:
Si el sol brilla, Angelica est en la playa
Si Angelica est en la playa, est nadando.
Si est nadando, estar cansada esta noche.
Por lo tanto, si el sol brilla, angelica est cansada esta noche.