수학 파괴 증명
게시글 주소: 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를 선물하세요.
-
시대인재 볼텍스 0
시대인재 볼텍스 손풀이 해설영상 아직 리클래스에 올라온건가요???????? 진짜...
-
지인선n제 풀까
-
화1 유지 및 국수영 투자 vs 화1 대신 노베 지1 공부 0
안녕하세요, 현재 다수의 의견에 추천을 받아 화1 대신 노베 지1 개념 및 기출...
-
롤렉스 청콤 아니어도 씹병신 이미지임?
-
그냥 독서실보단 독재가 낫긴할까요? 브모님이 도와주신다고는 하는데 너무 죄송해서...
-
다른 과목들은 방향이나 실력 향상 등 안정되고 있다 생각이 드는데 영어는 어떻게...
-
르 2
르
-
비 2
비
-
잘자 9
-
드릴릴드 유기 0
수2 드릴드의 드릴1 미분까지 풀었는데 34문제 중에 9문제 틀렸어요 유기하고 드릴...
-
컨텐츠가 너무 많아서 고민돼여 여러개 추천해주셔도 돼요 작년에...
-
국일만 때 봤는데 저런게 있었나
-
그보다 Ado 얼굴 보고싶다
-
기븐 째지네 날씨 좋았으면~
-
e^0=1이죠 8
왜 e라 썻지
-
-
요즘은 많이는 안된다고 듣긴 했는데 4덮부터 몇개는 연계 되려나
-
이번년도에 의대증원 안되면 Team07에는 좋은건가요 나쁜건가요?
-
27번 3점까지는 되게 쉬운척하더니28,29,30 다 계산능력이 진짜 많이...
-
1컷 한 10점씩 내려갈듯..
첫번째 댓글의 주인공이 되어보세요.