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. Also known as 排中原理.
See also: 排中原理
排中律は古典論理の基本原理の一つです。
The law of excluded middle is one of the fundamental principles of classical logic.
Synonym for 排中律, also meaning the law of excluded middle. 排中原理 is less common but used in some philosophical contexts.
From 排 (exclude) + 中 (middle) + 律 (law), a calque of the English 'law of excluded middle' or German 'Satz vom ausgeschlossenen Dritten'.