• Author / Uploaded
• Germán López

Citation preview

CORPORACION UNIFICADA NACIONAL DE EDUCACION SUPERIOR CUN DEPARTAMENTO DE CIENCIAS BASICAS: MATEMATICAS

RESUMEN DE LAS LEYES DE INFERENCIA 9. Simplificación disyuntiva (SD)

p p q

1. Modus Ponendo Ponens (PP)

p p

q

p p

q

~q

~p ~p

~q

q q

OTRAS LEYES LOGICAS DE APOYO

2. Modus tollendo tollens (TT)

p q ~q ~p

p q

10. Prueba del condicional

p p

q

p p

p q ~q p

q ( q p)

p

o

p q ~p q

p

7. ley de la adición (LA)

( premisa) p q

8. Silogismo disyuntivo (DS)

q r s r s

q

[(p q)

p

p q

r] [p

(q

r)]

15. Leyes de Morgan (DM)

(p q) (p q)

6. Adjunción y simplificación

( premisa) ( premisa) p q

q

14. Ley de exportación (LE)

( p) p

Adjunción (A)

q

13. Ley del condicional

5. Doble negación (DN)

p p q

q

12. Ley de contraposición (contraria)

4. Tollendo ponens (TP)

p

(se anexa)

11. Ley de absorción (abs.)

q r r

p q

q

se debe concluir

p

3. Silogismo hipotético (SH)

p q p

q r r r

Simplificación (S)

p q p

o

p q q

p q

q p

16. Leyes conmutativas (LC)

(p

q)

(q

p)

(p

q)

(q

p)

17. Leyes asociativas (LA)

(p

q)

r

p

(q

r)

(p

q)

r

p

(q

r)

18. Leyes distributivas (LD)

p (q r) (p q) (p r) p (q r) (p q) (p r)

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

Página 1