Du befindest dich hier: Aussagenlogik

Syntax

(Aussagenlogik Kapitel 3)

Die Syntax bezieht sich auf den formalen Aufbau von Formeln.
Hier werden die Muster und Regeln beschrieben, nach denen Elementaraussagen generiert und zu komplexeren Aussagen zusammengestellt werden können - die Bedeutung oder Bewertung ist nicht enthalten.

Wir fangen also mit der Formalisierung der Aussagenlogik an, und definieren die formale Sprache in der wir uns ausdrücken wollen.

• Zunächst benötigen wir Zeichen aus denen unsere Worte und Sätze gebildet werden können. Diese werden im Alphabet definiert.
• Mittels der Formationsregeln bestimmen wir, wie wir aus diesen Zeichen korrekte Worte und Sätze zusammensetzen können.
• Wir legen anschließend noch die Bindung der Operatoren fest, um Sätze in unserer Sprache eindeutig zu machen und Klammern zu sparen.
   
• Beispiele und Übungen sollen die Formalisierung von Sätzen veranschaulichen und das Wissen festigen.
   
• Anschließend wollen wir uns damit beschäftigen, wann eine Formel eine Teilformel einer Formel ist.
• Wir betrachten, wie wir aus einer Formel einen Formelbaum generieren können, an dem wir Zusammenhänge innerhalb dieses Satzes leicht sehen können.
   
• Wieder können die Methoden geübt und so das Wissen gefestigt werden.
   

• zurück zu Mögliche Junktoren
• zum Seitenanfang
• weiter zu Alphabet

. .