배중률
위키백과 ― 우리 모두의 백과사전.
배중률 (排中律)은 형식 논리학의 사유 법칙 중 하나이다. 어떤 명제와 그것의 부정 가운데 하나는 반드시 참이라는 법칙을 말한다. 어떤 명제와 그 명제의 부정이 동시에 참일 수 없다는 모순율과는 구분하여야 한다.
예를 들어, "달에는 토끼가 산다"는 명제이고, 따라서 배중률에 따르면 "달에는 토끼가 살거나 달에는 토끼가 살지 않는다"는 항상 참이다.
배중률은 (P or ~P)가 항상 참이라고 주장할 뿐, P의 진리값에 대해서는 어떠한 주장도 하지 않으며, 다가 논리와 모순되지 않는다.
수학 철학 중 하나인 직관주의는 배중률을 부정한다.