Einführung in die angewandte Logik / / Theodor G. Bucher.

• Superior document: Title is part of eBook package: De Gruyter DGBA Philosophy 1990 - 1999
• VerfasserIn: Bucher, Theodor G.,
• Place / Publishing House: Berlin ;, Boston : : De Gruyter, , [2011]; ©1998
• Year of Publication: 2011
• Edition: 2. erweiterte Auflage Reprint 2010
• Language: German
• Series: Sammlung Göschen ; 2231
• Physical Description: 1 online resource (530 p.)

Table of Contents

• I-VIII
• 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