수학의 파괴와 재창조 증명
게시글 주소: 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를 선물하세요.
-
나도 삼대남 되어보니 알겠음 이대남(90년대생 = 현 삼대남) 들은 그냥 존나 패야...
-
수1 수2 기출 마더텅으로 두 번 정도 돌렸는데 다음으로 풀 문제집 기생집 4점이...
-
둘이서 쉬는 시간이나 쉬는 날에 오르비하는 거 보이면 꼽주나?
-
28 29 30정복 드가자 드릴하다 일단 유기
-
낮엔 운동도 하고 내 공부도 하고 그래야지 과외 하나 더 끼고 학원은 그만두고...
-
https://orbi.kr/00073130027/%EC%9D%B4%EA%B1%B0%...
-
ㅇ
-
제곧내
-
예전 소속사에서 자컨도 안찍어주고 원래 라이브도 잘안켜서 무대 아래 모습? 보려면...
-
길고양이 핥기 9
-
지금까지 김민정쌤 들엇는데 이번에 한번 바꿔보려는데 ㄱㅊ을까요
-
생윤 2
개념 공부할때 인강 꼭 필요한가요? 은근 개념 인강으로 안하는분들 많은거같아서요
-
남들이 나를 과대평가 하는건가 구분이 안 가네
-
점심 12
머묵지 점메추받아요
-
5모에서 수학이 2가떠서 6모 목표 12111로 수정합니다 그나저나 정법은 뭔...
-
토일은 그대로 놔두고
-
지각!! 4
치코쿠치코쿠
-
얼버기 0
-
그럴만한 일이 있음
-
이제 자야지 0
알바 끝나고 밥먹고 씻으니까 개운함
-
안냐세요 저는 고2 08년생입니다. 저는 정시 공부를 나름대로 열심히 하는 학생인데...
-
쌍사가 개꿀인 이유 본인 세계사 용기+마더텅 끝냄 이번 5모 48점이고 동사는...
-
https://orbi.kr/00073130027/%EC%9D%B4%EA%B1%B0%...
-
금요일이나 월요일도 주말이여야함
-
취향고르기 3
-
국어 31 수학28틀
-
아니 2
시간 왜이리 잘 감 ㅋㅋ 벌써 6모 22일 밖에 안 남았네..
-
철학전공하면 하루하루가 행복할듯 공대가게하는 사회가 존나 밉다 진짜..
-
어제 하제타님 따라서 여목해봤다가 현타와서 그대로 쟈썽 ㅠ
-
좀 쉬어가고싶은데 군대새끼가!!!!
-
연고대 공대는 사탐런 비추하시는 분들이 많던데 원래 지구 사문이었는데 하루종일...
-
왜 갔어 4
-
그때는 희밍이라도 있었던거 같은데 참 그 희망이 완전히 짓뭉개져버린거같다
-
누가 댓글로 비틱 그만하라 해서 쓰는데 비틱질일 정도로 대단한 삶도 아니긴 한데…...
-
[신춘문예] 꿈 1
닿으면 덧없이 스러져 버리는 눈처럼 선명했던 순간을 뒤로하고 존재의 내력을 온몸으로...
-
작수 5 3 4 5 5 화 미 화1 지1 3모 3 3 3 2 3 화 미 한지 지1...
-
1컷 제발 80점대 좀 나오라고
-
1. 미적이고 84점입니다. 15 21 22 30 번 틀렸는데, 15번 21번,...
-
등원하는중 3
다들 화이팅
-
쓰고 단 내 인생 맛보지 미식가
-
낮잠잔게 큰듯 ㅇㅇ
-
학문에 대해 아는 것 하나 없는 저보다 지피티가 주제 추천하고 글 쓰는게 나은 것...
-
국어: 74분 걸림. 아니 현역들 수학 안하고 국어만 함? 독서 어려웠는데…??...
-
요즘 취업시장이 ㄹㅈㄷ 폭망이네 서울대 4.0이 삼전 서류탈 했다고 하고 학교...
-
노추 0
-
캬하하
-
문과가 이과과목 0
공부하려면 투입 최소 몇개월정도 필요할까요? 요즘 정시는 sky이상 가려면 몇개정도 틀리나요
첫번째 댓글의 주인공이 되어보세요.