귀류법으로 완전성, 공리의 성질 도출
게시글 주소: 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를 선물하세요.
-
미적 문제 오류아닌가요?? 0 0
(나)에서 근 두개나올때 점 A를( a,a^2)라 하면 경우가 2가지가...
-
저만 알바구하기 힘든가요 1 0
알바 3개정도 지원했는데 2개는 씹혔고 1개는 면접도 보고 2월 말에 연락준다했는데 연락이 안옴..
-
이 새벽에 막창 시켜버림 11 2
여기가 신촌 막창 배달 맛집이라는거임
-
유튜브 보다가 수능 인문지문 최고난도로 헤겔/에이어가 언급되는거 보고 궁금해서...
-
송도학사 기숙사침대 2층 16 0
뭔가 아지트같은 느낌날것같아서 오히려 1층보다 끌리는데 오산이려나요... 먼가...
-
씁쓰름한 밤이구나 8 2
막상 여기서의 마지막 밤이라고 생각하니 아쉬운걸료 복합적인 감정이 드네요...
-
애교 많은 남자 어떰 6 1
나 귀여워해주ㅜ라
-
여장 15 0
해보고싶은데 골격이 쓸데없이 크고 키도 큼...
-
근데 여기 입시커뮤 맞냐 10 1
시작한 지 3일 됐는데 본 건 잡담글이랑 ㅇㅈ뿐인데
-
? 이거 사 보신 분 있나요? 굳이인가요? 수특은 풀고 있고 강E분 살까 생각중이에요
-
육준서는 왜케 여론이안좋지 7 0
난 육준서 솔로지옥 나온대서 제2의 덱스될 줄 알앗는데 덱스는 무슨 걍 중안부 긴 미친놈이 돼버렸노
왜 글 안 씀
쓸게 없어서요
ㅠㅠ