in logic, the disagreement between propositions which have the same subject and the same predicate.