귀류법에 대한 엄청난 오해 하나
게시글 주소: https://orbi.kr/00018880536
p→q를 증명하기가 까다로우니
p→∼q 를 가정하고 [모순]을 이끌어낸다.
이것이 귀류법이다.
이것은 완전히 틀린 설명이죠
어디가 틀렸을까요?
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
어떻게 이런게 4번에 나오는거냐
-
휴릅 도전!!! 0
하르
-
오르비를 몇달간 관찰해본 결과 수능 1말2초의 학생들이 많이 갖고 있는 특징이 있음...
-
부모님께 효도하고싶어서 최대한 젊을때 많이 버는직업 하고싶은데 전망 보면 의사 gp...
-
4월까진 잇올 다녀서 한 4월 초쯤 잇올에서 6평 신청했었는데... 학원 끊고 보니...
-
기억 안나는게 정상이에요? 문제집 첨부터 다시 풀면 처음본것처럼 새까매짐
-
그거싫다고컷씹창내지말고
-
그래도 올해는 돌아갈 곳이 있잖아.
-
미적 수1 수2 시즌1인데 한 2~3주면 충분하려나
-
의사 직군의 전반적 하향세와는 별개로 의대 진학을 원하는 학생들이 한번쯤 생각해...
-
취업만 보고 무지성으로 학과 골랐다가 이 전공 내용으로 몇십년 먹고 살아야 한다고...
-
이해원 N제 2
이거 베터리 3칸 문제도 어려운데 원래 이런가요? 앞에 코멘트에는 14번 정도라고...
-
미적분 선택시 15 22 28 29 30 틀 확통 선택시 22 30 틀 틀린거로만...
-
생명황 ? 0
섬개완으로 개념 다 돌렸고, 이투스 이승후T 스킬강의까지 들었는데 가가 아쉬워서...
-
독서 문학 선택 8
수학 선택부터 푸는 사람 없고 영어 빈칸부터 푸는 사람 없는데 유독 국어만 독서...
-
확통에가계도분석넣을거임
-
옯접 1
5분 접음
-
이번 6평 존나 무식하게 1번부터 5번까지 다 선지판단 했는데
-
ㅈㄱㄴ
-
하.. 0
하하 날 사랑해줘요 더 크게
-
미적분 응시자를 0명으로 만들어 버리는 수준
-
옯접 3
5초 접음
-
물황 찾아요 0
독재 반수생니다. 1. 방인혁T 펀더멘탈 서머리 + 프솔 -> 엑퍼0까지 수강 후...
-
미적분학vs일반물리학 뭐 공부할지 추천좀
-
6평 화작 84고 2등급 안정라인까지가 목표입니다 전에는 강민철커리 피드백까지...
-
애들 커뮤에 분탕 온 이상한 아재에서 태호감 영포티 아재로 변모...
-
12,13 정도..고민해보고 풀이 익히고 +복습 기출여러개풀어보기 이런식으로 하면...
-
룸메가 와서 보더니 “왜 혼자 야스하냐”
-
ㅕㄹ 3
-
숙취해소제 마시고 갈거야
-
강은양 현강 다니다가 드랍했는데 리비에스 읽는거만으로 암기가 잘 안돼서 강e분...
-
(그냥 구글 제일 상단에 있는 거 업어옴) 돈만 보면 얼핏 괜찮아보이지만 주...
-
확통런은 없다 0
우직하게 미적으로 밀고 나갈것.
-
기다려주셈
-
-
박종민 미적정규 듣는중입니다 미적반은 거의 미적분 위주로 해서 서바시즌에 박종민...
-
1학년은 그냥 쭉 다녔고 2학년 1학기 끝나기 전에 자퇴하는데(중간만 봄) 그럼...
-
6모 한국사때 할거 없어서 나름의 예상컷 끄적거려놨는데 0
언매 95/90/84 확통 96/88/80 이라 써놨었네 작수 표본이었으면 뭔가 그럴듯 하지않음?
-
첫인상 써드림 15
현인상은 너무 막적을 것 같아서 안적겠어요
-
배고프다 0
밥줘
-
국제치의학회 최연소 회원을 거쳐 MD 언어추론 1타와 LEET 언어이해 1타를 한...
-
ㅋㅋㅋㅋㅅㅂ
-
이쁘다 그쵸 3
존예죠
-
그럼 과탐 때마다 걸어다니라는 말이냐
-
귀엽다 그쵸 15
아님망고
-
작가 진짜 행복할듯 많이 떡상했으면 좋겠네
-
6모 낮4입니다..거의4컷(기하응시) 찍맞도있어서 사실상 5등급이라고봐주세요..공통...
-
국어못해서울었다 2
ㄹㅇ
-
의학에 관한 순수한 열정같은건 있어본적도 없고 돈, 지위, 워라밸 보고 왔으니...
-
[하고싶은 일을 하세요] https://orbi.kr/0001952325...
논리시로
이걸 이해 못하는 내가 틀려먹은듯
q->~p를 가정해야하는거아님?
땡
아니 ~q->p
땡
멍멍
후건부정은 예외를 말한다는건가..
p->q를 증명하려면 대우명제로 ~q->~p를 증명해야하눈건가
그건 그냥 대우..
~q>p임을 가정하고 모순을 밝혀냄
땡이래요ㅠ 원준쌤이랑 다른 범주인듯
p=>q와 동치인 집합 표현은
~P합Q입니다
이것의 부정을 구하는게 귀류법!
P교~Q 일때 모순을 찾아야 하여요...
둘다 여집합일 수도 있어서 그런거죠?
~q=>p라고하면 되나요
집합으로 표현해보면 다른 걸 알 수 있음
근데 CDE구조랑 수학이랑 왜충돌하는거져ㅠ
충돌안해요
p가 q의 충분조건인걸 보여주려면 ~q인 p가 없다는걸 보여주면 되니깐 ~q=>p가 거짓임을 증명하면되지않나요 뭐지 브크 다시해야하는건가...ㅠ
아 아니네 ~q=>p가 거짓이라도 p가 q에 없을수도 있구나 ㄱㅅ
ㅇㅇ ㅋㅋㅋ
그럼 저경우는 p는 공집합?
p인 것은 어떤 방법이든 이미 알고 있는거고,
귀류법은 여기에 추가적으로 ~q임을 알고 있는 상태에서 모순을 보이는 것이니 p이면 ~q를 보이는거랑은 거리가 있움.
와웅....정확...하셔요....
ㄷㄷ부끄러워집니다
내년이면 이과대학수학까지 씹어먹을 것 같은 갓갓문과 ㅋㅋ 모르는거 있으면 개인질문 허용합니다
인터넷 통해 알아보니 이렇다는데
맞나요?
명제에서 전제가 거짓이면 그 명제는 항상 참이라서 이렇다고 하더라구요
그거랑 귀류법하고는 조금 다른 느낌이긴 한데,
명제에서 가정이 거짓이면 그 명제는 참이라고 '정해놓은 것'입니당.
그래야 집합론에서 할 수 있는 이야기들이 풍부해진다고 하는군요.
학교 교수님이 증명할때 귀류법 쓰면서
p->q를 증명하기 위해
p&~q라고 가정하고
~q이면 절대 p가 될 수 없으니 모순이다.
따라서 p->q이다.
이래 하시더라구요...
3번째줄->4번째줄이 이해가 안되어요 ㅜㅠㅠ
이론 3. 의
1번 증명에서요
일단 and를 사용하셨고
~q이면~~, so ~p이므로 모순! 이렇게 하시더라구요
그냥 이렇게 생각해용. (P, Q는 진리집합)
우리가 보이고 싶은건 Q에 P가 쏙 들어간다는 거에요.
그런데, 우리는 이러한 상황에 맞지 않는 놈을 생각할 꺼에요.
P라는 애가, Q라는 애에 쏙 들어가지 않고, 삐죽 튀어나오는 부분이 있다고 가정을 하는거죠. (이 부분이 P교Q^C가 되겠죠.)
그 교집합(P교Q^C)에 원소가 존재했을 시 모순임을 밝혀서, 이 교집합이 있을 수 없음을 보임으로써 P가 Q에 쏙 들어감을 보이는 거에영.
교수님의 말씀이 전 잘 이해가 안가는데, 같은 매커니즘일 겁니다.
일단 제가 이해했던 건,
p->q를 증명하기 위해서
그 부정인 p교~q가 존재하지 않음을 밝히자.
그런데 ~q를 만족하면 무슨 일이 있어도 p를 동시에 만족하지 않는다.
P이면서 동시에 ~q일수 없다,
즉 p교~q가 공집합이다.
라고 생각해서
위에 제가 노트에 정리한 대로 이해했었는데,
그러면 저 노트랑 기대님이 설명해주신 귀류법의 내용이랑 같은말인거 아닌가요?
"~q를 만족하면 무슨 일이 있어도 p를 동시에 만족하지 않는다."
라는 말이, 약간..ㅋㅋㅋ '모든'과 '어떤'의 차이랄까요.
~q의 원소 중 p에 속하는 놈은 하나도 없다!
라는 뉘앙스면 맞습니당 ㅎㅎ
아...그렇네요
역시 전공자이십니다...
수 학 어 려 워 ㅠㅠ
지금 충분히 잘 이해하고 계신 것 같아요 ㅋㅋㅋ 교수님하고 꼭 똑같은 방식으로 이해할 필요는 없죠~ 그게 수학의 매력이기도 하궁 ㅎㅎ
q의 일부분에서 아직 p이면 q이다를 만족시키지 않는 놈이 있을 수 있기 때문에 p이면 ~q이다.가 거짓을 보이는 것은 아직 완벽한 답안이 될 수 없음. 이정도?
교집합 표시 아니라 그런 거 아닌가요? 두번째 줄은 결과적으로 ~p니까요..ㅎㅎㅎ