비모순율

위키백과 ― 우리 모두의 백과사전.

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

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

\neg (P \wedge \neg P).\!
이 문서는 수학에 관한 토막글입니다. 서로의 지식을 모아 알차게 문서를 완성해갑시다.