UAC MATEMÁTICA BÁSICA

EQUIVALENCIA LOGICA

Sea dos proposiciones p y q si la proposición 𝒑 ↔ 𝒒 es una tautología, entonces p es equivalente a q y se

simboliza como 𝒑 ≡ 𝒒

Ejemplo: Sean los esquemas moleculares 𝒑 → 𝒒 y ~𝒑 ∨ 𝒒, averiguar si estas proposiciones son

equivalentes.

Es decir; debemos probar que la proposición (𝒑 → 𝒒) ↔ (~𝒑 ∨ 𝒒) es una tautología, veamos la

siguiente tabla de valores de verdad:

p q (𝒑 → 𝒒) ↔ (~𝒑 ∨ 𝒒)
V V V V V
V F F V F
F V V V V
F F V V V

Como el bicondicional es una TAUTOLOGÍA entonces las proposiciones son EQUIVALENTES.

Es decir:

(𝒑 → 𝒒) ≡ (~𝒑 ∨ 𝒒)

LEYES EQUIVALENTES O EQUIVALENCIAS NOTABLES

Permiten transformar y simplificar fórmulas lógicas

1. Ley de doble negación: ∼ (∼ p) ≡ p

2. Leyes de idempotencia:
a) p∨p≡p

b) p ∧ p ≡ p

3. Leyes conmutativas:
a) p∨q≡q∨p

b) p ∧ q ≡ q ∧ p

c) p⇔q≡q⇔p

4. Leyes asociativas:
a) p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r
b) p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r
c) p ⇔ (q ⇔ r) ≡ (p ⇔ q) ⇔ r

5. Leyes distributivas:
a) p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
b) p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
c) p ⇒ (q ∧ r) ≡ (p ⇒ q) ∧ (p ⇒ r)

pág. 1
UAC MATEMÁTICA BÁSICA

d) p ⇒ (q ∨ r) ≡ (p ⇒ q) ∨ (p ⇒ r)

6. Leyes de Morgan:
a) ∼ (p ∧ q) ≡ ∼ p ∨ ∼ q
b) ∼ (p ∨ q) ≡ ∼ p ∧ ∼ q

7. Leyes del condicional:

a) p⇒q≡∼p∨q

b) (p ⇒ q)  p  ∼ q

8. Leyes del bicondicional:

a) p ⇔ q ≡ (p ⇒ q) ∧ (q ⇒ p)
b) p ⇔ q ≡ (p  q) ∨ (∼p  ∼ q)

9. Leyes de la absorción:
a) p  (p  q)  p
b) p  ( p  q)  p  q
c) p  (p  q)  p
d) p  ( p  q)  p  q

10. Leyes de transposición:

a) p ⇒ q ≡ (∼ q ⇒ ∼ p)
b) p ⇔ q ≡ (∼ q ⇔ ∼ p)

11. Ley de exclusión del término medio: p∨∼p≡V

12. Ley de contradicción: p ∧ ∼p ≡ F

13. Leyes de identidad:

a) p∨F≡p
b) p ∧ V ≡ p

14. Leyes de dominación

a) p ∨ V ≡ V
b) p ∧ F ≡ F

Ejemplo: Demostrar que: (𝒑 → 𝒒) ≡ (~𝒒 → ~𝒑)

( p → q)  p  q Ley dela implicación

 q  p Ley conmutativa
 ( q)  p Ley de doble negación
 q → p Ley de la implicación
 ( p → q)  ( q → p)

pág. 2
UAC MATEMÁTICA BÁSICA

EJERCICIOS DE APLICACIÓN

1. Determine mediante la tabla de valores de verdad, si las siguientes proposiciones son equivalentes o
no.

a) [(p ∧ ∼q) v ∼ (q ∧ ∼p)] con [(p ⇒ q) ⇒ (q ⇒ p)]

b) (p ⇔ q) con (∼p ⇔ ∼q)
c) [p ⇒ (q v r)] con [(p⇒ q) v (q⇒ r)]
Solución:
a) [(p ∧ ∼q) v ∼ (q ∧ ∼p)] con [(p ⇒ q) ⇒ (q ⇒ p)]
p q [(p ∧ ∼q) v ∼ (q ∧ ∼p)] ↔ [(p⇒ q) v (q⇒ p)]

b) (p ⇔ q) con (∼p ⇔ ∼q)

p q (p ⇔ q) ↔ (∼p ⇔ ∼q)

c) [p ⇒ (q v r)] con [(p⇒ q) v (q⇒ r)]

p q r (q v r)] [p ⇒ (q v r)] ↔ [(p⇒ q) v (q⇒ r)]

2. Demuestre las siguientes equivalencias utilizando las propiedades o leyes de equivalencia.

a) [(p  q) → p]  V

pág. 3
UAC MATEMÁTICA BÁSICA

b) [ (p  q) → p]  F

c) (q  q) → p  p

d) [(p  q)  q] →p  V

pág. 4