수학 파괴 증명
게시글 주소: 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
약간 윤가민 느낌임
-
찐 자러감 3
빠이룽
-
진화하면 스컬그레이몬이 된대요
-
선착순3명천덕 17
.
-
여르비 글에는 댓글 달고잇음
-
..
-
ㅇ
-
폐경도 완경이라고 해야하는 신세대가 오고 있는데 폐강이라고만 부르는 것은 시대...
-
프변함 5
안녕
-
떡밥뭐임 7
?
-
중력의힘을 거역할수 없으니까
-
20일은 길다..
-
"실전 모텔"
-
분신술 써서 개념글 올림
-
국가망입니다 하위하위
-
합격증주작 에타주작 학교생활은 망상으로 생각해낸거임
-
근데 덕코 없이 닉네임 바꾼 분들은 20 일을 어찌 참아내려고
-
저 사실 07임 0
.
-
하아으아앗앙 4
그럼 걍 안에 할게 ㅎㅎ
-
전 후 흠... 지피티로 이런 거 됨?
-
퇴근하고 오르비하는중
-
논술을 해야하나 1
어짜피 할꺼면 빨리 시작하는게 낫지 싶으면서도지금 딱 현상황으로는 할 생각이 아예...
-
나중에 다시 올리긴 그렇고.. 걍 알아서 읽을 사람은 읽겠지
-
개허수라 죄송합니다...
-
ㅇㅅ빔 2
뷰르릇
-
문제풀때 유용하게 사용됩니다.
-
나보다 팔로워 적은거보니까 짭이네 ㅡㅡ
-
으으읏 근 하지마~~
-
가보자기
-
안녕하세요 물괴물괴입니다. 오늘은 제가 현역정시설의를 쟁취할 수 있었던 가장 큰...
-
.
-
나쁘지 않을지도..
-
?
첫번째 댓글의 주인공이 되어보세요.