You are on page 1of 1

Equivalencia Notables

1. Definición del condicional (DC)


𝑨 → 𝑩 ≈∼ 𝑨 ∨ 𝑩
2. Definición del bicondicional (DB)
𝑨 ↔ 𝑩 ≈ (𝑨 → 𝑩) ∧ (𝑩 → 𝑨)
𝑨 ↔ 𝑩 ≈ (𝑨 ∧ 𝑩) ∨ (∼ 𝑨 ∧∼ 𝑩)
3. Teorema de Morgan(DeM)
∼ (𝑨 ∧ 𝑩) ≈∼ 𝑨 ∨∼ 𝑩
∼ (𝑨 ∨ 𝑩) ≈∼ 𝑨 ∧∼ 𝑩

4. Doble negación(DN)
∼∼ 𝑨 ≈ 𝑨
5. Conmutación(Conm.)
𝑨∧𝑩≈𝑩∧𝑨
𝑨∨𝑩≈𝑩∨𝑨
𝑨↔𝑩≈𝑩↔𝑨
6. Asociación (Asc.)
(𝑨 ∧ 𝑩) ∧ 𝑪 ≈ 𝑨 ∧ (𝑩 ∧ 𝑪)
(𝑨 ∨ 𝑩) ∨ 𝑪 ≈ 𝑨 ∨ (𝑩 ∨ 𝑪)
7. Distribución (Dist.)
𝑨 ∧ (𝑩 ∨ 𝑪) ≈ (𝑨 ∧ 𝑩) ∨ (𝑨 ∧ 𝑪)
𝑨 ∨ (𝑩 ∧ 𝑪) ≈ (𝑨 ∨ 𝑩) ∧ (𝑨 ∨ 𝑪)
8. Idempotencia (Idem)
𝑨∧𝑨≈𝑨
𝑨∨𝑨≈𝑨
9. Contraposición (Contra.)
𝑨 → 𝑩 ≈∼ 𝑩 →∼ 𝑨

10.Absorción (Abs.)

𝑨 ∧ (𝑨 ∨ 𝑩) ≈ 𝑨
𝑨 ∨ (𝑨 ∧ 𝑩) ≈ 𝑨
𝑨 ∧ (∼ 𝑨 ∨ 𝑩) ≈ 𝑨 ∧ 𝑩
𝑨 ∨ (∼ 𝑨 ∧ 𝑩) ≈ 𝑨 ∨ 𝑩

11. Exportación (Exp.)

(𝑨 ∧ 𝑩) → 𝑪 ≈ 𝑨 → (𝑩 → 𝑪)

You might also like