커뮤니티

1. 귀류법과 대우법의 차이

대우법은 ~q => ~p임을 증명하는 것입니다.

그리고 귀류법은 대우 명제를 이용한 증명입니다.

2. 그렇다면 무엇이 다른가?

일반적으로 수학자들이 모순을 이끌어 내기 위해서 사용하는 것이 귀류법 입니다.

대우법은 대우 명제가 맞음을 보여 그것의 원 명제가 맞도록 유도하는 것이지요.

한 마디로 유도하는 목적이 다릅니다.

모순을 유도하는 것은 귀류법, 대우의 부정이 참임을 이끌어 내어 주어진 명제의 정당성을 부여하는 것이

대우법.

도움이 좀 되었나요?