本文へスキップ

排中律とは?

はいちゅうりつ

命題とその否定のどちらか一方は必ず真であるという原理。

排中律とは「PまたはPでない」は常に真であるという古典論理基本原理で、直観主義論理ではこの原理を採用しない。

使い方・例文

古典論理では排中律を用いてすべての命題はTrueかFalseに定まると仮定する。

この用語をシェア

𝕏 でポスト LINE

最終更新:

関連用語