Demuestra que lo siguiente es una tautología:

((A → B) ∧ (B → C)) → (A → C)

Esta es la propiedad transitiva de la implicación.