5.502 Así pues, escribo, en lugar de «(‒ ‒ ‒ ‒ ‒V)(ξ, . . . .)», « N ( ξ ¯ ) {\displaystyle N({\bar {\xi }})} ».
N ( ξ ¯ ) {\displaystyle N({\bar {\xi }})} es la negación de todos los valores de la variable proposicional ξ.
