in logic, that part of a proposition which affirms or denies something of the subject; in these propositions, *snow is white*, *but is not white*, white is the predicate which is affirmed of snow, and denied of ink.