×
Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth
von Christian Fenske, herausgegeben von Christian FenskeInhaltsverzeichnis
- 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.