Predicate

From Wikipedia, the free encyclopedia

Predicate or predication may refer to:

• predicate (mathematics) — a relation, or the boolean-valued characteristic function or indicator function of a relation.
• predicate (logic) — a fundamental concept in first-order logic.
  • in Bertrand Russell's theory of types — an act of typing: that is, assigning a type.
• syntactic predicate — specifies the syntactic validity of applying a production in a formal grammar.
• predicate (grammar) — the rest of a sentence apart from the subject.
• predicate (computer programming) — an operator or function which returns a boolean value
  • branch predication — a choice to execute or not to execute a given instruction based on the content of a machine register.
• in Resource Description Framework — a trait or aspect about that resource that is being described.

de:Prädikat

es:Predicado eo:Predikato fa:محمول io:Predikato nl:Predicaat pt:Predicado sk:Predikát fi:Predikaatti