A propositional vocabulary is a set of propositional constants.