N ( ξ ‾ ) is the negation of all the values of the propositional variable ξ .
As it is obviously easy to express how propositions can be constructed by means of this operation and how propositions are not to be constructed by means of it, this must be capable of exact expression.