비모순율 또는 무모순성의 원리는 아리스토텔레스의 논리학에서, 'A이다'와 'A는 아니다'라는 것은 동시에 성립할 수 없다 또는 참이면서 동시에 거짓인 명제는 존재하지 않는다.라는 원리를 일컫는 논리학 용어이다.
보다 수학적인 용어로 표현하면 다음과 같다.
분류: 수학 토막글 | 논리학 | 수학