수학 파괴 증명
게시글 주소: 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를 선물하세요.
-
ㅈㄱㄴ
-
실망
-
ㅁㅌㅊ?
-
졸리다 5
자러가볼게요
-
나도 댓 달아줘 나쁜 놈들아
-
잠 잘오는법좀 2
ㅈㄱㄴ
-
어떤것도 질문받는다 해
-
대머벨
-
나무위키 읽는데 재밌네요
-
네페 대란 12시 직후부터 몇 분에 하나씩 쓰고 있는 놈
-
정사하다 병걸림 1
트위터까지 하면 안되는거였는데 ㅠ
-
얘들아 지금이야 26
어서 고백해
-
워 씌 쭝궈런 0
해킹했다 해
-
쌀먹이 먼 뜻임 9
나만 모르나
-
선착순 4명 12
1000덕
-
뭔가통계가많아서애들좀힘들어할줄알았는데 10번실수한내가참부끄럽네 이거진짜2등급나올수준일까요
-
【단독】 서울대, 세종시 이전 검토… “빠르면 2030년부터 적용” 10
본문: 교육부와 서울대학교가 최근 논의 중인 **‘국립대 통합 및 지역 균형 발전...
-
이전 세계에서 드래곤한테 로드킬 당했는데 눈떠보니 여기였음ㅠㅠ
-
만우절~
-
응...
-
이 왜 진
-
왜 클릭
-
그래서 ㅈ같을 때마다 부계 꺼내서 저격함
-
무슨말을해야하지 4
쉽지않네
-
반수할까요 4
원래 삼수할 생각있던 문과생입니다. 그래서 컨설팅도 안받고 원서 막넣었어요.. 근데...
-
최고의 팝송 0
반박 안 받음
-
저 사실 남자임 0
-
ㄹㅇ 효자과목임
-
국어해야하는데 쌓여잇는 수학하느라고 못함 근데 수학도 버리려고 대충대충 최대한 빨리...
-
사실 구라임
-
사실남자임 0
ㄹㅇ
-
수능 2~3등급 목표인데 단어외울 때 사진처럼 파생어도 같이 외우는게...
-
진짜임
-
만우절
-
국어 올오카 9,10주차 다 끝내기 (매월승리도 맞춰서) Tim,kbs 다 쫓아가기...
-
타다키미니하레 2
짝
-
현실에서 남자한테 못받는 관심을 받기 위함일까 얼굴 안봐도 생김새가 보이는듯함 근데...
-
시머인재 타이머엔 닉네임 3글자를 설정할 수 있고 내가 지정한 다른 학생과...
-
쪽지해 ㅎㅎ
-
만우절~~
-
.
-
처음 들어보는데 전자기타 소리가 너무 좋아요
-
20일 어케 기다려야하냐…
-
새벽여캐투척 6
음역시귀엽군
-
잘자요 3
이건 진짜임
-
저사실경희의임 6
bl짤단톡방에뿌려서반수해야함 큐ㅠㅠㅠㅠㅠㅠ
첫번째 댓글의 주인공이 되어보세요.