5˙502
Ich schreibe also statt „(–W) (ξ, ....)” „N(ξ)”. N(ξ) ist die Negation sämtlicher Werte der Variablen || Satzvariablen ξ.