A predicate takes an entity or entities in the domain of discourse as input and outputs either True or False.

Studied in Predicate logic