Mathematik: Logik

Aus Wikibooks

[Bearbeiten] Vorwort

Dieses Buch stellt eine Einführung in das Themengebiet der Logik dar. Auch wenn es ein Teil der Wikibook-Reihe Mathematik in mehreren Bänden ist, soll nicht der Eindruck entstehen, dass hier nur die Aspekte behandelt werden, die in der Mathematik von Interesse sind. Vielmehr soll auch ein großes Augenmerk auf die Betrachtungsweise in der Philosophie gelegt werden - immerhin ist die Logik als Lehre ja dort entstanden. Aber auch die vielfältigen Anwendungsfälle in der Informatik sollen keineswegs vernachlässigt werden.

[Bearbeiten] Inhaltsverzeichnis

• Kapitel 0: Einleitung

• Kapitel 1: Aussagenlogik

• Kapitel 2: Prädikatenlogik

• Kapitel 3: Spezielle Logiken