귀류법으로 완전성, 공리의 성질 도출
게시글 주소: 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를 선물하세요.
-
위협적인물도 2
아 내가봐도 사랑하기 존나빡세노 가던길가십쇼
-
함 풀어볼까 5
넘 어려울거 같은데
-
내 꼬라지가 성인이 아니네
-
ㄱㅇㅇ 4
-
빨리 취하는 게 좋음 돈 별로 안 들면서 취할 수 있잖음 축복임
-
잔다 3
눈뜬 다음이 두렵구나 눈뜨지않길
-
슬프다 4
내 인생
-
이건무슨밈이죠..
-
아 이제 쿠키 그만 구워야지
-
배아파 4
배아파
-
에휴
-
학교가기싫다 4
백수로있고싳어
-
인문논술 기출 0
인문논술 기출이랑ㅇ해설지 갖고계신거 아무건거나 올려주실수 있으실까요...ㅠㅜ
-
ㅇㅈ 해말 4
거북이닮음
-
ㅋㅋ 갇혓다 1
흐에
-
2.28.
-
봄이 와요 0
봄이 와 참고로 spring(봄)과 spring(용수철)의 어원은 같습니다
-
아니 문제는 잘푸는데 가끔 막히는거 보면 오랜만에 해서 그런가 누구 관성계인지...
-
아이디어랑 뉴런 다 샀습니다. 아이디어는 2월중으로 끝나는데 3월부터 뉴런하는거에...
-
첫번째 댓글의 주인공이 되어보세요.