모순

$P land neg P$

contradiction

어떤 명제가 참인 것과 어떤 명제가 거짓인 것이 동시에 발생하는 것. 모순은 항상 거짓 명제이다.

보통 귀류법 테크닉으로 자주 접하게 된다.

역설과는 다르다. 역설은 보통 나약한인간의 직관과 연역적 귀결 사이의 괴리에서 발생하는 감각적인 부합치라면, 모순은 그런 거 필요없고 단순히 수학적이고 논리적인 개념이다. 모순은 이해할 필요도 없고, 어떤 게 함정인지 찾을 필요도 없다. 항상 틀린 명제니까.