귀류법에 대한 질문…
가정한 사실에 모순이 아님!
알려진 사실에 모순이라는 것이 핵심
====================================================================================
간단히 예를 들어보면,
p->q 라는 명제를 증명하는 중인데
도저히 방법이 생각이 안나서 귀류법을 시도 한다면,
먼저 q를 부정해봅니다. 즉, p and ~q라고 생각하는거죠
그리고 논의를 막 진행해요
이때 알려진 사실r에 대하여 모순이 발생한다면
우리는 이로부터 p and ~q는 공집합임을 알 수 있습니다.
따라서 모든 p는 q 즉, p->q 를 밝힐 수 있습니다!
====================================================================================
이렇게 이해하면 되나요?
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
■■■■■동국대 의전 학석사통합과정 신입생 카페■■■■■ 1
합격하신 여러분 모두 진심으로 축하드려요!입학해서 학교생활 하기 전에 서로 친해질...
저렇게 엄밀하게 이해할필요까진 없고 수학에서 쓰이는것은 1-2-3의 과정중 3을 발히기 위해 귀류법을 써야한다면 2-1, 2-2,2-3으로 가정하고 그 가정한것들이 반증되거나 수용되는지의 여부를 판단하면됩니다.(예를들어 2-1을 먼저 논증해서 반증이 되었다면 2-2로 돌아가는것이죠 그래서 이름이 귀류법임)
RAA라는 이름에 핵심이 담겨있었군요!