수학에서 대우명제 추론이란 무엇인가요?

Question

수학에서 대우 명제라는 용어가 있던데요. 논리적인 사고를 위해 필요한 것이라던데, 대우명제 추론이 정확히 무슨 뜻인가요? 그리고 대우 말고 ‘역, 이’도 함께 알려주세요~

Answer 1

결론을 부정하여 가정했을 때, 생기는 모순을 통해서 그 명제가 참임을 증명하는 방법입니다. 즉, A→B라는 명제를 증명하려고 할 때, ~B일 때 생기는 모순을 통해 A→~B는 성립하지 않고 A→B가 성립함을 증명하는 간접적인 증명법이 대우 명제 추론 이라고 합니다.