커뮤니티

대우법은 제가 알기로는
p 이면 q이다는 사실을 증명하는 방법중 하나로써 이 사실을 증명하기 어려울때  대우법을 써서 증명하는 것으로 알고 있습니다.
즉 대우라 함은 본 명제가 참이면 대우인 ~q 이면 ~p 이다. 도 참이 된다는 사실이죠.
즉 결론인 q를 부정하여 가정인 p에 문제가 있음을 보이므로써 결론인 q를 부정할  수 없다는 것을 의미하죠.
제가 봐도. 관리자님이 맞는 것 같은데요..