Definition:Predicate

The predicate of a simple statement in logic is the part of the statement which defines what is being said about the subject.

In propositional logic, the predicate of a statement is atomic.

The subject and predicate of a simple statement are referred to as its terms.