in logic, that part of a proposition which affirms or denies something of the subject. See Logic.