Quick Reference

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,…

Subjects: Computing.

Reference entries