5.01 The elementary propositions are the truth-arguments of propositions.