수학의 파괴와 재창조 증명
게시글 주소: 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를 선물하세요.
-
아직 안왔는데 이상한거 아니죠?
-
약간 스토쿠 푸는 느낌임
-
반수안합니다. 4
사유:공부를 너무못해서
-
전형이 좀 크게 바뀌는 건 절평 첫해인 18학년도 이후 거의 8년만인듯 한데 1....
-
실시간으로 게임처럼 즐기며 친구와 대결하면서 공부할 수 있음 상대방을 견제하기 위해...
-
시원시원하게 풀리는 맛도 없고 문제는 더럽게 많고 개어이없이 틀릴 때도 많고 도저히...
-
'순대 6조각에 2만5000원?' 제주 벚꽃축제 바가지 논란 8
제주에 봄꽃이 만발하면서 제주시 전농로와 애월읍 장전리 등 벚꽃 명소에서는 내일까지...
-
아니 이럴리가 없는데 뭐야
-
애니 추천 0
크라이시스 융 잔인하거나 노출 많은거 못보면 보자말것
-
시발 좆됐다
-
사람은 결국 모두 혼자고 아무리 가까이 붙어 있어도 하나는 될 수 없으니까......
-
확통 전범위인가요?
-
오랜만에 이륙하는구만
-
https://orbi.kr/00072650760/pc%EB%B0%A9%EC%97%9...
-
5모 6
국어 1컷 72 수학 1컷 71 영어 1등급 0.03퍼 물1 1컷 34 화1 1컷...
-
누구? 메인글 뭐노
-
전 칼럼 보이면 그게 도움이 되던 안되던 좋아요 누름 4
열심히 썼는데 이륙 안되면 슬플꺼아니야..
-
벌써일년 4
-
학교마다 다른가
-
그 날도 오늘처럼 꽃샘추위가 기승을 부리던 날이었지. 'CAU' 야무지게 박힌...
-
-
ㅇㄱㅈㅉㅇㅇ?
-
흠.
-
허허…
-
저는 ADHD라는 지병이 있고 아직 약 안정화가 안 돼서 브레인포그온건데 왜그게핑계죠 ㅈㄴ우울
-
제주도에 사는데 나 만나러 비행기타고 와줄사람
-
드릴마렵네
-
------------------(기만 방지 선)-------------------...
-
마더텅이랑 병행을 해야하나요?아님 그냥 그 문제집만 풀어도 될까요?양이 되게 많아서...
-
오 수능1112로 교대를? 교대에 사명감이 있었나 뭐 그런갑다 치자 근데 8년차라고...
-
그래도 아에 발상조차 하지 못한 채 틀린 것보단 나으니 성장 가능성이 다분하네,...
-
잇올 홍보대사 3
이정도면 장학금 줘라
-
수특 난이도랑 비슷한가요???? 쉬운거 먼저 풀고싶은뎅
-
바람을 세로질러 0
날아오르는기분
-
둘 중에 무슨 문제가 더 쉽나요?
-
공통25 + 선택미적분5 체제여서 선택미적분 난이도 올릴 이유가 없었고 공통 수2...
-
이다지 이미지 1
솔직히 자매라고 해도 믿을 듯 둘이 닮앗는데 이름도 비슷함
-
건강 이슈 해결 완료
-
국어랑 화학 하러간다
-
왜이러지ㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠ 원래 주말에 10시간씩 공부했는데ㅡ요즘엔 2시간도ㅜ겨우채움
-
생2 적합성 테스트용 기출 변형 문제 이게 원본 문제 220911...
-
고3 학종 1
제가 1학년 때부터 뇌과학에 관심을 가지고 2학년 때 뇌과학 관련해서 탐구를...
-
토요일 저녁 11시
-
오르비에서 해소좀 해볼까 ㅎㅎ
-
가형 노인네 특 7
지금 수학기준 선택미적분만 못하는 경우 꽤 있음 이유: 늙어서 계산이 안됨
-
트러스 후기 3
많이 쉬워요 수학 좀 한다하는 사람이 사면 돈 아까울 듯합니다
-
메시지엔 반박 못 하고 메신저 인신 공격만 일삼는 오르비언들이 그저 한심하구나....
-
사문런 시간부족 4
사문으로 도망왔는데 1단원 기출 푸는데 양질적연구랑 질적연구 예시 상황 문제에서...
-
-
아오 병신새끼
첫번째 댓글의 주인공이 되어보세요.