law of excluded middle

{{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: <math> P \vee \neg P </math>. This law is rejected by intuitionistic logic.