排はい中ちゅう律りつ

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.