5.502

Therefore I write instead of “(−−−−−T) (ξ, … . .)”, “N(ξ)”. N(ξ) is the negation of all the values of the propositional variable ξ.