Aussagenlogik
Teilgebiet der Logik, dessen Elemente atomare Aussagen sind und das sich mit Struktur und Wahrheitsbedingungen zusammengesetzter Aussagen befasst