Re:귀류법에 대해...

[불국사]

제가 생각할때는 대우법과 귀류법은 약간의 차이가 있는듯 하네요..
대우법은 많이 들어서 ...귀류법에 대해서 물어보시는 듯하네요....
귀류법이란...증명을 할때 p이면 q이다...라는 명제를 증명하기위해서
간접적으로 증명하는 것이랍니다....즉 p->q가 참임을 증명하는 것은

(p->q)` 가 거짓임을 보이면 되고요...즉 (p`또는 q)` 가 거짓임을
보이면 되구요...즉, (p이고 q`)이 거짓임을 보이면 된답니다...

즉, 가정과 결론을 부정한것을 전재로 해서....나중에
(p이고 q`)과 c(모순명제)가 동치임을 보이면....
(p이고 q`)이 거짓이 되므로...다시 거꾸로 거슬러 올라가면..
p이면 q이다는 참이 되지요....

집합론이라는 책이나 이산수학의 책을 조금 참고해야 이해가 빠르실듯
하네요...귀류법이라는것을 고등학교 책에는 자세히 나와있지 않기때문
이죠...즉, 결론적으로...

가정(p)와 결론의 부정(q`)을 전재로 해서.....
모순인명제를 찾아 내면 된답니다....
모순명제는 항상거짓이므로.... (p이고 q`)이 거짓임을 보이게 되는것

이지요....이렇게 증명하는 방법이...귀류법입니다....결론의 부정을

가정에 추가를 해서......정리하면 모순명제와 동치가 된다는 것이지요
그래서 결국 p이면 q이다가 참이 되는 것이구요...

글쎄 님께서 이부분에서 알고 싶으면 꼭 집합론의 앞부분에나오는 진
리표를 보라고 추천하고 싶네요...그전에는 이해가 잘안될듯 하네요.

그럼 즐거운 수학문제 풀이되세요...