Predicate (mathematical logic)

In logic, a predicate is a symbol that signifies a property or relation. It applies to individual constants, as seen in formulas like P(a) and R(a,b), where P and R are predicates and a and b are constants. The interpretation of these predicates can vary, denoting different relations based on the given interpretation, and while first-order logic only includes predicates that apply to individual constants, other logics may allow predicates that apply to other predicates.