In the general propositional form, propositions occur in a proposition only as bases of the truth-operations.
« 5.5352 5.541 »