Keine ausführliche Beschreibung für "Einführung in die angewandte Logik" verfügbar.
Frontmatter -- 0. Logik und Wahrheit -- 1. Einige Grundbegriffe der naiven Mengenlehre -- 2. Die Aussagenlogik. 2.1 Die Formalisierung von Aussagen -- 2. Die Aussagenlogik. 2.2 Die Formalisierung von Aussagenverknüpfungen -- 2. Die Aussagenlogik. 2.3 Klammerregeln -- 2. Die Aussagenlogik. 2.4 Die Wahrheitsfunktionen -- 2. Die Aussagenlogik. 2.5 Die Auswertung der Wahrheitsfunktionen -- 2. Die Aussagenlogik. 2.6 Die Deduktion -- 2. Die Aussagenlogik. 2.7 Konjunktive Normalform -- 2. Die Aussagenlogik. 2.8 Annahmen -- 2. Die Aussagenlogik. 2.9 Reduktion von Funktoren -- 2. Die Aussagenlogik. 2.10 Polnische Notation -- 2. Die Aussagenlogik. 2.11 Theorie und Metatheorie -- 3. Die aristotelische Logik -- 4. Der elementare Prädikatenkalkül -- 5. Die Relationen -- 6. Modallogik -- Anhang: Wahrheitsmatrizen der Modallogik -- Lösungen. Teil 1 -- Lösungen. Teil 2 -- Ausgewählte Bibliographie -- Verzeichnis der logischen Zeichen -- Sachverzeichnis -- Regeln
Inhaltsverzeichnis
Aus dem Inhalt:
1. Logik und Wahrheit
2. Einige Grundbegriffe der naiven Mengenlehre
3. Die Aussagenlogik
4. Die aristotelische Logik
5. Der elementare Prädikatenkalkül
6. Die Relationen
7. Die Modallogik
