LEYES DE INFERENCIA

Leyes de Implicacin:
a. Modus Ponendo Ponens (MPP) [(P Q) P] Q c. Modus Tollendo Ponens (MTP) [(P Q) Q] P [(P Q) P] Q e. Ley de Simplificacin (SIMPL) (P Q) P (P Q) Q b. Modus Tollendo Tollens (MTT) [(P Q) Q] P d. Silogismo Hipottico (SH) [(P Q) (Q R)] (P R) f. Ley de la Conjuncin (CONJ) P, Q (P Q)

g. Ley de Adiccin (AD) P (P Q)

Ley de Equivalencia:
a. Conmutativa (P Q) (Q P) (P Q) (Q P) (P Q) (Q P) c. Distributiva P (Q R) P (Q R) b. Asociativa (P Q) R P (Q R) (P Q) R P (Q R) (P Q) R P (Q R) d. Transposicin (P Q) ( Q P) (P Q) ( Q P) f. Bicondicional (P Q) (P Q) h. Identidad P P P P P P j. Morgan (P Q) (P Q) P

(P Q)

(P R) (P Q) (P R)

e. Condicional (P Q) ( P

Q)

(Q P)

g. Exportacin (P Q) R P (Q R) i. Absorcin P (P Q) P (P Q)

P P

P P P

Q Q

k. Algebra V P F P P F F P V V V P P

P V P V P F F P

V P V
P