The ab notation
and apparent variables make || for apparent variables
makes || makes it clear that
not and
or are dependent on one another and we can therefore not use
them as simultaneous indefinables.
|
Some objections || Same objections in the
case of apparent variables to
old indefinables, as || As in the case of
molecular functions, the || : The
application of the ab notation to
apparently
variable || apparent-variable propositions
become
s clear if we consider that, for instance, the
proposition
for all
“x, φx” || “for
all x,
φx” is to be
true when
φx is true for all
x's
and false when
φx is false for some
x's.
We see that
some and
all occur simultaneously in
the proper apparent variable notation.
6