수학의 파괴와 재창조 증명
게시글 주소: 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를 선물하세요.
-
99 90 3 100 99 현역이고 화작 확통 정법 사문 입니다
-
1. ∀x (¬R(x) → M(x)) (현실에 존재하지 않으면 마음속에 있다) 1의...
-
한달동안만 ８만５천원에 무제한으로 볼수있는게 ㄹㅇ좋은듯 근데 이거 이번년도 내내...
-
사람 명예라는게 생각보다 무섭구나 서민이라 다행이다
-
-
군 전역 하고 수능 쳐보려는데(공부 손 놓은지 2년됨) 화작 확통 영어 사문 생윤...
-
존재 증명 1
1. ∃x ¬R(x) (현실에 존재하지 않는 것이 있다) 2. ∀x (¬R(x) →...
-
메가스터디 명문대 멘토링 이거 무슨 글인지 아시는분 계시나요? 0
서울대 의대생이였고 수시로 갔던거같아요 방학에 스카?기숙학원에서 여자애랑 쌈탔던...
-
3000만명 쓰는 ‘국민앱’ 만들었던 중학생...“제가 도전할 다음 분야는” 8
토스 ‘틴즈팀’ 최형빈 씨 인터뷰 코로나나우 3000만명 이용 ‘대박’ 고등학생 때...
-
ㅇㅇ 도저히 이해가 안돼서 분석을 포기함 현장에 저런거 나오면 난 아예 안풀고 찍을란다
-
-
왜 원순짓했냐 ㅉ..
-
ㅋㅋㅋㅋ
-
는 거짓말쟁이 문장이다
-
드릴 풀만한가여
-
입시할 때 뭔가 부족하다거나, n제 실모 풀다가 슬럼프 올 때 마다 뉴런 다시 쭉...
-
오늘은 6월 3일인데 왜 이리 글들에 구라가 넘쳐나나요 0
진짜 모름
-
출근도장 6
쾅! 오늘하루도 힘내
-
노엘 아부지… 2
어…
-
연고대는 서로 과잠 바꿔입던데 연고대 말고 다른 학교들도…
-
잘가요
-
.
-
작년 공익근무 하면서 수능 봤는데요 전과목 백분위 화작기하영어화1지1 94 99 2...
-
기다리다 목빠지겟네
-
장제원 뭐꼬 0
음......,?
-
ㅇㅇ
-
재밌네 ㅋㅋㅋㅋ
-
ㅇㅇ
-
구라 안 치고 패딩 입을 날씨 같은데
-
힌트) 무게중심은 써먹기 좋다
-
젭알
-
배고파요...으윽...
-
고등학교 휴학 관련 아시는 분 쪽지 좀 주세요ㅜ
-
장제원 죽었네 3
업보라는 게 있는 거 같기도 하다
-
4월 맞음? 2
이거 날씨가 4월이 아닌데 존나 추운데
-
너무 피곤해 4
한숨만 자고 가자..
-
얼버기 2
부지런행
-
내가 왜 지각 해야 하는거냐고
-
왜냐면 이제부터 기다림이 24시간이 넘을 때마다대가리를 존나 쎄게 쳐서 제 머릿속을...
-
죽어도 정치는 하지 말아여지 ㄹㅇ 느와르판이네
-
야 공부하냐? 9
모범생인척 하지마 ㅋㅋ
-
뭐야 잠다깻다 0
말도 안돼ㅐ
-
-
-
[속보]장제원 전 의원, 어제 밤 오피스텔서 숨진 채 발견 27
장제원 전 국민의힘 의원이 숨진 채 발견됐습니다. 경찰에 따르면 장 전 의원은...
-
아 ㄹㅈㄷ 피곤 0
미치겠네
-
어르버르기이 0
-
-
[속보] 장제원 전 의원, 어젯밤 서울 강동구서 숨진 채 발견 3
연합뉴스 자료사진 [속보] 장제원 전 의원, 어젯밤 서울 강동구서 숨진 채 발견
-
D-226 0
영어단어 영단어장 day 12(480단어)모르는 어휘 복습 수특 3강~도표...
첫번째 댓글의 주인공이 되어보세요.