Das Inhaltsverzeichnis

Vorwort

Inhaltsverzeichnis

I. Teil: Aussagenlogik

Einleitung

Die formale Sprache der Aussagenlogik und Schlußschemata

Regeln für das Konditional und die Negation

Regeln für die Konjunktion und die Disjunktion

Das Bikonditional

Einige interessante Beweise

Theoreme, Implikation und Äquivalenz

Substitution und Argumentintroduktion

Äquivalentes ersetzen – KNF und DNF

II. Teil: Etwas Metalogik

Syntax

Interpretation

Konsistenz und Vollständigkeit der Aussagenlogik

Axiomatik

Abweichende Logiksysteme

Einige Bemerkungen zur Philosophie der Logik

III. Teil: Prädikatenlogik

Einleitung

Universalquantorintroduktion und -elimination

Existenzquantorintroduktion und -elimination

Einige interessante Beweise

Schlüsse mit mehrstelligen Prädikaten

Identität

Eigenschaften von zweistelligen Prädikaten

Syntax, Axiomatik und abweichende Systeme der Prädikatenlogik

Syllogistik

IV. Teil: Mengenlehre; Semantik der Prädikatenlogik

Einleitung

Herleitung der Russell-Paradoxie

Das Zermelo-Fraenkel-System: Erste Axiome und Beweise

Geordnete Paare, Relationen und Funktionen

Die Menge der natürlichen Zahlen

Semantik der Sprache der Prädikatenlogik

V. Teil: Lösungen zu den Übungen

Literaturangaben

Register

Symbole und Abkürzungen

Zusammenfassung der Syntax von GL

Zusammenfassung der Syntax von PL