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,…
From: predicate in A Dictionary of Computing »
Subjects: Computing.
Related content in Oxford Index
Reference entries
Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.