5.54 In the general propositional form, propositions occur in a proposition only as bases of the truth-operations.