Predicate or predication may refer to:
*
Predicate (grammar)
The term predicate is used in two ways in linguistics and its subfields. The first defines a predicate as everything in a standard declarative sentence except the subject (grammar), subject, and the other defines it as only the main content verb ...
, in linguistics
*
Predication (philosophy)
* several closely related uses in mathematics and formal logic:
**
Predicate (mathematical logic)
In logic, a predicate is a symbol that represents a property or a relation. For instance, in the first-order formula P(a), the symbol P is a predicate that applies to the individual constant a. Similarly, in the formula R(a,b), the symbol R is a ...
**
Propositional function
**
Finitary relation
In mathematics, a finitary relation over a sequence of sets is a subset of the Cartesian product ; that is, it is a set of ''n''-tuples , each being a sequence of elements ''x'i'' in the corresponding ''X'i''. Typically, the relation descri ...
, or n-ary predicate
**
Boolean-valued function
**
Syntactic predicate, 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, bu ...
*
Predication (computer architecture)
*in United States law, the basis or foundation of something
**
Predicate crime
**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 ca ...
* Predicate, a term used in some European context for either nobles'
honorifics
An honorific is a title that conveys esteem, courtesy, or respect for position or rank when used in addressing or referring to a person. Sometimes, the term "honorific" is used in a more specific sense to refer to an honorary academic title. It ...
or for
nobiliary particles
See also
*
Predicate logic
First-order logic, also called predicate logic, predicate calculus, or quantificational logic, is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables ove ...
{{disambiguation