In logic, a predicate, also known as a boolean-valued function, is a function: P: X→B. They serve an important part of Predicate logic. Where, X is an arbitrary set and B is a Boolean domain. P is usually interpreted to mean a property (including a category, grammatical predicate, relation, a predicate symbol, etc) of an element in set X. B is the set of "true" and "false". It is also expressed as P(x). If P (the predicate) is a property of x, then the predicate is true. If it is not a property, the predicate is false. The set of all elements for which a predicate is true is: \{x|p(x)\}

A Boolean-valued function is notated as so: P:X \rightarrow B



Where X is the set of discourse, and B is a boolean set.

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.