In mathematical logic, a predicate is commonly understood to be a Boolean-valued function P: X-- {true, false}, called the predicate on X. However, predicates have many different uses and interpretations in mathematics and logic, and their precise definition, meaning and use will vary from theory to theory.read more >>