수학의 파괴와 재창조 증명
게시글 주소: 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를 선물하세요.
-
재수하면서 헬스 6 0
어떻게 생각하시나요 지금 하고있긴한데 체력적으로 더 힘들거나 그렇진 않아요 주 4회...
-
영어칠 때 급똥와서 2 0
개빡집중하고 풀었더니 95점 받음... 앞으로 영원히 똥참으면서 풀어야하나 ;;...
-
일찍 집 와서 한다는게 0 0
누워서 사람도 없는 오르비만 들여다보기... 외롭다.
-
사실 더 떨어짐 방어만 해도 성공
-
2025년 시행 고3 3월 학평 국어 총평(ft. 문학 지문분석 무료배포) 0 1
안녕하세요 나무아카데미입니다. 3월 26일 전국연합학력평가가 실시되었는데요, 따라서...
-
안녕하세요! 생명과학 1 과목을 가르치는 하드워커입니다. 오늘 치러진 3모의 생1...
-
3모 수학 공통, 기하 손풀이, 영상, 주요 문제 총평(?) 4 2
안녕하세요 공부하는데 집중이 안 돼서 3모 수학 관련해서 글이나 한 번 써볼까 해요...
-
국어 3모랑 평가원 시험이랑 2 0
등급 차이 심하나요 ? N수생 분들..
-
-
나도 참전할까 2 0
-
3모 영어 1등급 비율 3 0
1퍼대 뜨려나요
-
[3모 화1] 동위원소, pH 문항 + ㄱㄴㄷ 간단한 팁 4 12
화1 손풀이를 올리려고 했는데 메인에 이미 있더라고요 그래서 메인이랑 겹치지 않는...
-
괴물같이 생겻어 2 1
눈물나
-
국어 인강 질문 받아주실 분… 2 0
우선 저는 고2 08년생 정시러입니다. 국어공부를 한 번도 해본 적 없고 이번에...
-
아쉬운 현역 3모 결과 2 0
국어가 너무 아쉽네요ㅠㅠ
첫번째 댓글의 주인공이 되어보세요.