Propositions are truth-functions of elementary propositions. (An elementary proposition is a truth-function of itself.)
« 4.53 5.01 »