I-VIII

Kapitel in diesem Buch

1. I-VIII I
2. 0. Logik und Wahrheit 9
3. 1. Einige Grundbegriffe der naiven Mengenlehre 17
4. 2. Die Aussagenlogik. 2.1 Die Formalisierung von Aussagen 46
5. 2. Die Aussagenlogik. 2.2 Die Formalisierung von Aussagenverknüpfungen 49
6. 2. Die Aussagenlogik. 2.3 Klammerregeln 60
7. 2. Die Aussagenlogik. 2.4 Die Wahrheitsfunktionen 63
8. 2. Die Aussagenlogik. 2.5 Die Auswertung der Wahrheitsfunktionen 77
9. 2. Die Aussagenlogik. 2.6 Die Deduktion 97
10. 2. Die Aussagenlogik. 2.7 Konjunktive Normalform 131
11. 2. Die Aussagenlogik. 2.8 Annahmen 134
12. 2. Die Aussagenlogik. 2.9 Reduktion von Funktoren 142
13. 2. Die Aussagenlogik. 2.10 Polnische Notation 147
14. 2. Die Aussagenlogik. 2.11 Theorie und Metatheorie 152
15. 3. Die aristotelische Logik 171
16. 4. Der elementare Prädikatenkalkül 205
17. 5. Die Relationen 244
18. 6. Modallogik 318
19. Anhang: Wahrheitsmatrizen der Modallogik 370
20. Lösungen. Teil 1 373
21. Lösungen. Teil 2 443
22. Ausgewählte Bibliographie 515
23. Verzeichnis der logischen Zeichen 520
24. Sachverzeichnis 524
25. Regeln 532