귀류법에 대한 엄청난 오해 하나
게시글 주소: https://dev.orbi.kr/00018880536
p→q를 증명하기가 까다로우니
p→∼q 를 가정하고 [모순]을 이끌어낸다.
이것이 귀류법이다.
이것은 완전히 틀린 설명이죠
어디가 틀렸을까요?
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
너무 기름진가
-
그럼 호머식으로 0 0
-
난 믿기지가 않음 0 0
내가 문제를 잘못봐서 8점을 날리고 계산실수해서 4점을 날렸다는게
-
생각보다 왤케 시간이 부족하냐 2 1
국어 독서 5지문 국어 인강 2강 (수국김) 수학 아이디어 2강 + 복습 하면 하루 다 감 이게맞나
-
전 잡니당 1 0
여러분 잘 자요 ♡08분들 3모 화이팅!!♡
-
으하하하하 1 0
내가 이겼다 미적 30번 컷!
-
1섶 수학 vs 3섶 수학 0 0
전자가 공통은 더어려움?
-
폐에서 받아들이지 못하고 기침 나오는데
-
가장 어려웠던 더프는 9 0
언제였음요?
-
언니 잔다 5 0
잔디 잔디 금잔디
-
나같은 심연은 정병조차 오지 않음 그냥 체념의 경지인거임 ㅇㅇ
-
남들이 못한다해도 나는 나를 믿는다
-
아빠 안잔다 2 1
엉
-
ㅈㄱㄴ
-
공군 군수 후기쓰면 보시나요 3 1
너무 늦었긴한데
-
3덮 생명 꽤 괜찮네요 0 0
방금 해설 다찍고옴 무보 1컷 45정도일듯? 킬러 아이디어 좋은듯
-
귀주톱 중 가장 깔끔하고 가장 잘 만듬 캐릭터도 ㅈㄴ게 매력적
-
이렇게공부해보신분있으신가요 3 2
지금 그냥 어영부영 하다가 아무것도 안될거같은데 물2지1언매 다 유기때리고 하루종일...
-
왜 자꾸 정시를 없에려는걸까 10 1
애초에 잘못된 방향으로 개편해놓고 ‘이거봐라 개선을 했는데도 이상태다. 수능은 답이...
-
같이 잇고싶다 3 0
누가 자라고 해줫으면 좋겟어
-
외계어다
-
주변에 잘하는 사람이 많으니까 3 0
좋은 점도 정말 많은 것 같은데.. 가끔씩 한번이라도 이기려는 나 자신을 보면...
-
확통과 기하 시험지는 7 1
유용한 풀이공간임.
-
한양대 2 0
한양대 공대를 목표로 재수하려 하는데 국어가 좀 약점이긴하거든요 작수 언매 75퍼?...
-
수학 시간 줄이는법 0 0
보통 14번까지정도의 난이도의 문제는 풀어서 맞추는데 이게 문제가 풀어서 맞추더리도...
-
오늘 공부 한거 1 1
O(달성) 영어 부교재 수특 light 1과 복습 수특 light 2과 암기 수학...
-
자살하고 싶다 5 0
살아서 뭐하지
-
잘있으삼 7 1
바바
-
전담맛있네 16 1
이렇게 꼴초가 되어가는건가
-
으아아아아아아아아아아아아ㅏㅇ 2 0
으아아아아아아아아아아아ㅏㅇ
-
+ 어케 글케 돼요? 3점 양치기? 4점짜리 풀다 보면 3점 푸는 속도는 알아서 올라가 있으려나
-
으
-
잘자요 0 0
항시 건강하시구요
-
뭘한거지 하……진짜 답이 안나와서 저러고있었음
-
개인적으로 작수 국어에서 가장 큰 교훈을 얻었던 문항 6 3
#6 얘가 독서 문제 중에서는 오답률 2위였는데(1위는 열팽창 지문 보기문제),...
-
님들!! 3 0
3모가 6일 남았다는 말도 안되는 소리를 하지 뭐에요? 그래서 제가 모가지를...
-
서프 더프 현장응시 0 1
월곡, 안암역 근방에서 신청 가능한 곳 있을까요..? N수생입니다
-
걍 제미나이 돌린 해설 넣는게 더 도움될듯 가끔 미지수 4개 쳐넣고 그냥 다...
-
오늘 더프 채점하고서 0 2
수능날 억까당한 내 자신이 너무나도 서러워서 울면서 엄마한테 전화함
-
정법을함 3 0
켘,,,,,,
-
대학가서 친구도 못사귀고 학회 학생단체 면접도 다 떨어지고 애들은 다 친해진거 같고...
-
스카 끊기전에 문자해봤는데 2 0
길게끊으면 할인되나요 헤헤 했더니 해준다함 나이스
-
각변환이 뭐더라 2 0
삼각함수풀때 각도기 가져갈게 ㅇㅇ
-
특수부터 넣어보기! 접점 넣어보고 안되면 접점 주변수 넣어보고 안되면 다른 거...
-
뇌풀기용 수학 9번 문제 2 0
-
수학 너무 심각한 것 같음 13 0
그래도 삼각함수까지 다 배웠는데(세젤쉬) 공통 한 문제 맞춘 게 말이 되나? 진짜...
-
잘자요오르비 2 2
내일 5시엔 깨야되는데.. 어지럽당
-
실력이 떨어진건지 0 0
이젠 난이도 판단도 안되네
-
더프로 에피나 센츄따려면 0 0
얼마나 힘든가요? 보정으로 전과목 백분위 어느정도인지..
-
감정이너무과잉되어있어 0 0
존나몰아침
논리시로
이걸 이해 못하는 내가 틀려먹은듯
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니까요..ㅎㅎㅎ