W-F =
Wahr-Falsch
To every molecular function
a
WF scheme
corresponds.
Therefore we may use the
WF scheme itself
instead of the function.
Now what the
WF
scheme does is, it correlates the letters
W and
F with each
proposition.
These two letters are the poles of atomic propositions.
Then
corresponds || the scheme
correlates another
W and
F to these poles.
In this notation all that matters is the correlation
of the outside poles to the pole of
its || the atomic propositions.
Therefore
not-not-p is the same symbol as
p.
Therefore || And therefore we shall never get
two symbols for the same molecular function
s.
3