UNMSM-CENTRO PREUNIVERSITARIO Ciclo Ordinario 2016-II

PRINCIPALES EQUIVALENCIAS E IMPLICANCIAS LGICAS

(LEYES DEL LGEBRA PROPOSICIONAL)

1) Involucin o Doble Negacin 10) Ley de la Condicional

~ (~ p) p pq~pq
~ (p q) p ~ q
2) Idempotencia
11) Ley de la Contrarrecproca
a) (p p) p
b) (p p) p pq~q~p

3) Conmutativa 12) Ley de la Bicondicional

a) (p q) (q p) a) (p q) [(p q) (q p)]
b) (p q) (q p) b) (p q) [(~ p q) (~ q p)]
c) (p q) [(~ p ~ q) v (p q)]
4) Asociativa d) (p q) [~ (p q) v (p q)]

a) [(p q) r] [p (q r)] 13) Ley de la Disyuncin Fuerte

b) [(p q) r] [p (q r)]
5) Distributiva
a) [(p q) r] [(p r) v (q r)]
b) [(p q) r] [(p r) (q r)]
a) p q ~ (p q) (~ p q)
b) p q (p v q) ~ (p q)
c) p T ~ p
14) Ley de Transportacin

6) Leyes de De Morgan (p q) (q r) (p r)

a) ~ (p q) (~ p ~ q) 15) Ley de Adicin

b) ~ (p q) (~ p ~ q)
ppq
7) Ley de la Identidad
16) Ley de Simplificacin
Se denota T = Tautologa
= Contradiccin, se tiene: pqp
a) (p T) p b) (p )
c) (p T) T d) (p ) p 17) Ley de Modus Ponendo Ponens

8) Ley del Complemento [p (p q)] q

a) (p ~ p) b) (p ~ p) T 18) Ley de Modus Tollendo Ponens

9) Leyes de Absorcin [(p q) ~ p] q

[(p q) ~ q] p
a) [p (p q)] p
b) [p (p v q)] p 19) Ley de Modus Tollendo Tollens
c) [p (~ p q)] (p q)
d) [p (~ p v q)] (p q) [~ q (p q)] ~ p

Semana N 1 (Prohibida su reproduccin y venta) Pg. 2