귀류법에 대한 질문…

Question

가정한 사실에 모순이 아님!

알려진 사실에 모순이라는 것이 핵심

====================================================================================

간단히 예를 들어보면,

p->q 라는 명제를 증명하는 중인데

도저히 방법이 생각이 안나서 귀류법을 시도 한다면,

먼저 q를 부정해봅니다. 즉, p and ~q라고 생각하는거죠

그리고 논의를 막 진행해요

이때 알려진 사실r에 대하여 모순이 발생한다면

우리는 이로부터 p and ~q는 공집합임을 알 수 있습니다.

따라서 모든 p는 q 즉, p->q 를 밝힐 수 있습니다!

====================================================================================

이렇게 이해하면 되나요?

칼 춤 · Accepted Answer

저렇게 엄밀하게 이해할필요까진 없고 수학에서 쓰이는것은 1-2-3의 과정중 3을 발히기 위해 귀류법을 써야한다면 2-1, 2-2,2-3으로 가정하고 그 가정한것들이 반증되거나 수용되는지의 여부를 판단하면됩니다.(예를들어 2-1을 먼저 논증해서 반증이 되었다면 2-2로 돌아가는것이죠 그래서 이름이 귀류법임)

귀류법에 대한 질문…

최근 게시글 · 더보기

오늘의 추천 글