Predicate

A predicate is a statement whose veracity depends on a variable.

Remarks

A predicate is usually written as a function; taking as a parameter the mathematical object necessary to determine the veracity of the statement.

Example

The predicate $P(x): x \text{ is a prime}$ , determines whether a given number is a prime or not.