law of excluded middle

from Wiktionary, Creative Commons Attribution/Share-Alike License.

• noun logic 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.