배중률(排中律, Principle of excluded middle)은 형식논리학 용어로, 다음이 성립함을 뜻하는 원리이다.
명제
P에 대해
P∨\\neg P는 항상 참이다.
P와
\\neg P 이외는 인정되지 않는다는 의미에서 제3자 배척의 원리라고도 한다. 현대 기호논리학에서는 이를 공리로 인정하지 않는다.
이 문서의 내용 중 전체 또는 일부는 오메가에서 가져왔으며 CC BY-NC-SA 3.0에 따라 이용할 수 있습니다.본 문서의 원본은
링크에서 확인할 수 있습니다.
