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

친구가 추천해서 읽고 있는데

귀류법이 제가 아는거랑 많이 달라서요


https://en.wikipedia.org/wiki/Double_negation

이거랑 귀류법이랑 같은건가요??