5.502 Scrivo dunque, anziché «(– – – – –V)(ξ, ....)», «[math]\displaystyle{ N ( \bar{\xi} ) }[/math]».

[math]\displaystyle{ N ( \bar{\xi} ) }[/math] è la negazione di tutti i valori della variabile proposizionale ξ.