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.