Wahrheitsbelegung/Verschiedene Ausdrücke/1/Beispiel
Erscheinungsbild
Es sei und sei die Wahrheitsbelegung mit . Es sei die zugehörige Interpretation. Zur Berechnung des Wahrheitswertes von
unter dieser Interpretation muss man rekursiv gemäß Definition die einzelnen Bestandteile auswerten. Es ist
und somit
Also ist
Andererseits ist
und daher ist
Der Ausdruck ist also bei dieser Wahrheitsbelegung nicht wahr.