series of forms.


5.502 So instead of '(-----T)(E, ....)', I write 'N(E)'. N(E) is the
negation of all the values of the propositional variable E.


5.503 It is obvious that we can easily express how propositions may be
constructed with this operation, and how they may not be constructed with
it; so it must be possible to find an exact expression for this.


5.51 If E has only one value, then N(E) = Pp (not p); if it has two values,
then N(E) = Pp . Pq. (neither p nor g).


5.511 How can logic--all-embracing logic, which mirrors the world--use such
peculiar crotchets and contrivances? Only because they are all connected
with one another in an infinitely fine network, the great mirror.


5.512 'Pp' is true if 'p' is false. Therefore, in the proposition 'Pp',
when it is true, 'p' is a false proposition. How then can the stroke 'P'
make it agree with reality? But in 'Pp' it is not 'P' that negates, it is
rather what is common to all the signs of this notation that negate p. That
is to say the common rule that governs the construction of 'Pp', 'PPPp',
'Pp C Pp', 'Pp . Pp', etc. etc. (ad inf.). And this common factor mirrors
negation.