Las siguientes tautologías también son fundamentales para el desarrollo de nuestro curso.

A diferencia de las que habíamos considerado hasta el momento, estas son de tipo implicativo;
es decir, son implicaciones y no equivalencias y esto quiere decir, entre otras cosas, que debe
tenerse mucho cuidado con la forma precisa de estas tautologías ya que la implicación no es
conmutativa.
Utilizando tablas de verdad, demuestre que efectivamente se trata de tautologías; nueva-
mente, estas tautologías deben ser recordadas (esto incluye recordar tanto la formulación co-
rrecta de cada una de ellas como el nombre correspondiente).

1. Mudus Ponens: 5. Silogismo disyuntivo:

((α ⇒ β) ∧ α) ⇒ β.
((α ∨ β) ∧ ∼α) ⇒ β.
2. Mudus Tollens: ((α ∨ β) ∧ ∼β) ⇒ α.

((α ⇒ β) ∧ ∼β) ⇒ ∼α.

6. Silogismo hipotético:
3. Simplificación:

(α ∧ β) ⇒ α. ((α ⇒ β) ∧ (β ⇒ γ)) ⇒ (α ⇒ γ).

(α ∧ β) ⇒ β.
7. Bicondicional–condicional:
4. Adición:

α ⇒ (α ∨ β). (α ⇔ β) ⇒ (α ⇒ β).
β ⇒ (α ∨ β). (α ⇔ β) ⇒ (β ⇒ α).