5.502
Ich schreibe also statt „(-----W)(ξ, ....)” „N(ξ)”.
N (ξ) ist die Negation sämtlicher Werte der Satzvariablen ξ.