커뮤니티

제 생각인데 귀류법은 q를 부정하여 p에 모순됨을 이끌어내서 참임을 증명하는 것 이기때문에 대우가 참임을 증명하는것과 많이 다른거 같은데요?(비방이라 생각하면 죄송;;;)