Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth

Inhaltsverzeichnis1. Boolesche Algebren.1.1 Definitionen.1.2 Erzeugendensysteme.1.3 Ideale in Booleschen Algebren.1.4 Unendliche Vereinigungen und Durchschnitte.2. Aussagenlogik.2.1 Definition der Aussagenlogik.2.2 Der Satz von Lindenbaum.2.3 Der Vollständigkeitssatz.2.4 Normalformen.3. Praedikatenlogik.3.1 Definition der Praedikatenlogik.3.2 Die Q-Algebra des PK.3.3 Belegungen.3.4 Der Bethsche Vollständigkeitsbeweis.3.5 Der Satz von Beth für praenexe Normalform.4. Der Satz von Herbrand und einige Beweisprogramme.4.1 Der Satz von Herbrand.4.2 Programme, die auf dem Satz von Herbrand beruhen.4.3 Das Verfahren von D. Prawitz, H. Prawitz und N. Voghera.5. Unser Beweisprogramm.5.1 Grundriß des Verfahrens.5.2 Begründung unseres Verfahrens.5.3 Das COMIT-Beweisprogramm.