수학의 파괴와 재창조 증명
게시글 주소: 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컷 -> 2컷 됐는뎈ㅋㅋㅋㅋㅋㅋㅋㅋㅋ 솔직히 6 9 16 18 틀린 건 ㅇㅔ바임...
-
오늘 그림 투고 1
흠.... 구도가 조금 삐뚤긴한데 유튭 10분보고 독학한 것 치곤 ㄱㅊ
-
난도 이거 맞냐
-
고대 “미복귀 의대생 28일 제적 처리”…300∼350명 달해 6
고려대 의대가 등록금을 내지 않거나 복학 신청을 안 한 학생들을 28일 제적...
-
현역 채점 결과 7
고2껄로잘못채점함
-
2025년 3월 2주차 韓日美全 음악 차트 TOP10 (+3월 1주차 주간VOCAL Character 랭킹) 2
2025년 3월 1주차 차트: https://orbi.kr/00072535483...
-
재수하면서 헬스 6
어떻게 생각하시나요 지금 하고있긴한데 체력적으로 더 힘들거나 그렇진 않아요 주 4회...
-
손 나가기 전에 최대한 머리 쥐어짜면서 생각해야되는거에여? 아니 말이 안되네요 그냥...
-
개빡집중하고 풀었더니 95점 받음... 앞으로 영원히 똥참으면서 풀어야하나 ;;...
-
누워서 사람도 없는 오르비만 들여다보기... 외롭다.
-
사실 더 떨어짐 방어만 해도 성공
-
어디에 연락해야 하는걸까요? 고3 때 담임선생님께 톡넣으면 되나요?
-
2025년 시행 고3 3월 학평 국어 총평(ft. 문학 지문분석 무료배포) 0
안녕하세요 나무아카데미입니다. 3월 26일 전국연합학력평가가 실시되었는데요, 따라서...
-
안녕하세요! 생명과학 1 과목을 가르치는 하드워커입니다. 오늘 치러진 3모의 생1...
-
3모 수학 공통, 기하 손풀이, 영상, 주요 문제 총평(?) 4
안녕하세요 공부하는데 집중이 안 돼서 3모 수학 관련해서 글이나 한 번 써볼까 해요...
-
3모 후기 0
영어는 귀찮아서 안봄요 작 3모 34222 작 수능 43312 올 3모 21x11...
-
등급 차이 심하나요 ? N수생 분들..
-
. 12
-
-
나도 참전할까 2
첫번째 댓글의 주인공이 되어보세요.