수학의 파괴와 재창조 증명
게시글 주소: 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를 선물하세요.
-
귀류법 1. (A가 거짓->모순)->(A가 증명있음) 1의 대우명제 2. 2....
-
많이울었다오늘 1
이제다시힘을내보자!!!!
-
이제 집가서 맛난거 많이 먹어요!! 학원 가는 분들은... 힘내요...
-
3모 어땟나용? 2
퀄은 또 어떤 거 같나욥?
-
빡센거 같긴 한데.... 질문은 댓글이나 쪽지로ㄱㄱ
-
비주얼만 보면 쉬워보이는데 난이도 어땠나요
-
영어 공부안한지 몇년되어서 기본적인 단어도 다 까먹었는데 단어장 통으로 보기에는...
-
현역 3모 2
언매83 미적76 영어73 지구47 2231이려나?
-
다른시험이랑 병행이 가능한건지 모르겠음.. 실험조차도 예습 빡세게해야 진행가능하고 하
-
갑니다 0
-
와 시발 레전드
-
지금 고3 현역이고 원래 계획은 수능을 화1 지1으로 응시할 예정이었는데 화1이...
-
오늘 결과에 충격 받고 자극제가 되었다면 가장 좋습니다 그런데 아마 이따 등급컷이...
-
모든 일들이 다 잘풀리네 ㅋㅋㅋㅋㅋ 저번에 체포영장 발부 기각된 것부터 오늘 무죄에...
-
3모 수열만 풀어도 됨?
-
5번 6번 틀린거 너무 아쉽네요...
-
걍 여기다 자랑과 기만들 하고 가줘요 전영어98뿐임
-
ㅈ됫네진짜
-
고1 2학기 중간때 오늘 수학 15번같은 문제 나왔음 3
그땐 정의역 치역도 한정되어있고 1차랑 2차로 줬음 그때도 일대일대응 정의에...
첫번째 댓글의 주인공이 되어보세요.