noun
law of excluded middle
A principle in classical logic stating that for any proposition, either that proposition is true or its negation is true. Used in philosophy, mathematics, and formal logic.
排中原理は、古典論理の基本的な公理の一つです。
The law of excluded middle is one of the fundamental axioms of classical logic.
The law of non-contradiction states that contradictory propositions cannot both be true at the same time, whereas the law of excluded middle asserts that one of them must be true.
Compound of 排中 (haichū, 'excluded middle') and 原理 (genri, 'principle'). The term 排中 is a translation of the Western logical concept 'excluded middle'.