排中律

論理学の根本原理の一つ。相反する二命題のうち、いずれかに真があり中間的なものは排除する考え方。

ＸはＡであるか、または非Ａであるかのいずれかである、と表する。