수학의 파괴와 재창조 증명
게시글 주소: 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를 선물하세요.
-
엄마가 포기만 안 하면 된다고 대학 간판 살아보니까 진짜 별로 안 중요하더라 그냥...
-
뭔 글이였길래 도대체
-
이거 오타난거 아니냐?
-
완전 쌩노베라서 5등급제인데 평균 3등급대도 안나올거같은데 내신에 영향 크게...
-
폭음이구나 몰랐음
-
100점이면 산화아니었나
-
인셩 개부럽다 진짜......
-
어케함
-
데이비드 차머스 라는 사람이 말했다는데 물리적 신경작용이 어떻게 주관적 느낌과...
-
애들 중랑천에 뛰어드려는 계획중인데 ㅋㅋ
-
아니 ㅣ잠만 0
지금 1학년은 5등급제 하고있는거?
-
해보신 분들 뭐가 더 좋나여?
-
고3 3모 수학5등급인데 이렇게 공부해도 되나요?? 2
https://youtu.be/B-1l4b6B_p4?si=jvzwOXCK-HvWJWc...
-
한달빡세게공부하고 시험전날 펑펑놂 = 80점 한달 설렁 공부하고 전날 개빡세게함 =...
-
시험장에서 포타쌍 안보이면 영원히 안보임..안해보면 몰라…
-
기하를 볼수는 있다고 알고 있지만....받아주는 학교가 많나요? 워낙에 수학으로...
-
글삭
-
머릿칼샤이닝롱 정신은 레이저스트롱
-
라는 글을 나를 특정한 친구와 학교 공개된 장소에서 함께 앉아서 쓰고 있는 모습....
-
‘아 이 문제는 그래프 그려야되는구나’라는 아이디어가 떠오르는것 제대로 그리기 or...
-
SKT 유출 데이터 9.7GB 추정…"300쪽 책 9천 권 분량" 5
최근 일어난 SK텔레콤 해킹 공격을 통해 외부에 유출된 정보가 최대...
-
돈나 코타에가 맛테이테모 카마와나이카라 소코헤 유쿠요 키미노이루 마치
-
온천 물에 황산이 들어가있다던데 괜찮은건가 비만,아토피에 좋다고 적혀있네
-
망했다 5
오늘 급한 일이 있어서 택시를 탔는데 기사님이 분명 결제되었다고 해서 내렸는데...
-
이제 우진희 아니면 못듣겠음 텐션도 딱 억텐 아니고 적당하고 강의도 납득되게...
-
내신때문에 하고있긴한데 주제같은 건 연계가 되는건지 아니면 사실상 아에 안되는건지.. 궁금합니다
-
첫 시험이라 그런지 수준도 모르고 너무 준비를 덜 한 것 같아요 ㅜㅜ 그래서 시험이...
-
6모때 건동홍 문과 낮과 합격성적 받기 ㄱㄴ?ㅋㅋㅋㅋ
-
오늘 앎
-
노베 자퇴생 확통이 탈릅함
-
지하철시발 4
나한테예수믿으라는 할머니 마스크쓴할아버지vs마스크왜썼냐는할머니 가는내내...
-
1. 재밌다. 2. 쉽다. 3. 대학가서 그나마 쓸만하다.
-
왜그러는데
-
실험 레포트를 써야하는 삶이란...
-
똥싸는중 4
으어 시원하노
-
기하해서 3점이랑 4점 맞히는게 어떻겠냐고 물어보면 항상 이제와서 바꾸긴...
-
수1 삼각함수도 괜찮게하고 기하 251128같은 순수 공도나 이차곡선 30번도...
-
강민철 김승리에 비해서 너무 컴팩트한 거 같기도 해서요 유명한 데엔 이유가 있나
-
일단 1회 풀어봄 28틀 96 회차마다 편차가 큰가 생각보다 어렵진 않은거 같음...
-
얼버기 20
-
솔직히 적백맞을 자신 없으면 기하 하는게 맞는거같은데 12
2425 기조를 올해에도 유지한다면야 기하가 진짜 훨 나은거같은.. 공부량이나...
-
혼밥은 힘들다 2
익숙해져야지
-
좀 오반가
-
안녕하세요 삼반수 고민중인 21살입니다 25 6,9수능 성적은 백분위...
-
과외알바를 생각하시는 분들을 위한 매뉴얼&팁입니다. 5천원 커피값에 미리 하나...
-
마침 중등~고등까지 나왔는 데 이거와 더불어 경시대회 이론집 사서 공부하고 이를...
-
어우 화사해
-
허리너무아픈데 0
어케해야됨...
-
전담입문 0
추천부탁좀요 연초안펴요
-
정작 타인들은 별생각 없는데..
첫번째 댓글의 주인공이 되어보세요.