TIMTOWTDI [1138981] · MS 2022 (수정됨) · 쪽지

2022-11-11 09:46:05
조회수 3,842

귀류법에 대한 질문…

게시글 주소: https://rocket.orbi.kr/00059299090

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


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


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


간단히 예를 들어보면,


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


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


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


그리고 논의를 막 진행해요


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


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


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

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


이렇게 이해하면 되나요?

0 XDK (+0)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.

  • 칼 춤 · 1029168 · 22/11/11 10:04 · MS 2020

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

  • TIMTOWTDI · 1138981 · 22/11/11 10:13 · MS 2022

    RAA라는 이름에 핵심이 담겨있었군요!