排はい中ちゅう原げん理り

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.