

Beschreibung
Inhalt Erstes Kapitel. Der Aussagenkalkül.- § 1. Einführung der logischen Grundverknüpfungen.- § 2. Äquivalenzen; Entbehrlichkeit von Grundverknüpfungen.- § 3. Normalform für die logischen Ausdrücke.- § 4. Charakterisierung der immer richtigen Aussagenverbindu...