terms of the expression in brackets are all the terms of a formal series.
5.502 Therefore I write instead of "(- - - - T)(, . . . .)", "".
is the negation of all the values of the propositional variable (.
5.503 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.
5.51 If has only one value, then = (not ), if it has two values then = (neither nor ).
5.511 How can the all-embracing logic which mirrors the world use such special catches and manipulations? Only because all these are connected into an infinitely fine network, to the great mirror.
5.512 "" is true if "" is false. Therefore in the true proposition "" "" is a false proposition. How then can the stroke "" bring it into agreement with reality?
That which denies in "" is however not "" but that which all signs of this notation, which deny , have in common.
Hence the common rule according to which "", "", "", "", etc. etc. (to infinity) are constructed. And this which is common to them all mirrors denial.
5.513 We could say : What is common to all symbols, which assert both and , is the proposition "". What is common to all symbols, which assert either or , is the proposition "".
And similarly we can say : Two propositions are opposed to one another when they have nothing in common with one another; and every proposition has only one negative, because there is only one proposition which lies altogether outside it.