Dimostra che la seguente è una tautologia:

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

Questa è la proprietà transitiva dell'implicazione.