백과사전 상세 본문
요약 전제로부터 논리적 필연에 의해 모순되거나 불합리한 결론이 도출됨을 보여주는 논박형식.
귀류법의 한 형태를 간접증명이라고도 하는데, 이것은 어떤 명제의 부정과 이미 증명되었거나 참이라고 인정되어 있는 다른 명제들의 연언이 모순을 낳게 됨을 보임으로써 원래의 명제를 증명하는 방식이다. 일반 용어로서의 'reductio ad absurdum'은 터무니없는 극단으로 치닫는 것을 가리킬 때 사용한다.
본 콘텐츠의 저작권은 저자 또는 제공처에 있으며, 이를 무단으로 이용하는 경우 저작권법에 따라 법적 책임을 질 수 있습니다.
