수학의 파괴와 재창조 증명
게시글 주소: 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를 선물하세요.
-
현우진 : “역대급 3모” 8 3
우진이 3모 좋다고 하는거 처음보네 ㅋㅋㅋㅋ
-
화1 스피드 개념강의 있음? 2 0
화2도 있으면 추천좀
-
김범준 수강후기 0 8
수강후기 하나하나 주옥같네 ㅋㅋㅋㅋ
-
20수능 틀딱인데요 6 0
혹시 이 성적대 가지고 연고대 경영 다시 도전하려면 머리가 너무 굳었을까요..?...
-
동생은 올1에 탐구 5050 맞아오네 진짜 존나 현타온다
-
이쁘긴한데 왜 죽어서 오니 시계시계야..
-
고2 수학 28번 암산 8 1
보자마자 암산하고 1컷 92인가.. 함
-
빨리 빨리
-
스블 계속 나가는기 맞을까요 0 0
미적분 스블 연습문제 거의 다 못풀갰는데 해설강의 보면서 계속 진도 나갈까요 아니면...
-
3모 현장 수학 후기 8 0
아니 근데 21 실수할만한거 빼고 틀릴게 없었지 않나요. 물론 저도 실수가...
-
어디가서 서강대다닌다하면 학벌로 무시당할일 업죠 11 5
현실적으로 서강대 인문대 다닌다고 하면 무시할사람없겟죠
-
범바오 신발끈은 안쓰지만 이건 씁니다하고 가르치는게 0 1
신발끈 공식 아님? 아니 ㅋㅋㅋ 좌표로 넓이 구하는게 신발끈이잖아...
첫번째 댓글의 주인공이 되어보세요.