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