UNIDAD I.

LOGICA PROPOSICIONAL APUNTES DE ALGEBRA I

COMPARACION DE LEYES MAT100

MSc Ing Nancy Abarca

Equivalencia lógica
Dos proposiciones son lógicamente equivalentes si la bicondicional entre ambas es una
tautología
A≡ B si y solo si la bicondicional entre ambas es una tautología

• ∧∩ +∨ ∪ 1VU 0F𝜑 −∼ 𝑐

Nombre Leyes lógicas Leyes conjuntistas Leyes del Algebra de Boole

1. p∧ 𝑞 = 𝑞 ∧ 𝑝 A∩ 𝐵 = 𝐵 ∩ 𝐴 a*b=b*a
Conmutativa
p∨ 𝑞 = 𝑞 ∨ 𝑝 A∪ 𝐵 = 𝐵 ∪ 𝐴 a+b=b+a
2.Asociativa (p∧ 𝑞) ∧ 𝑟 = 𝑝 ∧ (𝑞 ∧ 𝑟) (A∩ 𝐵) ∩ 𝐶 = 𝐴 ∩ (𝐵 ∩ 𝐶) (a*b)*c=a*(b*c)
(p∨ 𝑞) ∨ 𝑟 = 𝑝 ∨ (𝑞 ∨ 𝑟) (A∪ 𝐵) ∪ 𝐶 = 𝐴 ∪ (𝐵 ∪ 𝐶) (a+b)+c=a+(b+c)
3.Distributiva 𝑝 ∧ (𝑞 ∨ 𝑟) = (p ∧ 𝑞) ∨ (p ∧ 𝑟) A∩ (𝐵 ∪ 𝐶) = (𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐶) a*(b+c)=(a*b)+(a*c)
𝑝 ∨ (𝑞 ∧ 𝑟) = (p ∨ 𝑞) ∧ (p ∨ 𝑟) A∪ (𝐵 ∩ 𝐶 ) = (𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶) a+(b*c)=(a+b)*(a+c)
4. Elemento p∧ 𝑉 = 𝑝 A∩ 𝑈 = 𝐴 a*1=a
neutro p∨ 𝐹 = 𝑝 A∪ ∅ = 𝐴 a+0=a
5. condición p∧∼ 𝑝 = 𝐹 A∩ 𝐴𝑐 = ∅ a+(-a) =0
de negación p∨∼ 𝑝 = 𝑉 A∪ 𝐴𝑐 = 𝑈 a.a-1=1
6. Ley de ∼ (∼ 𝑝) = 𝑝
doble
negación
7. Ley de De ∼ (𝑝 ∧ 𝑞) =∼ 𝑝 ∨∼ 𝑞
Morgan ∼ (𝑝 ∨ 𝑞) =∼ 𝑝 ∧∼ 𝑞

8. Ley de p∧ (𝑝 ∨ 𝑞) = 𝑝
absorción p∨ (𝑝 ∧ 𝑞) = 𝑝
9. Ley de ∼p∧ (𝑝 ∨ 𝑞) =∼ 𝑝 ∧ 𝑞
Poretzky p∨ (∼ 𝑝 ∧ 𝑞) = 𝑝 ∨ 𝑞
10. ley de p∧ 𝑝 = 𝑝
idempotencia p∨ 𝑝 = 𝑝
11. Ley de p->q= ∼ 𝑝 ∨ 𝑞 A-B= A∩ 𝐵𝐶
implicación
12. Ley de P<->q= (p->q)∧ (𝑞 → 𝑝) A∆𝐵 = (𝐴 − 𝐵) ∪ (𝐵 − 𝐴)
doble A∆𝐵 = (𝐴 ∩ 𝐵𝐶 ) ∪ (𝐵 ∩ 𝐴𝐶 )
implicación
13. condición p∨ 𝑉 = 𝑉
de tautología
14. condición p∧ 𝐹 = 𝐹
de
antitautología