أثبت أن العبارة التالية هي تحصيل حاصل (tautology):

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

هذه هي الخاصية الانتقالية للاستلزام المنطقي.