Aşağıdaki ifadenin bir totoloji olduğunu kanıtlayın:

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

Bu, çıkarımın geçişlilik özelliğidir.