');
一般用語集
用語集
一般用語集
は
一般用語集
は
はいちゅうりつ【排中律】
項目
はいちゅうりつ【排中律】
意味
〔論〕〔principle of excluded middle〕論理学の基本原理の一。P∨−P すなわち P であるか，または P でないかのいずれかであることを主張する論理法則。ある命題は真であるか偽であるかのいずれかであり，中間の可能性が排除されるところからこの名前がある。この論理は標準的な古典論理では成立するが，直観主義論理ではその一般的妥当性が否定される。伝統的論理学では，矛盾律・同一律とともに三大原理の一とされる。排中原理。排中法。→思考の原理