LEYES DEL ALGEBRA DE 5. Absorción: 12).

Leyes del Bicondicional:

PROPOSICIONES A  (A ˄ B)  A
a) p ↔ q ≡ (p → q) ˄ (q → p)
A ˄ (A  B)  A
1. Doble negación b) p ↔ q ≡ (¬p  q) ˄ (¬q  p)
~ (~ A)  A ¬A  (A ˄ B)  ¬A  B
~ [~ (~ A)]  ~ A c) p ↔ q ≡ (p  q) ˅ (~p  ~q)
¬A ˄ (A  B)  ¬A ˄ B d) p ↔ q ≡ ~ p ↔ ~q ≡ ~(p ↔ ~q) ≡ ~(~p ↔ q)
2. Conmutativa 6. Identidad: e) p ↔ q ≡ ~ (p Δ q) ≡ ~ p Δ q ≡ p Δ ~ q ≡ ~(~p Δ ~ q)
a) A  V  V
a) A  B  B  A
b) A  V  A 13.Leyes del Disyuntor fuerte:
b) A  B  B  A a) p Δ q ≡ ¬ (p ↔ q)
c) A˅F A
c) A ↔ B  B ↔ A b) p Δ q ≡ (¬p  q)  (¬q  p)
d) A  F  F
d) A Δ B  B Δ A 7. Complemento: c) p Δ q ≡ (p  q)  (¬q  ¬ p)
e) A ↓ B  B ↓ A d) p Δ q ≡ ~ p ↔ q ≡ p ↔ ~ q ≡ ~ (p ↔ q) ≡ ~ (~p ↔ ~q)
A v ~ A  V (Postulado del tercer excluido)
f) A ⁄ B  B ⁄ A A  ~ A  F (Postulado de contradicción) e) p Δ q ≡ ~ p Δ ~q ≡ ~ (p Δ ~q) ≡ ~ (~p Δ q)

3. Teorema de D´ Morgan 8. Idempotencia

A˅AA 14. Ley de Exportación:
a) ~ (A ˅ B)  ~ A  ~ B A˄AA (p  q) → r ≡ p → (q → r)
b) ~ (A ˄ B)  ~ A ˅ ~ B
9. Distributiva: Otras Equivalencias
c) A  B  ~ (~ A ˅ ~ B)
a) A ˅ (B  C)  (A ˅ B)  (A ˅ C) A↔1  A A ˄ (A ↔ B)  A  B
d) A  B  ~ (~ A  ~ B) A↔A  1
b) A  (B ˅ C)  (A  B) ˅ (A  C) A ˅ (A ↔ B)  A ˅ ¬ B
A↔0 ¬A
4. Ley Asociativa
c) A → (B ˄ C)  (A → B) ˄ (A → C) A ↔ ¬A  0 (A ˄ B) ↔ A ≡ ¬A ˅ B
A Δ0 A
A ˅ (B ˅ C)  (A ˅ B) ˅ C  (A ˅ C) ˅ B ( A ˅ B) ↔ A ≡ A ˅ ¬ B
10.Leyes del Condicional: A Δ 1  ¬A
(A ˄ B) ˄ (C ˄D)  (A ˄ C) ˄ (B ˄ D) a) p → q ≡ ~p ˅ q A Δ ¬A  1 (A ˅ B) ↔ (A ˅ C) ≡ A ˅ (B ↔ C)
A ΔA 0
(A ↔B↔C ↔D)  (A ↔ C) ↔ (B ↔ D) b) ~ (p → q) ≡ p  ~ q

11. Leyes de Trasposición:

(A ΔBΔC ΔD)  (A Δ C) Δ (B Δ D)
a) (p → q) ≡ (~q → ~p)
b) (p ↔ q) ≡ (~q ↔ ~p)
2021 DOCENTE: JORGE SILVA GONZALES
CEPUNT