*30. DESCRIPTIVE FUNCTIONS.
Project Gutenberg EPUB3 edition
Whitehead, Alfred North and Russell, Bertrand
*30·14.
*30·141.
*30·142.
*30·15.
The following two propositions are immediate consequences of *14·113·112.
*30·16.
*30·17.
*30·18.
*30·19.
*30·2.
In proving *30·2, we have to use the definition *30·01, not *30·1, because is not of the form . This appears if we attempt to apply the definition *14·01 to , which leads to an expression containing the meaningless constituent . But by the definition *30·01, every typographical occurrence of the symbol "" means what results when this symbol is replaced by "(" hence "" means "."
*30·21.
*30·22.
Note that we do not necessarily have which is only true when .
*30·3.
*30·31.
*30·32.
*30·33.
*30·34.
*30·341.
Dem.
*30·35.
*30·36.
*30·37.
Dem.
This proposition is very frequently used.
*30·4.
This is a very important proposition, of which the use is constant.
*30·41.
Dem.
*30·42.
The hypothesis ( is fulfilled by a number of important special relations, of which examples will occur in the subsequent numbers of the present section.
*30·5.
Dem.
*30·501.
On the meaning of "," see note to the definition *30·02.
Dem.
*30·51.
*30·52.