수학의 파괴와 재창조 증명
게시글 주소: 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를 선물하세요.
-
괴물같이 생겻어 2
눈물나
-
우선 저는 고2 08년생 정시러입니다. 국어공부를 한 번도 해본 적 없고 이번에...
-
국어가 너무 아쉽네요ㅠㅠ
-
해설 필요한 문항들 있나요? 질문들도 있으면 댓글 남겨주세요 오랜만에 유튜브 켤까...
-
24수능 9등급 25 3모 집모 4등급 25수능 3등급 끝나고 5개월 공부 안하다가...
-
비문학 못하면 나가뒤지라는 느낌
-
국어 문법 - 그냥 저냥 잘 풀리는데 하나 실수함 비문학 - 철학지문 하나 시간뺏기...
-
2컷 블랭크 가능하다고 보시나요? 20분컷 50점인데 제가 물리를 이렇게 빨리...
-
뭐라고 질문할까? 누군지는 블라인드
-
정부 개입 전 국밥유형 특수특수 개특수.. 이건솔직히표만써도이해될것임.. 그저...
-
티 많이 나는데 흠.
-
3월 망해도 수능 잘 보는 사람은 ㅈㄴ 많다. 반대로 3월 잘 봐도 수능 ㅈ대는...
-
학평을 잘 본것으로 자만하지 말고 너무 못봤다고 낙담하지도 맙시다 남은 기간은...
-
나는 교사의 꿈이 간절한데 내 수시 성적으로는 교대를못가니까… 어쩔수없이 정시...
-
3모 국수 씹턱걸이 찍맞 포함 개억지 3컷인데 해볼만 한가
-
1만군단이어도 너무한거아니냐
-
친구껀데.. ㄹㅇ 어케햇지 ㅋㅋㅋㅋ
-
공부ㅇㅈ 3
-
응애 나 04년생 현역
-
답은 이미 나왔는데, 지금도 여기 댓 달면 대산님이 1000덕 보내 주심
첫번째 댓글의 주인공이 되어보세요.