Prove que o seguinte é uma tautologia:

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

Esta é a propriedade transitiva da implicação.