Aussagenverbindungen
Die Aussagenlogik untersucht den Wahrheitswert von Aussagenverbindungen in Abhängigkeit von den Wahrheitswerten der einzelnen Aussagen. Dabei werden ausschließlich extensionale Aussagenverbindungen betrachtet, d.h., der Wahrheitswert der Aussagenverbindung hängt nur von den Wahrheitswerten der Teilaussagen und den verbindenden Junktoren ab. Dabei wird der Wahrheitswert der Verbindung durch die klassischen Junktoren
 |
(5.1) |
 |
(5.2) |
 |
(5.3) |
 |
(5.4) |
 |
(5.5) |
bestimmt. Dabei ist das logische oder immer als einschließendes oder zu verstehen. Im Falle der Implikation sind für 
auch die folgenden Sprechweisen üblich:
