수학 파괴 증명
게시글 주소: https://orbi.kr/00072652383
모순과 거짓의 관계
모순<->(p and not p)<->거짓
모순<->거짓
대우명제는
무모순<->참
-------------------------------------------------------------
귀류법
1. (A가 거짓->모순)->(A가 증명있음)
1의 대우명제는 2.
2. (A가 증명없음)->(A가 거짓 and 무모순)
무모순<->참
3. (A가 증명없음)->(A가 거짓)
3의대우명제는 4
4. (A가 참)->(A가 증명있음)
-------------------------------------------------------------------------------
5. (A가 공리)->(A가 증명없음)
3과 5를 연결한 6
6. (A가 공리)->(A가 거짓)
6의 대우명제는 7
7. A가 참->A가 공리아님
--------------------------------------------------------------------------------
8. A가 공리->A가 참
4와 8이 연결된 9
9. A가 공리->A가 증명있음
9의 대우명제 10
10. A가 증명없음->A가 공리아님
--------------------------------------------------------------------------------
9는 거짓
그리고 8도 거짓
왜냐하면 4와 8이 연결된게 9인데, 4는 귀류법이 옳다면 참일수 밖에 없음
따라서 9와 8의 부정형이 참임
9의 부정형은 11
11. A가 공리 and A가 증명없음
8의 부정형은 12
12. A가 공리 and A가 거짓
12가 참이라는건 공리면서 거짓인 명제 A가 적어도 하나 존재한다는것
그리고 거짓과 모순이 동치이므로
모순인 공리가 존재한다는것.
모순이 발견되면 모든 명제가 참이됨
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
충격) 1230보다 더 추운 330이 있다? 삐쓩빠쓩 2
위 : 241230 아래 : 250330 물론 1230은 고온 330은 초저온이긴...
-
수학 마킹이슈로 81점된건 양해부탁
-
29000 뽕 뽑아야지
-
2025년 고3 3월 모의고사 세계사, 동아시아사 심층 분석 및 무료 해설지 제공 2
안녕하세요. 지환지환쌤입니다. 전국의 고3 수험생 여러분 시험 보느라 고생...
-
진짜 조은 글 1
https://orbi.kr/00070076768 조시 우님 과탐 공부법 글
-
스벅 푸드 특) 0
바로 받아서 음료랑 같이 먹을땐 그럭저럭 괜찮은 시너지를 내는데 따로 먹으면 개노맛임
-
맘모롱 두 개 다 먹었잖아 대체 왜
-
며칠 전 언급해서 블라먹은 앵벌이 사실 좋은 사람이었음 2
50원 안 받아서 자동환불됨
-
고민중인거는 1년 좀 더 고생해서 교재를 만들어서 팔거나, 지금부터 가격을...
-
확통 내신 1
범준쌤으로 내신 준비하려고 했는데 폐강되어서요. 한완수든 인강이든 실전개념으로 추천부탁드려요 ㅜㅜ
-
사탐 생사 쌍윤 2
작년에 생윤 사문으로 수능 봤고 올해도 똑같이 가려고 했어요 근데 아무리 생각해도...
-
와.. 나도 이해할수 있을정도임..
-
난 이거 보자마자 15년 입학? 어 그럼 현장에서 오버슈팅 봤겠네..? 이 생각...
-
기하 난이도 올라가는 건 나도 반대다 기하는 적당한 난이도에 공부량 1/3하고...
-
족보 6개월만 결제하고 1년치 몰아서 뽑는거도 괜찮을까요??
-
68점 올렸어요 1
10~13번, 15번 풀림, 실수안함 등으로 운이 엄청엄청 좋았던거라 많이 뽀록이긴...
-
등가속도나 운동방정식, 역에보 풀때 처음에는 문제만 봐도 상황이 이해가 안되고...
-
옷으로 가리다가 바로 걸리고 압수 엔딩. 어제 새르비 못한 이유ㅋㅋㅋㅋㅋㅋㅋㅋ
-
확통런 1
재수생이고 작수 미적 282930 틀렸는데 공통이 제대로 되어 있는 상태도 아니라...
첫번째 댓글의 주인공이 되어보세요.