Du befindest dich hier: Aussagenlogik

Einleitung

(Aussagenlogik Kapitel 1)

Wir wollen die Grundkonzepte, die wir im Abschnitt "Logik allgemein" beschrieben haben, vertiefen und den Aufbau eines logischen Systems zeigen und mit Beispielen und Übungen veranschaulichen.

Deswegen bedienen wir uns hier einer sehr einfachen Logik - der Aussagenlogik (auch Propositionallogik oder PL0 genannt).
Sie ist zwar nicht sehr ausdrucksstark, aber sehr intuitiv, weil nahe an der natürlichen Sprache.

Um eine Logik aufzubauen,

• müssen wir zunächst eine konkrete Vorstellung davon haben, was wir ausdrücken wollen,
• um dann die gewünschte Syntax (formale Repräsentation)
• und Semantik (Zuordnung der Bedeutung) definieren zu können.

Ist die Sprache definiert, wollen wir uns in diesem Abschnitt ansehen,

• wie wir Formeln unter einer Interpretation evaluieren
• und Formeln umwandeln können.
• Anschließend beschäftigen wir uns allgemein mit dem formalen Schluss,
• und stellen anschließend die so genannten Semantischen Tableaux vor, um ein Gefühl für unterschiedliche Möglichkeiten des automatisierten Schlusses zu geben.

• zurück zu Abschnitt Logik Einführung
• zum Seitenanfang
• weiter zu Was wollen wir ausdrücken

. .