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
|