모순 사전

어떤 명제와 그 부정이 동시에 참인 논리적 상황. 귀류법으로 명제의 거짓을 보일 때 의도적으로 유도된다.

이 용어를 정식으로 다루는 문서: 엡실론-델타 정의

이 용어가 등장하는 문서