배중률
- 공리
배중률(law of excluded middle, LEM)은 모든 명제가 참이거나 거짓임을 뜻하는 논리학적 원리이다. 논리 체계에 따라 다양한 형태로 제시된다.
1차 자연 연역 체계에서는 다음과 같은 공리꼴로 제시될 수 있다. \[ \phi \vee \neg \phi \]
배중률(law of excluded middle, LEM)은 모든 명제가 참이거나 거짓임을 뜻하는 논리학적 원리이다. 논리 체계에 따라 다양한 형태로 제시된다.
1차 자연 연역 체계에서는 다음과 같은 공리꼴로 제시될 수 있다. \[ \phi \vee \neg \phi \]