if we are to be able to infer the truth of
from the truth of
. But for technical reasons this is not the best primitive idea to choose. Before proceeding to primitive ideas and definitions, let us consider further the various functions of propositions suggested by the above-mentioned relations of propositions.
[32]We shall use the letters
,
,