Du befindest dich hier: Logik Einführung

Beispiele

(Logik Einführung Kapitel 9)

Im Laufe der Zeit wurden sehr viele Logiken für die unterschiedlichsten Anwendungsgebiete definiert.
In diesem Kapitel wollen wir einige der bekanntesten beispielhaft anführen.

Zu den Klassischen Logiken zählen z.B.

• die Aussagenlogik
• und die Prädikatenlogik.

Beispiele Nichtklassischer Logiken sind z.B.

• Mehrwertige Logiken
• Modallogiken
• und Nichtmonotone Logiken.

• zurück zu Unterscheidungsmerkmale - Einsatzmöglichkeiten eines Kalküls
• zum Seitenanfang
• weiter zu Aussagenlogik

. .