Ich schreibe also statt „(−−−−−W) (ξ, . . . . .)“ „N(ξ)“. N(ξ) ist die Negation sämtlicher Werte der Satzvariablen ξ.
« 5.501 5.503 »