귀류법에 대한 질문…
게시글 주소: https://orbi.kr/00059299090
가정한 사실에 모순이 아님!
알려진 사실에 모순이라는 것이 핵심
====================================================================================
간단히 예를 들어보면,
p->q 라는 명제를 증명하는 중인데
도저히 방법이 생각이 안나서 귀류법을 시도 한다면,
먼저 q를 부정해봅니다. 즉, p and ~q라고 생각하는거죠
그리고 논의를 막 진행해요
이때 알려진 사실r에 대하여 모순이 발생한다면
우리는 이로부터 p and ~q는 공집합임을 알 수 있습니다.
따라서 모든 p는 q 즉, p->q 를 밝힐 수 있습니다!
====================================================================================
이렇게 이해하면 되나요?
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
semper 이거 맞나요? 4 0
예상 예비번호가 80등이란건가요?? 다른분들은 다르게 나오는 것 같은데 왜 저렇게 나올까여 ㅜ
-
점공계산기 0 0
점공계산기 최초합권 예상실제등수 믿어도 될까요? 전공개방모집이라 1순위 안될까봐 걱정되는디..
저렇게 엄밀하게 이해할필요까진 없고 수학에서 쓰이는것은 1-2-3의 과정중 3을 발히기 위해 귀류법을 써야한다면 2-1, 2-2,2-3으로 가정하고 그 가정한것들이 반증되거나 수용되는지의 여부를 판단하면됩니다.(예를들어 2-1을 먼저 논증해서 반증이 되었다면 2-2로 돌아가는것이죠 그래서 이름이 귀류법임)
RAA라는 이름에 핵심이 담겨있었군요!