귀류법으로 완전성, 공리의 성질 도출
게시글 주소: 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를 선물하세요.
-
동테 너무어색함. 6 1
ㄹㅇ
-
대학 1년 다니다가 전역하고 독재학원에서 4년 만에 다시 공부 중인데요 고등학교...
-
국어는 실력 오르는게 눈에 안보이니깐.. 초조해져....ㅜㅜㅠ
-
이거 ㄹㅇ임??? 24 1
아니,,, 물리가 씹고여서 2문제틀려도 3등급으로 내려갈만큼 제일 ㅈ같다고 들었는데...
-
선넘질은 받아보겠읍니다 3 0
앞으로 오르비 활동을 다시 재개합니다
-
-
시그널 시즌2 언제 나오냐 2 0
나 재수하는데 진심 이번년도에만 나오지 마…
-
이번에 설대 컷 보니까 8 3
되는 과 썼었으면 업적달성 할뻔했네 업적: 국어 3등급받고 서울대 2번 붙기...
-
ㅇㅈ 진짜 아무도 못 봄? 12 0
용기를 가지고 한건데
-
디자이너쌤이 이뻐서 심장 떨림
-
힘든 삶이 좋아진다는 것 0 0
"불행도 인정하는것" 나는 또 불행해질 수 있지만 괜찮다. 다시 불행이 찾아오더라도...
-
ㅠㅠ
-
ㅇㅈ해주세여 2 1
ㄱㄱ
-
수1 강의 해드릴게요 10 1
우리 집으로 와요
-
치킨시킴 9 0
행복해
-
영어 오답하다 현타온점이 0 0
지불금액 듣기 틀렸길래 스크립트봤는데 대화 마지막에 ㅇㅇ 몇개 ㅁㅁ몇개 이런식으로...
-
너무 가능충이지만 좀 봐줘요… 3 0
투사탐하기로 결심했는데… 자꾸 물지가 아른거림 작수 나란히 3,4 등급인데 안정 2 만들기 될까요?
-
심심한데 8 0
뭐해야함뇨?
-
ㅇㅈ 본 사람 아무도 없다니 11 0
계속 남르비 행세함 그럼
왜 글 안 씀
쓸게 없어서요
ㅠㅠ