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.

This is a disambiguation page; that is, one that points to other pages that might otherwise have the same name. If you followed a link here, you might want to go back and fix that link to point to the appropriate specific page.


View Live Article	This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License