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.