in Logic, that which, in a proposition, is affirmed or denied of the subject. In these propositions, snow is white, ink is not white; whiteness is the predicate which is affirmed of snow, and denied of ink.