5.502 J'écris donc, au lieu de « (– – – – – V) (ξ,....) », « [math]\displaystyle{ N ( \bar{\xi} ) }[/math] ».

[math]\displaystyle{ N ( \bar{\xi} ) }[/math] est la négation de l'ensemble des valeurs de la variable propositionnelle ξ.