수학 파괴 증명
게시글 주소: 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를 선물하세요.
-
꿈을 쫓는 자는 14
언제나 아름답다
-
사탐 공부 기간 1
이번에 한지랑 사문으로 런을 해서 공부를 첫시작 했습니다. 평일에는 국영수 땜에...
-
고졸 칼 취업 0
4년제 대학교를 졸업한 사람과 그렇지 않은 또는 못한 사람간의 차이가 극복하지...
-
난 그거 못하는데
-
본인 어쩌다 기회 돼서 지금 학교 근처에서 어린 친구들 관찰할 일 있단 말임?...
-
샴푸가 다 떨어져서 비누로 머리감음... 넘 찝찝한데 편의점에서 샴푸 사서 다시 감을까요?
-
다 잘 때 됐잖아? 자 드가자
-
. 해 뜨고 봐요
-
주말에 자습관에서 애니를 와바박
-
다들 고마웠습니다 12
내일도 고마워주세요
-
ㅋㅋ
-
76점인데 2등급 나올려나요 집모긴함
-
남자 여자 각각 특징이 뭐가 있을까 제가 보기로는 남자는 확실히 이목구비 찐한...
-
기분이 울적해서 0
맥주한캔 하려고 했는데 건강생각해서 보류
-
ㅎㅎㅎㅎㅎㅎㅎㅎ 금방 정복해주마.
-
일요일 휴식
첫번째 댓글의 주인공이 되어보세요.