Definition:Language of Propositional Logic/Alphabet/Sign

 The signs of the language of propositional logic come in two categories: