Definition:Alphabet of Propositional Logic