Predicate or predication may refer to:

  • Branch predication (computer programming), a choice to execute or not to execute a given instruction based on the content of a machine register
  • Predicate (grammar), a grammatical component of a sentence
  • Predicate (mathematical logic), a fundamental concept in first-order logic
  • Syntactic predicate, specifies the syntactic validity of applying a production

Other articles related to "predicate":

Literal (mathematical Logic) - Examples
... In predicate calculus a literal is an atomic formula or its negation, where an atomic formula is a predicate symbol applied to some terms, with the terms recursively defined starting ... with the constant symbol 2, the variable symbols x, y, the function symbols f, g, and the predicate symbol Q ...
Middle Mongolian Language - Grammar
... The word order is subject–object–predicate if the subject is a noun and also object–predicate–subject if it is a pronoun ... Arabic Middle Mongol rather freely allows for predicate–object, which is due to language contact ...
Predicate Functor Logic
... In mathematical logic, predicate functor logic (PFL) is one of several ways to express first-order logic (also known as predicate logic) by purely algebraic means, i.e ... small number of algebraic devices called predicate functors (or predicate modifiers) that operate on terms to yield terms ...
Kleene's T Predicate
... In computability theory, the T predicate, first studied by mathematician Stephen Cole Kleene, is a particular set of triples of natural numbers that is used to represent computable ... Informally, the T predicate tells whether a particular computer program will halt when run with a particular input, and the corresponding U function ...

Famous quotes containing the word predicate:

    The only thing that one really knows about human nature is that it changes. Change is the one quality we can predicate of it. The systems that fail are those that rely on the permanency of human nature, and not on its growth and development. The error of Louis XIV was that he thought human nature would always be the same. The result of his error was the French Revolution. It was an admirable result.
    Oscar Wilde (1854–1900)

    The predicate of truth-value of a proposition, therefore, is a mere fictive quality; its place is in an ideal world of science only, whereas actual science cannot make use of it. Actual science instead employs throughout the predicate of weight.
    Hans Reichenbach (1891–1953)