수학의 파괴와 재창조 증명
게시글 주소: 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
어떻게 생각하시나요 지금 하고있긴한데 체력적으로 더 힘들거나 그렇진 않아요 주 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
-
1퍼대 뜨려나요
-
부모님이 봉투모의고사 잘 안 풀어진다고 검더텅 이런거 풀어라 하시는데 솔직히저도...
-
[3모 화1] 동위원소, pH 문항 + ㄱㄴㄷ 간단한 팁 4
화1 손풀이를 올리려고 했는데 메인에 이미 있더라고요 그래서 메인이랑 겹치지 않는...
-
열심히 일을 하네 뚠뚠 근데 저 왼쪽 브?금 들으면서 하면 좋아요 ㅎㅎ
-
괴물같이 생겻어 2
눈물나
-
우선 저는 고2 08년생 정시러입니다. 국어공부를 한 번도 해본 적 없고 이번에...
첫번째 댓글의 주인공이 되어보세요.