Докажите, что следующее выражение является тавтологией:

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

Это свойство транзитивности импликации.