비모순율

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

비모순율 또는 무모순성의 원리아리스토텔레스의 논리학에서, 'A이다'와 'A는 아니다'라는 것은 동시에 성립할 수 없다 또는 참이면서 동시에 거짓인 명제는 존재하지 않는다.라는 원리를 일컫는 논리학 용어이다.

보다 수학적인 용어로 표현하면 다음과 같다.

 \neg (P \wedge \neg P).\!