수학의 파괴와 재창조 증명
게시글 주소: 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를 선물하세요.
-
ㅈㄱㄴ
-
3모 29번에 1번 선지 행동같다=내면세계같다=동일시 매커니즘으로 풀었는데 틀림…...
-
05부터는 억까의 연속이네 2 1
킬러배제부터 시작해가지고… 어린친구들이 무슨 고생이냐
-
고3 3모 후기 11 0
국어 : 언매 & 80min --> 91 #9, #26, #32, #33 (방학...
-
금테 호?감고닉 하쿠입니다 2 0
흐흐
-
아직 시험지 안보고 컷 안봄
-
3모 결과 정리 0 0
화작 86 확통 77 5번,13번 계산실수 ㅠㅠ 영어 79 듣기 1,2번 19번...
-
오늘 그림 투고 1 1
흠.... 구도가 조금 삐뚤긴한데 유튭 10분보고 독학한 것 치곤 ㄱㅊ
-
화1 왜케 어렵냐 9 1
난도 이거 맞냐
-
고대 “미복귀 의대생 28일 제적 처리”…300∼350명 달해 6 9
고려대 의대가 등록금을 내지 않거나 복학 신청을 안 한 학생들을 28일 제적...
-
2025년 3월 2주차 韓日美全 음악 차트 TOP10 (+3월 1주차 주간VOCAL Character 랭킹) 2 2
2025년 3월 1주차 차트: https://orbi.kr/00072535483...
-
재수하면서 헬스 6 0
어떻게 생각하시나요 지금 하고있긴한데 체력적으로 더 힘들거나 그렇진 않아요 주 4회...
-
영어칠 때 급똥와서 2 0
개빡집중하고 풀었더니 95점 받음... 앞으로 영원히 똥참으면서 풀어야하나 ;;...
-
일찍 집 와서 한다는게 0 0
누워서 사람도 없는 오르비만 들여다보기... 외롭다.
첫번째 댓글의 주인공이 되어보세요.