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:
