Predicate (logic)
Get Predicate Logic essential facts below. View Videos or join the Predicate Logic discussion. Add Predicate Logic to your topic list for future reference or share this resource on social media.
Predicate Logic

In logic, a predicate is a symbol which represents a property or a relation. For instance, the first order formula , the symbol is a predicate which applies to the individual constant . Similarly, in the formula the predicate is a predicate which applies to the individual constants and .

In the semantics of logic, predicates are interpreted as relations. For instance, in a standard semantics for first-order logic, the formula would be true on an interpretation if the entities denoted by and stand in the relation denoted by . Since predicates are non-logical symbol, they can denote different relations depending on the interpretation used to interpret them. While first-order logic only includes predicates which apply to individual constants, other logics may allow predicates which apply to other predicates.

Predicates in different systems

See also


  1. ^ Lavrov, Igor Andreevich; Maksimova, Larisa (2003). Problems in Set Theory, Mathematical Logic, and the Theory of Algorithms. New York: Springer. p. 52. ISBN 0306477122.

External links

  This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.



Music Scenes