PROPOSICIONES LÓGICAMENTE EQUIVALENTES

Decimos que dos proposiciones son lógicamente equivalentes (≡) si tienen la misma
secuencia de valores de verdad en su matriz principal.
Ejemplo:
p  q ~p q

V V V F V V pq ≡ ~pq
V F F F F F
F V V V V V
F V F V V F

PRINCIPALES EQUIVALENCIAS LÓGICAS

(LEYES DEL ÁLGEBRA PROPOSICIONAL)

1) Involución o Doble Negación 8) Ley del Complemento

~ (~ p) ≡ p a) (p  ~ p) ≡ F b) (p  ~ p) ≡ V

2) Idempotencia 9) Leyes de Absorción

a) (p  p) ≡ p a) [p  (p  q)] ≡ p
b) (p  p) ≡ p b) [p  (p v q)] ≡ p
c) [p  (~ p  q)] ≡ (p  q)
3) Conmutativa d) [p  (~ p v q)] ≡ (p  q)
a) (p  q) ≡ (q  p)
10) Ley de la Condicional
b) (p  q) ≡ (q  p)
a) p  q ≡ ~ p  q
4) Asociativa b) ~ (p  q) ≡ p  ~ q
a) [(p  q)  r] ≡ [p  (q  r)]
11) Ley de la Contrarrecíproca
b) [(p  q)  r] ≡ [p  (q  r)]
pq≡~q~p
5) Distributiva
12) Ley de la Bicondicional
a) [(p  q)  r] ≡ [(p  r) v (q  r)]
b) [(p  q)  r] ≡ [(p  r)  (q  r)] a) (p  q) ≡ [(p  q)  (q  p)]
b) (p  q) ≡ [(~ p  q)  (~ q  p)]
6) Leyes de De Morgan c) (p  q) ≡ [(~ p  ~ q) v (p  q)]
d) (p  q) ≡ [~ (p  q) v (p  q)]
a) ~ (p  q) ≡ (~ p  ~ q)
b) ~ (p  q) ≡ (~ p  ~ q) 13) Ley de la Disyunción Fuerte
7) Ley de Identidad a) p Δ q ≡ ~ (p  q)
≡ (~ p  q)
a) (p  V) ≡ p c) (p  F) ≡ F b) p Δ q ≡ (p v q)  ~ (p  q)
b) (p  V) ≡ V d) (p  F) ≡ p c) p Δ V ≡ ~ p