배중률 (원본) (1) - 시드위키

배중률(排中律, Principle of excluded middle)은 형식논리학 용어로, 다음이 성립함을 뜻하는 원리이다.

명제 [math(P)]에 대해 [math(P∨\neg P)]는 항상 참이다.

[math(P)]와 [math(\neg P)] 이외는 인정되지 않는다는 의미에서 제3자 배척의 원리라고도 한다. 현대 기호논리학에서는 이를 공리로 인정하지 않는다.

==같이 보기==
* 동일률
* 모순율

[Include(틀:가져옴,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]], L=[[https://archive.ph/dAbiB|링크]])]