English Dictionary

law of excluded middle

名詞

(logic) A logical principle which states all statements must be either true or false, i.e. in symbols: P∨¬P.

日本語の意味

排中律：論理学において、すべての命題は「真」か「偽」のどちらかであるとする原則。

In his lecture, the philosopher explained how the law of excluded middle underpins classical logic but is rejected by some paraconsistent theories.

彼の講義で、その哲学者は排中律が古典論理の基盤である一方で、一部の矛盾許容論では否定されることを説明した。

意味（1）

(logic) A logical principle which states all statements must be either true or false, i.e. in symbols: P∨¬P.