Definition:Alphabet of Predicate Logic