Bevis at følgende er en tautologi:

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

Dette er den transitive egenskab for implikation.