law of excluded middle
Definition of law of excluded middle
: a principle in logic: if one of two contradictory statements is denied the other must be affirmed