RESUMEN DE LAS LEYES DE INFERENCIA

9. Simplificación disyuntiva (SD)

1. Modus Ponendo Ponens (PP) p q
p r
p q p ~q ~p q
q r
p p ~p
r
q ~q q OTRAS LEYES LOGICAS DE APOYO

2. Modus tollendo tollens (TT) 10. Prueba del condicional

p q
p q p q p (se anexa)
~q q se debe concluir q
~p p
11. Ley de absorción (abs.)
3. Silogismo hipotético (SH)
p q
p q p ( q p)
q r
p r 12. Ley de contraposición (contraria)

4. Tollendo ponens (TP) p q q p

p q p q 13. Ley del condicional

~q ~p p q p q
o
p q
14. Ley de exportación (LE)
5. Doble negación (DN)
[(p q) r] [p (q r)]
( p)
p 15. Leyes de Morgan (DM)
(p q) p q
6. Adjunción y simplificación
(p q) q p
Adjunción (A) Simplificación (S)
16. Leyes conmutativas (LC)
p q p q (p q) (q p)
p ( premisa) o
q ( premisa) p q
(p q) (q p)
p q
17. Leyes asociativas (LA)
7. ley de la adición (LA)

p ( premisa)
(p q) r p (q r)
p q
(p q) r p (q r)
8. Silogismo disyuntivo (DS)
18. Leyes distributivas (LD)
p q
p r p (q r) (p q) (p r)
q s p (q r) (p q) (p r)
r s