MATEMÁTICA I

LEYES DEL ALGEBRA PROPOSICIONAL PARA EQUIVALENCIAS LÓGICAS

1. Ley de la involución
∼ (∼ 𝑝 )
2. La idempotencia
𝑝∧𝑝 ≡ 𝑝
𝑝∨𝑝 ≡ 𝑝
3. Leyes conmutativas
𝑝∧𝑞 ≡ 𝑞∧𝑝
𝑝∨𝑞 ≡ 𝑞∨𝑝
𝑝↔𝑞≡𝑞↔𝑝
4. Leyes asociativas
(𝑝 ∧ 𝑞) ∧ 𝑟 ≡ 𝑝 ∧ (𝑞 ∧ 𝑟)
(𝑝 ∨ 𝑞) ∨ 𝑟 ≡ 𝑝 ∨ (𝑞 ∨ 𝑟)
(𝑝 ↔ 𝑞) ↔ 𝑟 ≡ 𝑝 ↔ (𝑞 ↔ 𝑟)
5. Leyes distributivas
𝑝 ∧ (𝑞 ∨ 𝑟 ) ≡ (𝑝 ∧ 𝑞 ) ∨ (𝑝 ∧ 𝑟 )
𝑝 ∨ (𝑞 ∧ 𝑟 ) ≡ (𝑝 ∨ 𝑞 ) ∧ (𝑝 ∨ 𝑟 )
𝑝 → (𝑞 ∧ 𝑟 ) ≡ ( 𝑝 → 𝑞 ) ∧ ( 𝑝 → 𝑟 )
𝑝 → (𝑞 ∨ 𝑟 ) ≡ ( 𝑝 → 𝑞 ) ∨ ( 𝑝 → 𝑟 )
6. Leyes de Morgan
∼ (𝑝 ∧ 𝑞) ≡∼ 𝑝 ∨∼ 𝑞
∼ (𝑝 ∨ 𝑞) ≡∼ 𝑝 ∧∼ 𝑞
7. Leyes de la absorción
𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝
𝑝 ∧ (∼ 𝑝 ∨ 𝑞 ) ≡ 𝑝 ∧ 𝑞
𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝
𝑝 ∨ (∼ 𝑝 ∧ 𝑞 ) ≡ 𝑝 ∨ 𝑞
8. Las leyes del condicional
𝑝 → 𝑞 ≡ ~𝑝 ∨ 𝑞
∼ (𝑝 → 𝑞) ≡ 𝑝 ∧∼ 𝑞
9. Leyes del bicondicional
(𝑝 ↔ 𝑞) ≡ (𝑝 → 𝑞) ∧ (𝑞 → 𝑝)
(𝑝 ↔ 𝑞) ≡ (𝑝 ∧ 𝑞) ∨ (∼ 𝑝 ∧∼ 𝑞)
10. Leyes de Transposición
𝑝 → 𝑞 ≡ ~𝑞 → ~𝑝
(𝑝 ↔ 𝑞) ≡ (~𝑞 ↔ ~𝑝)
11. Leyes de Exportación
(𝑝⋀𝑞) → 𝑟 ≡ 𝑝 → (𝑞 → 𝑟)
[(𝑝1 ∧ 𝑝2 ∧ … ∧ 𝑝𝑛 → 𝑟)] ≡ [(𝑝1 ∧ 𝑝2 ∧ … ∧ 𝑝𝑛−1 ) → (𝑝𝑛 → 𝑟)]
MATEMÁTICA I

OTRAS EQUIVALENCIAS
𝑝∧𝑉 ≡ 𝑝
𝑝∨𝑉 ≡ 𝑉
𝑝∧𝐹 ≡𝐹
𝑝∨𝐹 ≡𝑝
𝑝 ∧∼ 𝑝 ≡ 𝐹
𝑝 ∨∼ 𝑝 ≡ 𝑉

EJEMPLOS:
1. Reducir a la mínima expresión los siguientes esquemas
a) 𝐴 = (~𝑝 ⋀ 𝑞) → (𝑞 → 𝑝)
b) 𝐵 = (𝑝 ⋁ 𝑞) ⋀ ∼ (𝑝 ∧ 𝑞)
c) 𝐶 =∼ [∼ (𝑝 ∧ 𝑞) →∼ 𝑞] ∨ 𝑝
d) 𝐷 = [∼ 𝑝 → (𝑝 ∧ 𝑞)] ↔ [∼ 𝑞 → (𝑞 ⋁ 𝑝)]
e) 𝐸 = [(𝑝 → 𝑞 ) ∨∼ 𝑝] ∨ (∼ 𝑞 → 𝑝)