排中律 - Wikipedia排中律（はいちゅうりつ、英: Law of excluded middle、仏: Principe du tiers exclu）とは、論理学において、任意の命題 P に対し「P であるか、または P でない」という命題は常に成り立つという原理である。 ラテン語で「第三の命題が排除される原理」 Principium tertii exclusiあるいは「第三の命題（可能性）は存在しない」 Tertium non daturと称され、英語ではLaw of excluded middle（排中律・排中原理・排中法）または Law of the excluded third（排除される第三者の原理[1]、第三者拒斥の原理[2]）と呼ばれる。 排中律は任意の命題Pに対してそれが成り立つか成り立たないかのいずれか一方であって、その中間は無いことを述べた論理学の法則であり、 P ∨ ￢P はつねに真（
