predicate
31Predicate abstraction — In logic, predicate abstraction is the result of creating a predicate from an open sentence. If Q(x) is any formula with x free then the predicate formed from that sentence is (λx.Q(x)), where λ is an abstraction operator. The resultant predicate …
32Predicate logic — In mathematical logic, predicate logic is the generic term for symbolic formal systems like first order logic, second order logic, many sorted logic or infinitary logic. This formal system is distinguished from other systems in that its formulas… …
33Predicate (mathematics) — In mathematics, a predicate is either a relation or the boolean valued function that amounts to the characteristic function or the indicator function of such a relation.A function P: X→ {true, false} is called a predicate on X.When P is a… …
34Predicate (logic) — Sometimes it is inconvenient or impossible to describe a set by listing all of its elements. Another useful way to define a set is by specifying a property that the elements of the set have in common. The notation P(x) is used to denote a… …
35predicate calculus — The logical calculus in which the expressions include predicate letters, variables, and quantifiers, names, and operation letters, as well as the expressions for truth functions and the propositional variables of the propositional calculus . The… …
36predicate term — noun Etymology: predicate (I) : predicate 1 a …
37predicate adjective — Gram. an adjective used in the predicate, esp. with a copulative verb and attributive to the subject, as in He is dead, or attributive to the direct object, as in It made him sick. [1880 85] * * * …
38predicate nominative — (in Latin, Greek, and certain other languages) a predicate noun or adjective in the nominative case. [1885 90] * * * …
39predicate noun — Gram. a noun used in the predicate with a copulative verb or a factitive verb and having the same referent as the subject of the copulative verb or the direct object of the factitive verb, as in She is the mayor or They elected her mayor. * * * …
40predicate calculus — noun The branch of logic that deals with quantified statements such as there exists an x such that... or for any x, it is the case that... , where x is a member of the domain of discourse. See Also: predicate logic …
