In logic, a predicate is a symbol that represents a property or a relation. For instance, in the first-order formula, the symbol is a predicate that applies to the individual constant. Similarly, in the formula, the symbol is a predicate that... Wikipedia