Einleitung

Zusammenfassung

Aussagenlogik ist jenes Teilgebiet der Logik, das sich mit Aussageverknüpfungen unterschiedlicher Art befaßt und dabei von einer prädikatenlogischen Struktur der Aussagen abstrahiert. Ihre Wurzeln reichen zurück in die Antike, zu den Megarikern und Stoikern. Kernstück ist die zweiwertige Aussagenlogik, die nach entscheidenden Beiträgen von G. FREGE und durch die neu entstandene mathematische Logik ihre abschließende Form erhalten hat. Wir sprechen von ihr auch als der klassischen Aussagenlogik. Ihr ist in diesem Buch das Kap. I, und ein Teil von Kap. II gewidmet.