Определение 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