A function from some domain to a truth value. If the domain comprises n variables where n= 0,1,2,… the function is called an n-place predicate. In the special case where n = 0, the predicate is a statement. Predicates are the fundamental building blocks of the predicate calculus.
where n= 0,1,2,…