[일반] 이게 귀류법임???

[익명(210.183)]

https://www.acmicpc.net/problem/18828

친구가 추천해준거 읽다 봤는데

이중부정이 귀류법의 다른 이름임??

내가 아는 귀류법이랑 매우 다른거같은데 어캐 된거임?

[ultraproduct(ultraproduct)]

직관주의자들이 귀류법 인정하지 않는 것 맞는 걸로 알고 있지만 엄격하게 따지면 귀류법(Reductio ad Absurdum)은 추론 규칙(Modus Ponens처럼)이라, 공리(또는 논리학의 정리)인 이중 부정(Double Negation)과는 다르지.

[ultraproduct(ultraproduct)]

도중에 '배중률의 증명이 있다면~' 내용도 이상하긴 하군