Logic. The assertion that the predicate of a proposition is true of all or some of the subject; a positive statement or proposition.

Logic and Grammar. Assertion of something about a subject; the combination of a subject with its predicate; an instance of this. Cf. predicate, n.