PRINCIPALES EQUIVALENCIAS Y LEYES DE LA LÓGICA PROPOSICIONAL

1) Involución o Doble Negación

12) Ley de La Bicondicional
~ (~ p) ≡ p
2) Idempotencia a) (p  q) ≡
[(p  q)  (q  p)]
a) (p  p) ≡ p
b) (p  p) ≡ p b) (p  q) ≡ [(~ p  q)  (~ q  p)]
c) (p  q) ≡ [(~ p  ~ q) v (p  q)]
3) Conmutativa d) (p  q) ≡ [~ (p  q) v (p  q)]

a) (p  q) ≡ (q  p) 13) Ley de la Disyunción Fuerte

b) (p  q) ≡ (q  p)
4) Asociativa a) p Δ q ≡ ~ (p  q) ≡
(~ p  q)
a) [(p  q)  r] ≡ [p  (q  r)] b) p Δ q ≡ (p v q)  ~ (p  q)
b) [(p  q)  r] ≡ [p  (q  r)] c) p Δ V ≡ ~ p
14) Ley de Transportación
5) Distributiva
(p  q)  (q  r)  (p  r)
a) [(p  q)  r] ≡ [(p  r) v (q  r)]
b) [(p  q)  r] ≡ [(p  r)  (q  r)] 15) Ley de Adición

6) Leyes de De Morgan ppq

a) ~ (p  q) ≡ (~ p  ~ q) 16) Ley de Simplificación

b) ~ (p  q) ≡ (~ p  ~ q)
pqp
7) Ley de la Identidad 17) Ley de Modus Ponendo Ponens

a) (p  V) ≡ p b) (p  F) ≡ F [p  (p  q) ]  q
c) (p  V) ≡ V d) (p  F) ≡ p
18) Ley de Modus Tollendo Ponens
8) Ley del Complemento
a) [(p  q)  ~ p]  q
a) (p  ~ p) ≡ F b) (p  ~ p) ≡ V b) [(p  q)  ~ q]  p

9) Leyes de Absorción 19) Ley de Modus Tollendo Tollens

a) [p  (p  q)] ≡ p [~ q  (p  q) ]  ~ p
b) [p  (p v q)] ≡ p
c) [p  (~ p  q)] ≡ (p  q)
d) [p  (~ p v q)] ≡ (p  q)
10) Ley de La Condicional

a) p  q ≡ ~ p  q
b) ~ (p  q) ≡ p  ~ q

11) Ley de La Contrarrecíproca

pq≡~q~p