Definition:Predicate Logic