Beweisen Sie, dass für alle G, H ∈ For_AL die aussagenlogische Formel eine Tautologie ist.

Es sei Var_AL eine Menge von Aussagevariablen und es sei For_AL die Menge aller aussagenlogischen Formeln über Var_AL. Beweisen Sie, dass für alle G, H ∈ For_AL die aussagenlogische Formel
(G → H) → (¬H → ¬G)
eine Tautologie ist.
Was ist eine Tautologie und wie beweise ich das?