Bewijs dat het volgende een tautologie is:

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

Dit is de transitieve eigenschap van implicatie.