');

一般用語集

一般用語集

はいちゅうりつ【排中律】

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