5.502 Ich schreibe also statt „(– – – – –W)(ξ, . . . .)“ „[math]\displaystyle{ N ( \bar{\xi} ) }[/math]“.
[math]\displaystyle{ N ( \bar{\xi} ) }[/math] ist die Negation sämtlicher Werte der Satzvariablen ξ.