귀류법에 대한 질문…
게시글 주소: https://orbi.kr/00059299090
가정한 사실에 모순이 아님!
알려진 사실에 모순이라는 것이 핵심
====================================================================================
간단히 예를 들어보면,
p->q 라는 명제를 증명하는 중인데
도저히 방법이 생각이 안나서 귀류법을 시도 한다면,
먼저 q를 부정해봅니다. 즉, p and ~q라고 생각하는거죠
그리고 논의를 막 진행해요
이때 알려진 사실r에 대하여 모순이 발생한다면
우리는 이로부터 p and ~q는 공집합임을 알 수 있습니다.
따라서 모든 p는 q 즉, p->q 를 밝힐 수 있습니다!
====================================================================================
이렇게 이해하면 되나요?
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
-
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나 그 밖의 기술적...
-
무브-오르비 자기게시물 접근배제 정책1. 본 무브-오르비 자기게시물 접근배체...
-
오르비의 사회 공헌 85
오르비는 탁월한 능력의 회원들과 함께할 수 있는 커뮤니티를 운영한다는 점에서,...
-
[오르비] 무브-오르비 개인 정보 취급 방침 (12.1판), 무브-오르비 서비스 이용 약관 (5.5판) 10 6
무브-오르비 개인정보 취급 방침 (12.1판) 제1조 개요 무브 주식회사 혹은...
-
무브-오르비 청소년 보호정책 (1판) 무브 주식회사 혹은 오르비 주식회사(이하...
-
Orbi.kr Site Governance Policy (1.5판) 20
Orbi.kr Site Governance Policy제1조 목적 1. 본...
저렇게 엄밀하게 이해할필요까진 없고 수학에서 쓰이는것은 1-2-3의 과정중 3을 발히기 위해 귀류법을 써야한다면 2-1, 2-2,2-3으로 가정하고 그 가정한것들이 반증되거나 수용되는지의 여부를 판단하면됩니다.(예를들어 2-1을 먼저 논증해서 반증이 되었다면 2-2로 돌아가는것이죠 그래서 이름이 귀류법임)
RAA라는 이름에 핵심이 담겨있었군요!