수학 파괴 증명
게시글 주소: https://dev.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를 선물하세요.
-
역대 수능에서 제일 어려운 지문 15 0
뭐라고 생각함? 전 에이어랑 헤겔같은 논리학이 ㄹㅇ 어려운듯
-
15년전까지만해도 I과목하고 II과목 격차 별로없었는데 4 1
달인1하고 달인2는 보는사람이 기립박수칠정도로 둘다어려웠던 추억이 있네요
-
11시 11분 0 0
11 11
-
카이사가 승진하면? 3 0
카상무
-
-
안녕하세요 올해 대학에 들어가는 N수생인데요. 홍익대 컴공과랑 차의과대...
-
~~~~~꿱꾸ㅖㄲ꾸ㅖㄲㄱ꿱꿱 리얼리틔~~
-
경인교대 가능할런지 ㅠㅠㅠ 6 0
평백94.5인데 가능할까요 ㅠㅠ 그나마 경쟁률이 낮아서 다행인데 ㅠㅠ 제발추합이라도 ㅠㅠㅠㅠㅠㅠㅠㅠ
-
3학년때 지금 내신으로 물2를 하는데 물1이랑 많이 겹치드라고요물1 내신하다 끝난지...
-
ㅇㅅㄷㄱㄴ????? 0 0
연세대////과는 상관없이 아무데나 가능??ㅠ
-
특기를 어떤것 쓰나요? 외부게 되는 걸로 아는데 혹시 그래도 교내 예를 들어 화학...
-
환산점수가 잘못된것같아요... 0 0
-
-
ㅠㅠ 0 0
저기요 인강을 스마트폰이나 테블릿피쉬로 다운받아서들을수잇죠 ?와이파이지역에서만되나요...
-
문과 어디정도 갈수있죠?? 0 0
표점 백분위 등급언어 123 92 2수리 142 100 1외국어 132 95 2한지 67 98
-
김동욱t,이성권t 찝어주신 자료좀 보내주실분 계신가요? ...삼수생 하나 살려주세요... 1 0
lincoln4@naver.com부탁드립니다....사정이 안좋아서 강좌같은건...
-
안뇽? 1 0
1113462419571
첫번째 댓글의 주인공이 되어보세요.