귀류법으로 완전성, 공리의 성질 도출
게시글 주소: 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를 선물하세요.
-
아침은 1
롤체 5인큐
-
궁금해짐
-
이거 노력으로 더 올릴 수 있나요?
-
걍 장난으로 오늘 ㅇㅇ이 이쁜데!! 뽀뽀해도됑?! 이랬는데 해도된대서 했음; 이것이여고다
-
작수 본인 국 영 수 4등급이고 생윤 사문 노베입니다 대학다니다 6월말에 입대해서...
-
어떻게 쓰는거고 어떻게 얻는거에요?
-
헤어스타일 추천 19
그냥 다운펌이나 투블럭할까요 깔끔한 스타일 추천좀요 삭발제외
-
그건 바로 '나' 살기 싫음 ㅇㅇ 진심
-
이실직고해라KY
-
가기로 한 팟에 납치됨 그때도 내가 살아있을까
-
김동욱 독서 0
독서만 들으시는분들 그러면 문학 하실때 강의 안듣나요? 그리고 연필통은 푸시나요??...
-
두 분도 빨리 하시죠
-
복도에서 뛰다가 친구볼에 입술박은적 있음 아.
-
해강은 없는 거 같던데 올해꺼 기다리기엔 제가 성격이 급한편이라 빨리 풀어보고...
-
용돈 제외 알바 과외로
-
-
1. 이론 문제 풀이의 도입이 안 된다면 실험과 관찰(나열)을 통해 문제의 규칙을...
-
엉엉 10
수학도 3 영어도 3 심지어 고2 모고래
왜 글 안 씀
쓸게 없어서요
ㅠㅠ