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