| [소순영] 기본편 수학(하) (2018) - 명제의 증명 |
| 1. 명제의 증명_00:06:16 |
안녕하세요. 강의 내용에 질문이 생겨 여쭤봅니다. 명제의 증명 방법 중 선생님께서 귀류법을 대우라고 말씀하셨는데 책에는 대우증명법과 귀류법이 따로 분류가 되어있습니다. 그리고 귀류법의 설명을 보면, 단순히 결론을 부정했을 때 모순이 생기는 것을 이용한다는 증명법이지 대우를 이용한다고 설명되어있지 않았습니다. 또 제가 의문이 생겨 자료들을 찾아본 결과, 현행 교과서와 인터넷상에도 귀류법이 대우라고 설명된 내용을 찾을 수 없었습니다.이에 대해 설명 부탁드립니다. 감사합니다. |
안녕하세요.
질문에 대한 관련 답변입니다.
문의내용에서 말한 것처럼 귀류법과 대우를 이용한 증명은 다른 것입니다.
하지만 귀류법과 대우 증명은 둘다 '~q 이면 ~p 이다'를 이용합니다.
귀류법은
결론을 부정하여 '~~ 라 하자 ' 라고 시작하여 가정의 모순이나 어떤 공리의 모순됨을 보여서 원래 주어진 명제가 참임을 이끌어냅니다.
대우 증명은 대우 명제 '~q 이면 ~p' 를 직집 증명합니다.
143쪽 기본 23-1 에서는 대우명제를 이용한 증명(대우 증명)이고
144쪽 기본 23-2 에서는 귀류법을 이용하여 증명한 것입니다. |
로그인회원가입
