Concept of mathematical logic.
One of the two main constituents of a sentence; the predicate contains the verb and its complements.
To affirm or declare as an attribute or quality of.
Involve as a necessary condition of consequence; as in logic.