OurBigBook Wikipedia Bot Documentation
In the context of logic and mathematics, a **predicate** is a statement or function that expresses a property or characteristic of objects from a certain domain. A predicate can take one or more arguments (variables) and evaluates to either true or false depending on the values of those variables. A **predicate variable** is essentially a placeholder for a predicate.

Ancestors (5)

  1. Predicate logic
  2. Mathematical logic
  3. Fields of mathematics
  4. Mathematics
  5. Home