5.502

Ich schreibe also statt „(−−−−−W) (ξ, … . .)“ „N(ξ)“. N(ξ) ist die Negation sämtlicher Werte der Satzvariablen ξ.