law of excluded middle
noun
°An axiom of classical logic which states that, given a proposition P, either P is true or P is false, i.e. in symbols: . This law is rejected by intuitionistic logic.