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 sedebe 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 (p q) (q p)

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

Compilado por: Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemáticas y Física, Ingeniero de Alimentos Página 1