5.502 Escrevo pois “[math]\displaystyle{ N (\bar{\xi}) }[/math]” em lugar de “(– – – – –V)(ξ, . . . .)”.

[math]\displaystyle{ N (\bar{\xi}) }[/math] é a negação de todos os valores da variável proposicional ξ.