Mit Hilfe von Junktoren können wir aus gegebenen Aussagen neue Aussagen aufbauen. Solche zusammengesetzten Aussagen nennen wir oft auch Formeln und benutzen hierfür häufig griechische Buchstaben \(\alpha\), \(\beta\), \(\gamma\), \(\ldots\)

Aus den Wahrheitswerten der zugrundeliegenden Aussagen können wir mit Wahrheitstabellen auch Wahrheitswerte für die daraus abgeleitete Formel bestimmen. Die Wahrheitswerte der Formel sind also nur abhängig von den Wahrheitswerten der in sie eingehenden Aussagen. Abhängig von den Belegungen können somit alle Aussagen wahr oder falsch sein.

Von besonderem Interesse sind die folgenden Typen von Formeln:

Zur Verdeutlichung dieser Formeln werden wir in Beispielen auf die folgende bekannte Bauernregel zurückgreifen, die wir jeweils geeignet anpassen:

Wie wir später sehen werden, handelt es sich bei dieser Bauernregel um eine Tautologie.