수학의 파괴와 재창조 증명
게시글 주소: 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를 선물하세요.
-
장래희망 2
잠만보
-
싫어하는 과목은 뒤져도 안하는데 미적이 재밋다고 주말 이틀동안 시발점 미적상 완강함...
-
최신 개정판이랑 표지가 다름 좀 오래된책인듯..몇문제 없거나 다르면 그냥 반품하고...
-
천체 계산부분 좀 제대로 잡고싶긴 해요 우주론쪽 개념도 그렇구
-
[2024 김과외 전체1위] 서울대 출신 수만휘멘토 : 수능영어공부법 3번째글 - 문제풀이 및 오답처리와 막판실모 공부방법 0
김과외 진출하자마자 영어 1위, 전과목 통합 1위뿐 아니라 최신 전국연합학력평가...
-
나쁜뜻 아님 게을러서 계산 하는거 싫어함 그래서 억지로 계산줄이는거 많이 베웠음...
-
-
X스하러 가는중 19
오늘은 전완근이랑 이두삼두 묶어서 하는날
-
좀 낯설고 어려운데 걍 버티면 괜찮아지나요…?
-
오저메는 비빔국수 11
오르비언들 맛저하세요!
-
감사합니다 혐오의시대 님
-
작년에 김승리 올오카 들었었고 올해 2월부터 메가만 사서 강민철 들었는데 일단 강의...
-
요즘 웹툰은 휴재하고 복귀하면 작가 바뀌는 게 유행임? 1
아니 그림체 왜 다 ㅋㅋㅋㅋ
-
7시
-
오늘 저녁 5
콰트로치즈와퍼 2개 배불러요
-
안녕하세요. 경북대학교 의예과 23학번 지니입니다. 아래는 제 간단한 소개입니다....
-
만들고싶어
-
쩝... 참고로 여기서 '속다'는 '수고하다'라는 뜻으로 '석다(썩다)'에서 왔음
-
궁극의 뉴런 2
4월 5월 두 달동안 완강 가능할까요? 수12,확통입니다.
-
닉변하려 했는데 아 내 별명 https://orbi.kr/00072616295/
-
210921 어떤 풀이를 봐도 찝찝함..
-
오지 개념정도 하고 시즌2 처음 들어가 봤는데 이해되는것도 있지만 전체적으로 진심...
-
이긴 하지만 마냥 쉽지는 않습니다.
-
8시랑 9시타임 남았는디
-
아
-
f(x)의 폭을 1/|a| 배 했다고 이해하면 되나요?? 뭔가 부가적인 조건이...
-
진짜 개 씹 명작이네…씹덕이 되는 이유를 알겠다… 님들은 진격거 어땟음 후기좀....
-
흑흑흑
-
오르비를 어떻게 하는거지
-
집보내줘 4
본가왔는데 엄마아빠 너무 부지런해서 어디 또 끌려가는중이에여 아니 좀 집에...
-
요즘 드는 생각 12
티오 좋은학교에 와서 다행이다
-
ㅈㄱㄴ
-
대학 경제학입문 과목 듣는데 딱 수능경제 수준이라 경제 기출 찾아보고 있는데,...
-
치킨닭다리같음
-
어려운 문제는 아니지만 계산량이 많았던 3월 12번 해설지에도 나온 정석적인...
-
나도 벚꽃 볼래 0
우리 동네는 왜 없냐
-
-
누구누구탛릅함 5
적어보셈
-
https://orbi.kr/00072651131 매번 다운받기 귀찬ㄹ앗는데 히트군요
-
이전 글 이거 속편 쓸 예정인데, 참고할 논문 뒤지게 많노 ㅋㅋㅋㅋ 언젠간 쓰겠지...
-
평가원 #~#
-
내가질듯
-
더프는 68점인데 3모는 81점임…
-
내가이김 참고로 템플릿임
-
1번이랑 어휘문제 날라가서 국어 1등급 날아갔다…
-
잇올 6모 접수 0
잇올 6모 접수하는거 어떻게하나용 그냥 공식 홈페이지에서 한꺼번에 뽑는건가요??...
-
남자들 중에 이상형으로 통통한 여자 좋다고 하는 분들은 진짜 여자가 통통만 하면 오케이?
-
레전드 갓생을 살아야만 해요.. 저도 파이팅.. 옵붕이들도 파이팅..!!!!
-
ㅆㅂ 1
감기 걸리고 상태 안좋은데 실모 풀엇더니 다 풀지도 못하고 점수 ㅈ박앗네
-
심찬우 강의 2
부교재를 안 사서 설명되어 있는 부분?을 못 보는데 노란색 글씨 하늘색 글씨 차이...
첫번째 댓글의 주인공이 되어보세요.