CORPORACION UNIFICADA NACIONAL DE EDUCACION SUPERIOR CUN

DEPARTAMENTO DE CIENCIAS BASICAS: MATEMATICAS

RESUMEN DE LAS LEYES DE INFERENCIA

9. Simplificacin 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 absorcin (abs.)
3. Silogismo hipottico (SH)
p q
p q p ( q p)
q r
p r 12. Ley de contraposicin (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 exportacin (LE)
5. Doble negacin (DN)
[(p q) r] [p (q r)]
( p)
p 15. Leyes de Morgan (DM)
(p q) p q
6. Adjuncin y simplificacin
(p q) q p
Adjuncin (A) Simplificacin (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 adicin (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 Matemticas y Fsica, Ingeniero de Alimentos Pgina 1