excluded middle

listen to the pronunciation of excluded middle
English - Turkish
(Matematik) üçüncünün olmazlığı
English - English

Definition of excluded middle in English English dictionary

law of excluded middle
An axiom of classical logic which states that, given a proposition P, either P is true or P is false, i.e. in symbols: P \vee \neg P . This law is rejected by intuitionistic logic
law of the excluded middle
Alternative form of law of excluded middle