HOME

TheInfoList



OR:

Predicate or predication may refer to: *
Predicate (grammar) The term predicate is used in one of two ways in linguistics and its subfields. The first defines a predicate as everything in a standard declarative sentence except the subject, and the other views it as just the main content verb or associated ...
, in linguistics *
Predication (philosophy) Predication in philosophy refers to an act of judgement where one term is subsumed under another. A comprehensive conceptualization describes it as the understanding of the relation expressed by a predicative structure primordially (i.e. both origi ...
* several closely related uses in mathematics and formal logic: **
Predicate (mathematical logic) In logic, a predicate is a symbol which represents a property or a relation. For instance, in the first order formula P(a), the symbol P is a predicate which applies to the individual constant a. Similarly, in the formula R(a,b), R is a predicat ...
**
Propositional function In propositional calculus, a propositional function or a predicate is a sentence expressed in a way that would assume the value of true or false, except that within the sentence there is a variable (''x'') that is not defined or specified (thus be ...
**
Finitary relation In mathematics, a finitary relation over sets is a subset of the Cartesian product ; that is, it is a set of ''n''-tuples consisting of elements ''x'i'' in ''X'i''. Typically, the relation describes a possible connection between the elemen ...
, or n-ary predicate **
Boolean-valued function A Boolean-valued function (sometimes called a predicate or a proposition) is a function of the type f : X → B, where X is an arbitrary set and where B is a Boolean domain, i.e. a generic two-element set, (for example B = ), whose elements are i ...
**
Syntactic predicate A syntactic predicate specifies the syntactic validity of applying a production in a formal grammar and is analogous to a semantic predicate that specifies the semantic validity of applying a production. It is a simple and effective means of drama ...
, in formal grammars and parsers **
Functional predicate In formal logic and related branches of mathematics, a functional predicate, or function symbol, is a logical symbol that may be applied to an object term to produce another object term. Functional predicates are also sometimes called mappings, but ...
*
Predication (computer architecture) In computer science, predication is an architectural feature that provides an alternative to conditional transfer of control, as implemented by conditional branch machine instructions. Predication works by having conditional (''predicated'') non ...
*in United States law, the basis or foundation of something **
Predicate crime In the criminal law of the United States, a predicate crime or offense is a crime which is a component of a larger crime. The larger crime may be racketeering, money laundering, financing of terrorism, etc. For example, to violate the Racketeer ...
**Predicate rules, in the U.S.
Title 21 CFR Part 11 Title 21 CFR Part 11 is the part of Title 21 of the Code of Federal Regulations that establishes the United States Food and Drug Administration (FDA) regulations on electronic records and electronic signatures (ERES). Part 11, as it is commonly cal ...
* Predicate, a term used in some European context for either nobles' honorifics or for nobiliary particles


See also

*
Predicate logic First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantifie ...
{{disambiguation