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