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.Springer Book Archives
![Beweisprogramme fr die Prdikatenlogik und der Vollstndigkeitssatz von Beth [Paperback]](/itemImage/2/7/8/5/2_1358392.jpg "Beweisprogramme fr die Prdikatenlogik und der Vollstndigkeitssatz von Beth [Paperback] xxx")