수학의 파괴와 재창조 증명
게시글 주소: 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를 선물하세요.
-
-
가보자잇
-
입김이보이네 1
5월에이게무슨일이야
-
동네 학원 조교 0
동네 작은 학원에서 확통 조교하는데 고3애들이 너무 심각한 노베(3모 5등급 정도)...
-
첫 바퀴 몇 분 걸리심?
-
3모 4덮 둘다 84인데 이번은 76임…. ㅎ학통 두개나 나가서
-
카투사 1
경쟁률 많이 심한가요?
-
ㅅㅂ 빈칸고자 어캄? 삽입은 답이 바로 보여가지고 정답률 솔직히 빈칸이랑 바뀌었다고...
-
??
-
작수 42356 4
5모 ㅆㅎㅌㅊ??
-
학생의 최소 95%는 수업을 1도 안들음 나름 상위권인 애들 모아놓고 그따위 수업을...
-
네….
-
걍 국어 100문항 수학 100문항 ㄱㄱ
-
밥 조금만 먹고 바로 자야 되겠다 너무 피곤해서 눈 감으면 바로 잠 들 듯
-
영어는 왜 절평된거지 10
대체왜
-
많이 다르나요?? 교육청 너무 구리던데.학교스피커가 문제인건가...
-
공부하면서 심심할 때 자작문제 만들었었는데 그게 모이니까 양이 좀 되서 컨텐츠 없는...
-
오답률 1위 등극
-
수2 시발점 0
수1은 그래도 쫌 하는거 같은데 수2 이번모고에서 7번,9번,19번 다 틀렸는데...
-
영어듣기 인도발음나오먄 11
진짜 현웃터질듯
-
ㅅㅂㅋㅋㅋㅋ 이거 기말에 올릴수잇름?? 솔직히 왜5인지도이해가안감 ㅋㅋㅋㅋ
-
제 특기가 있음 2
그건 바로 시야에서 저 멀리 있는 강아지고양이 잘찾음 후훗 강아지 고양이 찾을때마다 짜릿해
-
듣기 개빡세게 바꾸고 토플리스닝처럼 발음도 미국 영국 호주 싱가포르 인도 등등...
-
대충 고1에서 고2로 넘어가는 겨울방학때 예습하는 똘똘이들 중 일부는 저가...
-
지구과학 질문요 12
주변에 자기는 지구가 절대 안맞는다면서 지구 안하는애들있는데 지구 안맞는다가...
-
6모 대비로 풀려는데 작년에 전체적으로 퀄리티 괜찮았었나요? 중앙대 뉴런 김범준...
-
수툭까지 샀는데 올해 1등급 뜬적이 없음
-
글 써 3
콱씨
-
#15 #21 #22 #29틀 84점 29번 머냐 ㅇㅅㅇ 확통도 방심하다가 훅가겄네;
-
손풀이 재밌다
-
안녕하세요. 공대를 2달정도 다니니까 저와 적성에 안맞아서 약대목표로 반수생각 있는...
-
29>>>28>>>30>15>기타
-
절평 취지에 맞춰서 1등급 비율 10% 정도로
-
-
국어 < 조금이라도 쉬우면 컷이 확 올라감 수학 < 어려워야 중위권(3~4등급)이...
-
일단 N제를 도전한다는거면 2,3점 기본으로 푼다는 가정입니다. 5모기준...
-
운좋게 맞은거였네..
-
뭔가를 물어보면 늘 답변이 정확한 질문 요지를 파악 못하고 빙 돌려서 말하다가 끝남
-
이거 말한애가 잘못알고 말햇나 절대 평균이 그럴수가엄ㅅ는데 모고 등급보면 근데 역대급으로 말리긴함
-
귀찮아서 안 풀엇는데
-
도치로 보면 안 대나요?
-
킬캠vsjmt 0
뭐가 더 6모 스러움
-
미스터방 보기문제,, 이정도로 해석하면 되나? ‘시선에서 서술’은 평가원이 많이...
-
아 ㅅㅂ 0
국어 질문 올라와서 답변 쓰고잇는데 글 지워져서 댓글 못달앗네 이제 질문글 답 안할거임..
-
오전에 병원가서 약받고 저녁에 외식하러가야됨 일요일엔 서프보려고 했는뎅
-
근데 5모 미적 7
2406에서 영감을 받은거같긴함..... 앞번호 어려운거하나넣고 30번에 급수넣으면...
-
잠 or 죽음 4
선택의 시간이 왓구나
-
삼도극만 빠지면
-
-
오늘 한거 위콤 하루치 볼텍스 수2 15개 드크북 수1. 마무리 기하 과외 숙제...
첫번째 댓글의 주인공이 되어보세요.