Aussagenalgebra

Zusammenfassung

Die Aussagenlehre, die wir als Aussagenalgebra bezeichnen, ist die erste formal-logische Theorie. Sie gehört nicht zu jenem Typ von Kalkülen, von denen in der Einleitung die Rede war. Obwohl diese Kalküle den Hauptgegenstand unseres Buches ausmachen, beginnen wir bei der Darstellung der Grundlagen der mathematischen Logik mit der Aussagenalgebra, weil das Vertrautsein mit den Gesetzen der Aussagenalgebra das Studium derjenigen logischen Kalküle, die uns später begegnen werden, wesentlich erleichtert. Außerdem ist die Aussagenalgebra auch als selbständige Disziplin von Interesse und findet in anderen Wissenschaftszweigen Anwendung. Sie wird z. B. bei der Synthese von Relaiskontaktschaltungen und elektronischen Schaltungen angewendet.