In Grammar a Predicate is one of the two constituent parts of a Sentence . It is the rest of the sentence apart from the subject. For instance, in the sentence "All good things come to an end" the "come to an end" is the predicate, whereas the subject is "all good things."
In Computer Programming , a predicate is an Operator or Function which returns a Boolean value, ''true'' or ''false'', and '''predication''' is a choice to execute or not to execute a given instruction based on the content of a machine register.
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.
