Syntaxbaum

Syntaxbäume sind Bäume mit Wurzel, dessen Blätter mit den Atomen der Formel beschriftet sind und dessen innere Knoten mit den Verknüpfungen der Formel beschriftet sind. Für jede aussagenlogische Formel ist der zugehörige Syntaxbaum eindeutig.

Beispiel: Für $((X\wedge Y)\leftrightarrow ((\mathrm{\neg }Z)\vee (\mathrm{\neg }Y)))$ ergibt sich der folgende Syntaxbaum: !handout1, p.12