Es sei VarAL eine Menge von Aussagevariablen und es sei ForAL die Menge alles aussagelogischen Formeln über VarAL. Beweise, dass für alle G,H ∈ ForAL die Aussagelogische Formel (¬H→¬G) → (G→H) eine Tatologie ist. Ich soll nicht das aussagelogische Kalkül verwenden, sondern mit der Definition der Auswertung von aussagelogischen Formeln arbeiten, und boolschen Funktionen. Ich komm einfach nicht weiter!!
