수학의 파괴와 재창조 증명
게시글 주소: 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를 선물하세요.
-
#07년생#08년생#독학생 오르비의 주인이 될 기회 37 37
-
서울대가고싶다 0 0
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ 하 학벌정병은끝이없음
-
집착 5 0
-
ㄷㄷㄷ
-
왜클릭?
-
세상에서 제일 맛있는 게이 1 0
강게이 강k 수학은 맛없는게 없다
-
공통내용으로 풀 수 없는걸 기하내용으로 풀 수 있다거나 이런거 있음?
-
최대한 깔끔하게 내려고 노력했는데, 혹시 오류가 있다면 말씀해주시면 감사하겠습니다!...
-
평가원 너무얍삽한듯 1 0
치사하게 고1꺼 가져오네자꾸
-
근데 ㄹㅇ 살짝미분있음? 2 0
2번미분도 1번미분도아닌 살짝 1.5번미분하기
-
갓반고 재학생분들컴온 5 0
학평치면 1등급 비율이 어느정도임뇨? 한 12 13%되나
-
우리학교입시실적 3 1
대부분 재수 ㅅㅂ
-
올해 우리학교 입시 실적 17 1
고대의대 1 건대 의대 1 약대 1 서울대 1 연대 4 고대 7 ...좆반고가 맞긴 하구나...
-
진짜 미친놈인가 1 4
심심해서 점공 들어가봤는데 개악질이네;; 저거 인증도 합격증 조작해서 한건가
-
봉사활동 불이익 많나요? 1 0
일반고 내신 3.0에 봉사시간이 1학년 18시간 2학년 20시간인데 학종에서...
-
흐엥ㅇ... 4 0
ㅠㅠㅠㅠㅠㅠㅠㅠ
-
몸에힘이하나도없구나 3 0
공부에방해될정도네 하루에두끼밖에안먹어서그런가
-
아니 현정훈 선생님;;; 9 2
교재 검수 좀 잘 해주셨으면 하는데;;; 채점하다가 다 틀려서 개 놀랬네;;
-
야 너 나 그 돈 안 준 지 좀 더 된 것 왜 말 안 함? 12 4
띄어쓰기 JOAT +) "온데간데없을뿐더러"
-
기생집 했는데 수분감도 할지 고민이네영 아님 그냥 n제로 바로 넘어가버릴까용
-
ㄹㅇ.
-
햄버거 먹어야지 1 0
웅...
-
수1 뉴런 수2 스블 확통 뉴런 어느정도 들어보고 내린 결론인데 어케 생각하시나요
-
그 기준이 단순히 돈이라고는 생각안함뇨
-
대전이 노잼도시라는데 3 0
난 청주 살아서 체감이 안됨 청주에서는 놀러 대전가는데
-
친구 없어서 8 0
혼자 놀아야대..
-
아님 고시준비하거나
-
야옹 5 0
야옹
-
사는 의미를 모르겠음 1 0
월 300씩 벌어서 집도 못 사고 사도 50후반에나 작은 빌라 하나 살 수 있고...
-
약속시간30분미루고 4 0
좀자고가야겟자
-
출처 : 유은혜 "'김건희 집사·교육계 윤석열' 임태희 아웃...대한민국 교육...
-
시대기숙 가기전에 개념 0 1
시대기숙 곧 입소할 예정인데 입소하면 고3처럼 개념이랑 기출부터 하는게 아니라 이미...
-
와진짜개잠온다 5 0
자고싶은데 좀잇다나그야해
-
수잘에 가장 가깝다는 생각을 함뇨 학문으로서의 수학이 아니라 교과로서의 수학에 한정해서도
-
그냥 궁금한거 2 0
누가 수학 문제집을 풀고 있는데 그 책이 궁금해서 그냥 글 한번 써봅니다. 혹시...
-
하루만 기다리면 수능이에요! 1 0
왜냐면 이제부터 기다림이 24시간이 넘을 때마다대가리를 존나 쎄게 쳐서 제 머릿속을...
-
생각해보니까 세뱃돈 못받았네 4 0
이제 어른 되니까 세뱃돈 안주시는듯
-
-
지2황이 되고싶다 5 2
이정도면 되나요
-
(오르비 팔로워 수)/(인스타 팔로워 수) > 1 26 1
ㅁㅌㅊ?
-
나랑 친해질 사람 8 0
나로 말할 것 같으면 154cm 138kg 존예미소녀라고 할 수 잇음 아아 고백은...
-
서울대는 수잘이 국잘보다 머리 좋다고 생각하는걸까 17 1
서울대식은 수학표점 1.2배 해주잖아요 의도가 국잘보다 수잘이 머리 좋다고 생각해서...
-
1월 서프 탐구 등급컷 왜이럼 3 0
일단 난 저중에서 한지만 보긴 함 이개다 1주차만 들었고 나머지 싹 배경지식으로...
-
공부시간에 집착하지 말아야겠음 1 0
그냥 잠은 보통 7시간정도 ... 내 마음ㅁ대로 자고 기타 행동을 하는 시간 제외...
-
그래도 난 내 고향이 좋음 8 0
뭐 있는 게 없긴 하지만 난 논밭뷰도좋아
-
유튜브 보는데 이거 이상한데 5 1
이게 어떻게 소수지?
-
대전 << 비수도권 GOAT 7 4
개인적인 생각임
-
여주 잇올 기숙 질문 3천덕 0 0
여주 잇올 기숙 다녀보신분??? 쪽지주세요 3천덕 드립니다
-
정공 받았다 20 1
앗싸
-
근데 쿼티씨한테 5 2
쪽지 보내면 이모지 보내려나 아니면 글 쓰려나
-
나 여르비인가 4 0
ㅅㅂ 내가 꼬추달고 다리털 수북한 한남일리가 없어
첫번째 댓글의 주인공이 되어보세요.