5 A proposition is a truth-function of elementary propositions. (An elementary proposition is a truth-function of itself.)