Definition:Bottom-Up Specification of Predicate Logic