Einführung in die angewandte Logik

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 von Bucher, Theodor G.