A propositional language is the set of all propositional sentences that can be formed from a propositional vocabulary.