

All propositions are results of truthoperations on the elementary propositions. The truthoperation is the way in which a truthfunction arises from elementary propositions. According to the nature of truthoperations, in the same way as out of elementary propositions arise their truthfunctions, from truthfunctions arises a new one. Every truthoperation creates from truthfunctions of elementary propositions, another truthfunction of elementary propositions i.e. a proposition. The result of every truthoperation on the results of truthoperations on elementary propositions is also the result of one truthoperation on elementary propositions. Every proposition is the result of truthoperations on elementary propositions. 5.31 The Schemata No. 4.31 are also significant, if "p", "q", "r", etc. are not elementary propositions. And it is easy to see that the propositional sign in No. 4.442 expresses one truthfunction of elementary propositions even when "p" and "q" are truthfunctions of elementary propositions. 5.32 All truthfunctions are results of the successive application of a finite number of truthoperations to elementary propositions. 