Ebook: Einführung in die Mathematische Logik: Teil II Prädikatenkalkül der Ersten Stufe

---

Content:
Front Matter....Pages I-V
Attribute und Quantifizierungsfunktionen....Pages 1-10
Ausdr?cke Einer Elementaren Sprache....Pages 10-22
Interpretation der Ausdr?cke Einer Elementaren Sprache....Pages 22-50
Reduktions- und Repr?sentantentheoreme....Pages 50-68
Das Logische Folgern....Pages 68-78
Ableitbarkeit und Beweisbarkeit....Pages 78-89
Grundlegende Gesetze der Pr?dikatenlogik....Pages 89-113
Die Axiomatisierungstheoreme f?r den Pr?dikatenkalk?l der Ersten Stufe....Pages 114-135
Pr?dikatenlogische Normalformen....Pages 135-157
Der Bestimmte Artikel....Pages 158-164
Elementare Theorien....Pages 164-169
Back Matter....Pages 170-190

---

Content:
Front Matter....Pages I-V
Attribute und Quantifizierungsfunktionen....Pages 1-10
Ausdr?cke Einer Elementaren Sprache....Pages 10-22
Interpretation der Ausdr?cke Einer Elementaren Sprache....Pages 22-50
Reduktions- und Repr?sentantentheoreme....Pages 50-68
Das Logische Folgern....Pages 68-78
Ableitbarkeit und Beweisbarkeit....Pages 78-89
Grundlegende Gesetze der Pr?dikatenlogik....Pages 89-113
Die Axiomatisierungstheoreme f?r den Pr?dikatenkalk?l der Ersten Stufe....Pages 114-135
Pr?dikatenlogische Normalformen....Pages 135-157
Der Bestimmte Artikel....Pages 158-164
Elementare Theorien....Pages 164-169
Back Matter....Pages 170-190
....