Bevisa att följande är en tautologi:

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

Detta är den transitiva egenskapen för implikation.