귀류법으로 완전성, 공리의 성질 도출
게시글 주소: https://orbi.kr/00072268400
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가 거짓
--------------------------------------------------------------------------------
6과 7이 참이라고봄
결론
A가 공리면 A가 거짓이다
A가 참이면 A가 공리아님
------------------------------------------------------------------------------
음..
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
슬프다 4
내 인생
-
이건무슨밈이죠..
-
아 이제 쿠키 그만 구워야지
-
배아파 4
배아파
-
에휴
-
학교가기싫다 4
백수로있고싳어
-
인문논술 기출 0
인문논술 기출이랑ㅇ해설지 갖고계신거 아무건거나 올려주실수 있으실까요...ㅠㅜ
-
-
ㅇㅈ 해말 4
거북이닮음
-
ㅋㅋ 갇혓다 1
흐에
-
2.28.
-
봄이 와요 0
봄이 와 참고로 spring(봄)과 spring(용수철)의 어원은 같습니다
-
아니 문제는 잘푸는데 가끔 막히는거 보면 오랜만에 해서 그런가 누구 관성계인지...
-
아이디어랑 뉴런 다 샀습니다. 아이디어는 2월중으로 끝나는데 3월부터 뉴런하는거에...
-
-
영어기출문제집 기파급 좋나요? 어떤점이 마더텅이나 자이보다 좋으건가요? 상하로...
-
3월 입갤
-
혼자 놀고 혼자 웃고 혼자 밥머고 혼자 잠자고 혼자 오르비하고...
-
개강이 벌써 0
-
안녕하세요 '지구과학 최단기간 고정 1등급만들기' 저자 발로탱이입니다. 지난 1년간...
첫번째 댓글의 주인공이 되어보세요.