Beweisen Sie, dass das Folgende eine Tautologie ist:

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

Dies ist die transitive Eigenschaft der Implikation.