Wir haben im ersten Lernmodul aussagenlogische Ausdrücke kennengelernt. Nun wollen wir allgemeingültige Aussageformen genauer untersuchen. Vergleichbar mit den Sätzen anderer mathematischer Gebiete stellen diese allgemeingültigen Aussageformen die Gesetze der Aussagenlogik dar.

Hierbei interessieren wir uns dafür, wie die Gesetze allgemein zu formulieren sind. Wir untersuchen, ob es bestimmte Typen von Tautologien gibt, und welche Beziehungen zwischen den Aussageformen aufgrund der Tautologien bestehen. Außerdem erläutern wir Methoden, wie sich für eine beliebige Aussageform entscheiden lässt, ob sie allgemeingültig ist.

Besonders die Regeln für Implikationen und Äquivalenzen werden als Grundlage für das Beweisen von Behauptungen benötigt. Wir werden verschiedene Schlussregeln kennenlernen. Das eigentliche Beweisen von Aussagen erfolgt dann im Lernmodul "Beweisprinzipien".