수학의 파괴와 재창조 증명
게시글 주소: 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 칼럼러 현월입니다. 재미없는 글입니다....
-
그 다셔여섯줄로 1년 힘들었으면 된 거 아니냐? 제발 머리에서 좀 나가라 아직도 기억나냐 시발;
-
걍 문제가 쉬운거임 내 실력이 오른거임.....?? 27 29 30 틀렷는데 27은...
-
괜찮게 풀고있는거일려나 Day5까지 풀었는데 보통 8개중에 6개 이상은 맞음 근데...
-
이번 3모 33311이고 수능때 목표는 23211이 목표인데 지금 언매를 시작해도...
-
인강자료나 시중에서 구할수 있는거 뭐가있을까요???
-
맞빨구 14
쪾쪾
-
센츄 신청햇는데 7
설마 벌점50점이라고 빠꾸먹는건아니겟지ㅅㅂ
-
유x게x 0
-
왜일까
-
저가 군대를 작년에 전역 했습니다.. 고딩때 실컷 놀고 군대에서 많은 생각이...
-
맞팔구 30
이번생에 은테 달수잇을까
-
한건 별로없지만 정신차리기 위해 오늘돞올리긴 하겠습니다..! 오늘도 다들...
-
자기장 이노무시끼 안되겠네 너 인누와
-
맞팔해달라니까 순식간에 몇명이 와바박 해주는데 난 구걸해야 겨우겨우 해주고 걍 맞팔창1남이 되
-
국어 등급 오름
-
주식 메타 8
전 일단 가볍게 주석님 한 분 방문하심 ㅋㅋ
-
나 힘드로…
-
메디컬가고 싶음 2
정확히는 의대나 한의대 내가 순수 연구역량으로 공대나 자연대가서는 그냥 썰릴 것...
-
차도남이 될래 1
피도 눈물도 없는 차도남이 되고 싶어
-
진짜 어른은 무관심하면서도 은밀히 아무 대가 없이 도와준다. 2
그래서 우리는 그 남자 어른을 《아저씨》라고 불렀다. 흑심을 품고 잘해주면서 점점...
-
진짜 환불해달라고 할거에요
-
비역학빨리 끝내야하는데 자기장 너무 하기싫다 이거만 넘기면 이제 어려운거 없는데...
-
라는 내용의 글을 벌써 몇번째 적는걸까
-
.
-
맞팔9 13
선착 5명
-
에휴 섭종민 2
피방가는거 귀찮다
-
일어남(3시) 0
잠(6시)
-
은근 무서운 말 8
무병장수하세요
-
-
-
인생이 행복하다
-
내가 초라해지잖아~
-
돌이켜보니 수학에 박은 량이 말이 안되긴허다
-
놀라운 사실?) '-아지/어지-'는 접미사가 아니라 보조용언 0
한글맞춤법 제47항 해설 보조용언 '지-' 앞에 어미 '-아/어'가 쓰인 것인데,...
-
ㅇㅇ 내신 나눠먹기 심할거같은데 참고로 모의1등급 한 32%
-
확통 뭐할까여 0
시작을 시발점으로 해서 현재 시발점이랑 워크북도 풀엇는데 쎈 같은 유형 문제집...
-
성욕처리도구 10
-
지구는 공룡이다 8
주장 1일차
-
그것도 두개나 (평가원 3모 오늘봄) 의욕 활활 적어도 3은찍는다 수학련
-
-
설높공 가능하나 아 그리고 국어 2컷에 나머지 만점이면 어디쯤 가지...
-
- 강기원 (1985~)
-
-
안부끄러워요
-
지구과학 타임어택을 10으로 봤을때 사문 타임어택은 몇정도일까요?
-
혐오와 탐욕의 봉오리의 반대편에 서는 이들의 고귀하고 말 할 수 없이 깨끗한 양심이...
-
작년어싸부터 깨끗하게 쌓여있는 패배자 죄수생이면 개추
-
으른들 커뮤라
-
내일 보실분 3
밥이나 술
첫번째 댓글의 주인공이 되어보세요.