5.32 All truth-functions are results of the successive application of a finite number of truth-operations to elementary propositions.