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