Definition:Vocabulary of Propositional Logic