Equivalencias Tautológicas
Implicaciones Tautológicas
∗ Modus ponendo ponens
(p → q) ∧ p ⇒ q
∗ Modus tollendo tollens
(p → q) ∧ ¬q ⇒ ¬p
∗ Silogismo disyuntivo
(p ∨ q) ∧ ¬p ⇒ q
(p ∨ q) ∧ ¬q ⇒ p
∗ Ley de simplificación
(p ∧ q) ⇒ p
(p ∧ q) ⇒ q
∗ Ley de silogismo hipotético
(p → q) ∧ (q → r) ⇒ (p → r)
∗ Ley de la adición
p⇒p∨q
∗ Leyes de Morgan
¬(p ∧ q) ⇔ ¬p ∨ ¬q
¬(p ∨ q) ⇔ ¬p ∧ ¬q
∗ Doble negación
p ⇔ ¬(¬p)
∗ Contraposición
(p → q) ⇔ (¬q → ¬p)
∗ Equivalencia para la implicación
(p → q) ⇔ ¬p ∨ q
∗ Ley del bicondicional
(p ↔ q) ⇔ (p → q) ∧ (q → p)
(p ↔ q) ⇔ (¬p ∧ ¬q) ∨ (p ∧ q)
∗ Conmutatividad
p∧q ⇔q∧p
p∨q ⇔q∨p
∗ Asociatividad
(p ∧ q) ∧ r ⇔ p ∧ (q ∧ r)
(p ∨ q) ∨ r ⇔ p ∨ (q ∨ r)
∗ Distributividad
p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)
p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)
∗ Ley de Exportación/Importación
(p ∧ q → r) ⇔ (p → (q → r))