Du befindest dich hier: Aussagenlogik

Beweis & Schluss

(Aussagenlogik Kapitel 7)

Wir haben nun die grundlegenden Strukturen der Aussagenlogik definiert. Wir haben gesehen, wie wir eine Aussage formalisieren, und wie wir sie bewerten, und wie wir eine Formel in eine äquivalente, standardisierte Form bringen können.

Nun kommen wir zum Kernstück jeder Logik - dem korrekten und automatisierten Schluss:
wir wollen aus einer Menge an Prämissen (Annahmen) Γ automatisiert auf eine Konklusion γ schließen.

Eine allgemeine Definition des logischen Schlusses und des logischen Beweises wurde bereits im Abschnitt "Logik allgemein" gegeben. In diesem Kapitel wollen wir diese kurz wiederholen und bezüglich der Aussagenlogik betrachten.

• Zunächst beschäftigen wir uns mit dem logischen Schluss, führen die wichtigsten Eigenschaften des aussagenlogischen Schlusses an und
• betrachten eine semantische Methode um die Gültigkeit eines Schlusses festzustellen.
   
• Anschließend wollen wir Beispiele aussagenlogischer Kalküle und somit von Beweisverfahren geben.

• zurück zu interaktiv üben! - Umwandlung einer Formel in Normalformen
• zum Seitenanfang
• weiter zu Der aussagenlogische Schluss

. .