Lógica Matemática

Equivalencias Fundamentales

El siguiente es un listado de equivalencias básicas de la lógica matemática. Para demostrar estas

equivalencias basta hacer tablas de verdad.

Sean p, q, r tres proposiciones. Entonces se cumple lo siguiente:

1. Conmutatividad:

a) (p ∧ q) ⇔ (q ∧ p).
b) (p ∨ q) ⇔ (q ∨ p).
c) (p Y q) ⇔ (p Y q).
d ) (p ⇔ q) ⇔ (q ⇔ p).

2. Asociatividad:

a) [p ∨ (q ∨ r)] ⇔ [(p ∨ q) ∨ r].

b) [p ∧ (q ∧ r)] ⇔ [(p ∧ q) ∧ r)].

3. Distributividad:

a) [p ∨ (q ∧ r)] ⇔ [(p ∨ q] ∧ (p ∨ r)].

b) [p ∧ (q ∨ r)] ⇔ [(p ∧ q)] ∨ (p ∧ r)].

4. Leyes de De Morgan:

a) (p ∨ q) ⇔ (p ∧ q).
b) (p ∧ q) ⇔ (p ∨ q).

5. Idempotencia:

a) (p ∨ p) ⇔ p.
b) (p ∧ p) ⇔ p.
c) p ⇔ p.

6. Absorción:

a) [p ∨ (p ∧ q)] ⇔ p.
b) [p ∧ (p ∨ q)] ⇔ p.

7. Otras:

a) (p ∨ V ) ⇔ V .
 2

b) (p ∨ F ) ⇔ p.
c) (p ∨ p) ⇔ V .
d ) (p ∧ V ) ⇔ p.
e) (p ∧ F ) ⇔ F .
f ) (p ∧ p) ⇔ F .
g) (p ⇒ q) ⇔ (p ∨ q).
h) (p ⇒ q) ⇔ (q ⇒ p).
i ) (p ⇔ q) ⇔ [(p ⇒ q) ∧ (q ⇒ p)].