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

Inhaltsverzeichnis

• 1. 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.