수학의 파괴와 재창조 증명
게시글 주소: 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를 선물하세요.
-
나 이거 밝혀지면 저격먹어도 할 말 없음
-
대충하는 고2 3모 성적 ㅇㅈ 11 1
담임선생님께 오엠알 검사 결과 여쭤봤었음 근데 수학이 2점...
-
킬러 정책 때문에 오지훈쌤 수업내용 작년이랑 뭐 달라지신거 있나요? 작년...
-
오늘 3모였군요 11 1
다들 잘 보셧나용
-
페라리 탈사람? 5 0
여느비구함
-
선양 바이럴 좆되네 0 0
오크 선양 <-- ㅈㄴ 실망스러움. 너무 단데 그 단맛이 너무 인공적임.
-
메가, 대성패스 환급 관련 4 0
꼭 모고 당일날에 채점해야만 하는 건 아니겠죠? 채점서비스 이용 가능 기간 언제든...
-
영화 '승부' 2 0
이병헌 연기 최고임 꼭 보셈
-
이번에 수학 진짜 잔실수도 많았고.. 약간 문제 읽는 것이나 조건 해석이 뭔가 렉이...
-
영어 독해 0 0
겨울방학 동안 매일 수능루틴 풀며 독해력을 길러왔고 그게 점수에도 나왔었는데 요즘...
-
재수생 3모 0 1
국어 잘하고 싶다
-
약빨이 큰가 0 0
메디키넷에서 콘서타로 바꿨는데 오늘은 집중이 잘되네 단기적인 건 아니겠지? 일단...
-
기분 존나 이상하다 0 2
작년에 재수생들 3모 88 92맞고도.. 수학이 어렵다,, 이러면서 곡소리 내는 거...
-
아 수시할걸 4 0
아
-
한대산 영어의 InDePTh 독해 개념서 제작이 끝이 났습니다. 이제 검토진 서평만...
첫번째 댓글의 주인공이 되어보세요.