Reglas de inferencia: MPP, MTT, MTP y adjunción

Inferencia Lógica

Modus Ponendo Ponens (MPP) :

Modus Tollendo Ponens (MTP) :

Modus Tollendo Tollens (MTT) :

En el MPP se toman 2 premisas, una condicional y una premisa cualquiera

La premisa cualquiera debe ser igual a la antecedente.

Da como resultado el mismo consecuente.

EJEMPLOS:

p q

p

________

q

p ^ q

(p ^ q) s

_______________

s

Es parecido al MPP porque se toma una premisa condicional y una cualquiera, pero esta se basa en el consecuente.

Si la premisa cualquiera es la negación del consecuente entonces da como resultado la negación del antecedente.

EJEMPLOS:

q r

r

__________

q

r (p s)

p s

_____________

r

Se toman 2 premisas, un debe ser una disyunción y la otra una premisa cualquiera.

Si la premisa cualquiera es la negación de alguno de los componentes de la disyunción. Resulta el otro componente de la disyunción tal y como esta.

EJEMPLOS:

________

q

q r

r

p^q

(p^q) s

_____________

s

Ley de Adjunción(A) o Ley de conjunción (LC) :

Se toman dos premisas ya existentes. Y se pueden unir solamente con una conjunción (^).

EJEMPLOS :

p

q

____

p^q

r

p q

_____________

r ^ (p q)

ARTURO MOCTEZUMA ALVAREZ

GRUPO: 2TM2