law of excluded middle
A principle in classical logic stating that for any proposition, either that proposition is true or its negation is true. Used in philosophy, mathematics, and formal logic.
The law of excluded middle is one of the fundamental axioms of classical logic.