Predicate

• In mathematics, a predicate is a relation.
• In grammar a predicate is a part of a sentence. More particularly, the predicate is further information about the subject - what the subject is doing, what the subject is like, etc. It's really that part of the sentence which is not the subject! See sentence (linguistics).
• In computer programming, a predicate is an operator or function which returns a Boolean value, true or false.
• In Bertrand Russell's theory of types, a predication is an act of typing, that is, assigning a type. A definite description in fact contains a claim of existence.

View Live Article.
This article is from Wikipedia. All text is available under GNU FDL