Contradict

In logic, the law of noncontradiction states that for any given proposition, the proposition and its negation cannot both be simultaneously true, e.g., the proposition "the house is white" and its negation "the house is not white" are mutually exclusive.