수학 파괴 증명
게시글 주소: https://orbi.kr/00072652383
모순과 거짓의 관계
모순<->(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가 적어도 하나 존재한다는것
그리고 거짓과 모순이 동치이므로
모순인 공리가 존재한다는것.
모순이 발견되면 모든 명제가 참이됨
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
좀 낯설고 어려운데 걍 버티면 괜찮아지나요…?
-
지인선 4회 2
무지 어렵네
-
흐물흐물 8
물컹물컹
-
요즘 웹툰은 휴재하고 복귀하면 작가 바뀌는 게 유행임? 1
아니 그림체 왜 다 ㅋㅋㅋㅋ
-
원래 커뮤니티 라는게 본인이 쓰고싶은 글 있으면 쓰고 그게 ㅈ같으면 안보면 되는데...
-
그냥 어감 자체로 뭔가 압도적이지 않음? 그냥 무서움
-
처음에 딱 페이지 넘기면 긴장되서 머리가 잘 안돌아가는데 언매 37번부터 푸는게 그나마 나을까요
-
무슨 글을 쓰지 3
-
현역들한테도 쉬운 시험이였을것 같긴 한데 어느정도였나여? 막 존나 쉽노;;...
-
내가 하루종일 잇어서 잘 알고 잇음
-
넵
-
오르비 꺼야겠다 3
재미없어졌다
-
세상에 나보다 병신이 많은걸 알게 해줌 정치성향,성별,나이 관계없이
-
다른건 다그렇고 본인들 스스로 명문 거리는건 좀 재밌네요 ㅋㅋㅋㅋㅋ
-
중학교 성적표 그림판으로 한 픽셀씩 고쳐서 올 A 만들고 엄마 보여줬음 근데 중학교...
-
오늘 3모 풀어봤어야 했는데 늦잠자서 담주에나 볼 거 같은데
-
진짜 세상이 날 따시킨다니까
-
이 수강후기를 기반으로 작성되었습니다 검색어 범준 범바오 스블 카나토미
-
-
D-227 0
영어 모의고사 분석 영어단어 day1(80단어) 생윤 1단원 복습 2단원 진도 수학...
첫번째 댓글의 주인공이 되어보세요.