배중률 사전

어떤 명제는 참이거나 거짓 중 정확히 하나이며, 동시에 둘 다일 수 없다는 논리 원리.

이 용어를 정식으로 다루는 문서: 수학적 증명의 방법

이 용어가 등장하는 문서