수학의 파괴와 재창조 증명
게시글 주소: https://orbi.kr/00072605752
모순과 거짓의 관계 증명
모순<->(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가 공리)<->(A가 거짓) 이라는 말임
따라서
공리<->거짓
모순<->거짓 이므로
공리<->거짓<->모순
공리<->모순
모순이 포함된 체계는 모든 명제가 참이 될수있음
즉,
공리가 모순이므로 모든명제가 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이긴 하지만 마냥 쉽지는 않습니다.
-
8시랑 9시타임 남았는디
-
아
-
f(x)의 폭을 1/|a| 배 했다고 이해하면 되나요?? 뭔가 부가적인 조건이...
-
진짜 개 씹 명작이네…씹덕이 되는 이유를 알겠다… 님들은 진격거 어땟음 후기좀....
-
흑흑흑
-
오르비를 어떻게 하는거지
-
요즘 드는 생각 12
티오 좋은학교에 와서 다행이다
-
ㅈㄱㄴ
-
대학 경제학입문 과목 듣는데 딱 수능경제 수준이라 경제 기출 찾아보고 있는데,...
-
치킨닭다리같음
-
어려운 문제는 아니지만 계산량이 많았던 3월 12번 해설지에도 나온 정석적인...
-
나도 벚꽃 볼래 0
우리 동네는 왜 없냐
-
-
누구누구탛릅함 5
적어보셈
-
https://orbi.kr/00072651131 매번 다운받기 귀찬ㄹ앗는데 히트군요
-
이전 글 이거 속편 쓸 예정인데, 참고할 논문 뒤지게 많노 ㅋㅋㅋㅋ 언젠간 쓰겠지...
-
평가원 #~#
-
내가질듯
-
더프는 68점인데 3모는 81점임…
-
내가이김 참고로 템플릿임
-
1번이랑 어휘문제 날라가서 국어 1등급 날아갔다…
-
잇올 6모 접수 0
잇올 6모 접수하는거 어떻게하나용 그냥 공식 홈페이지에서 한꺼번에 뽑는건가요??...
-
남자들 중에 이상형으로 통통한 여자 좋다고 하는 분들은 진짜 여자가 통통만 하면 오케이?
-
레전드 갓생을 살아야만 해요.. 저도 파이팅.. 옵붕이들도 파이팅..!!!!
-
ㅆㅂ 1
감기 걸리고 상태 안좋은데 실모 풀엇더니 다 풀지도 못하고 점수 ㅈ박앗네
-
심찬우 강의 2
부교재를 안 사서 설명되어 있는 부분?을 못 보는데 노란색 글씨 하늘색 글씨 차이...
-
현대시,갈래복합,고전시가,현대소설,고전소설 이렇게 나는 고전소설,갈래복합이 너무...
-
[수학자료]22-25학년도 평가원 [기하] 전문항 모음!! 13
선택과목을 기하로 바꿈으로써 저번 수1에 이어서 기하 평가원 기출도 전부...
-
개별 질문을 주시면 언제든지 답변드립니다. 익명화하여 해당 내용들을 통해 칼럼으로...
-
여자도 마찬가지로 잘생긴애한테 못 다가가는거겠지
-
이신혁리바이벌 0
과제에 리바이벌있던데 선택이라서 구매안햇거든요.,, 꼭사야할까요
-
한의사, 약사, 한약사로 취업시 불이익이 있을까요?
-
스타벅스는 2
맥북있어야 입장가능하대서 투썸으로가기로햇서
-
아직 안왔는데 이상한거 아니죠?
-
약간 스토쿠 푸는 느낌임
-
반수안합니다. 4
사유:공부를 너무못해서
-
전형이 좀 크게 바뀌는 건 절평 첫해인 18학년도 이후 거의 8년만인듯 한데 1....
-
실시간으로 게임처럼 즐기며 친구와 대결하면서 공부할 수 있음 상대방을 견제하기 위해...
-
시원시원하게 풀리는 맛도 없고 문제는 더럽게 많고 개어이없이 틀릴 때도 많고 도저히...
-
'순대 6조각에 2만5000원?' 제주 벚꽃축제 바가지 논란 8
제주에 봄꽃이 만발하면서 제주시 전농로와 애월읍 장전리 등 벚꽃 명소에서는 내일까지...
-
아니 이럴리가 없는데 뭐야
-
애니 추천 0
크라이시스 융 잔인하거나 노출 많은거 못보면 보자말것
-
시발 좆됐다
-
사람은 결국 모두 혼자고 아무리 가까이 붙어 있어도 하나는 될 수 없으니까......
-
확통 전범위인가요?
-
오랜만에 이륙하는구만
-
https://orbi.kr/00072650760/pc%EB%B0%A9%EC%97%9...
-
5모 6
국어 1컷 72 수학 1컷 71 영어 1등급 0.03퍼 물1 1컷 34 화1 1컷...
-
누구? 메인글 뭐노
첫번째 댓글의 주인공이 되어보세요.