Einführung, Lehrbuch, Grundkurs, Erläuterungen, Übungsaufgaben zum Selbstlernen und Selbstlernen: alles in einem! Der erste Band führt ein in die Prädikations- und Argumentationstheorie, Aussagen- und Prädikatenlogik sowie in die Anwendungen der Logik: Wie argumentieren wir? Was ist ein schlüssiges Argument? Was ist ein logischer Kalkül? Wozu taugt die Logik? Der Band wurde komplett durchgesehen und um eine ausführlichere Darstellung der Prädikatenlogik ergänzt (etwa zu Syntax und Semantik, Entscheidungsverfahren, Beweise vieler Theoreme, Syllogistik, Grundlagen und Beweise der Mengenlehre sowie die Rolle der formalen Logik in der KI).