Definition:Signature for Predicate Logic