does not stand in a certain relation to 'b'; then this might be used to say
that aRb was not the case.) But really even in this case the negative
proposition is constructed by an indirect use of the positive. The positive
proposition necessarily presupposes the existence of the negative
proposition and vice versa.


5.52 If E has as its values all the values of a function fx for all values
of x, then N(E) = P(dx) . fx.


5.521 I dissociate the concept all from truth-functions. Frege and Russell
introduced generality in association with logical productor logical sum.
This made it difficult to understand the propositions '(dx) . fx' and '(x)
. fx', in which both ideas are embedded.


5.522 What is peculiar to the generality-sign is first, that it indicates a
logical prototype, and secondly, that it gives prominence to constants.


5.523 The generality-sign occurs as an argument.


5.524 If objects are given, then at the same time we are given all objects.
If elementary propositions are given, then at the same time all elementary
propositions are given.


5.525 It is incorrect to render the proposition '(dx) . fx' in the words,