귀류법으로 완전성, 공리의 성질 도출
게시글 주소: 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
생윤 사문or 쌍윤할건데 이지영쌤하고 임정환쌤중 장단점 알려주시고 추천해주세요...
-
2주 뒤에 뉴런 시냅스 다 끝나면 시작할 예정이지만 이것저것 사는김에 미리...
-
자기 방법론으로 공부한 결과가 4-5등급이면서 자기보다 훨 공부 잘하는 사람의...
-
[단독] “트럼프 폭풍 韓 첫 직격”…알루미늄 제품에 관세 85% 때린다 4
中 원자재 사용 우회수출 판단 韓 제품 모두에 중국 관세 적용 ‘중국 하청기지’...
-
김승리 허슬 3
tim살때 허슬테스트도 사야되나요?
-
개학앞두고 띰14까지 2회독 후루룩 함 1회독: 인강 본책문제 시냅스 2회독:...
-
제 취향은 닝닝 민지 오해원
-
난 바보임 10
뻥임뇨
-
반수생 0
제가 작수 생윤 사문했는데 작년엔 이지영쌤 들었습니다 이번엔 임정환쌤 들어보려고...
-
?
-
그렇게 정했음
-
위니비니 젤리 왜이렇게 맛있음? 신맛 나는 젤리 최고임
-
광고모델 비싼값 주고 고용하지말고 책값이나 내리고 강사들 업무부담이나 내렸으면...
-
아힘드러 1
하 그냥 수능공부나 해야겠다진짜 진짜사람좀만있으니까 리안드리악포유성메자이풀스택티모버섯임
-
내 여친 5
진짜 결혼하고 싶다
-
둘이 시비붙어서 말싸움하게되면 누가 이길까
-
독서 0
유대종 + 국정원 어떤가요?
-
최저 맞추기 어렵나요..? 무조건 1 아님 2 해야하는데 하나는 사문 할거에요 생지...
-
어떤강사의 어떤강의 추천하시는거 있나요???
-
대학교에서 정시보다 수시를 선호하는 이유가 있긴 한듯 3
수시는 5광탈로 온 경우 빼면 대체로 학교에 충성심이 높은데 정시는 반수할 생각...
-
제 잡담 꺼주세요
-
넵
-
무물보 12
-
에타에 스터디그룹원 모으는 글 올리는 거 별로일까요? 1
학교가 그다지 명문대가 아니라 노는 분위기에 휩쓸릴까봐 도서관 스터디룸에서 시험공부...
-
국어 인강 들어본적 없고 따로 뭐 하지도 않았어여. 그냥 방학동안 간쓸개만 벅벅...
-
토할거같고 현기증나서 기절할뻔했음 비유가 아니라 진심으로.. 저는...
-
오르비 4일차 2
배운거라곤 …정신에 해롭다
-
당연함 남고임
-
10주차 갑자기 합류해서 내일 수업 책이 오늘 배송왔는데 미리 풀어놓고...
-
구해요
-
히힛
-
신택스 알고리즘 수능루틴 하고 있는데 기출은 따로 혼자 해야 하나요?
-
약같은거 먹으면 좀 살만해지나요? 퇴소고려하고있는데 약먹고 많이 호전되면 계속 다니려구요!!
-
내신 성적이 1-1 약 3.8 1-2 약 3.9 2-1 약 3.1 2-2 약 3.4...
-
재수하니까 시간 참 빠르구나 순식간이네
-
ㅈㄱㄴ
-
여친사귀고싶다 6
어디 가서 사귀냐…
-
저는 가재맨 시청자에요!!
-
군필~~~
-
인문논술 기출 1
인문논술 기출이랑ㅇ해설지 갖고계신거 아무건거나 올려주실수 있으실까요...ㅠㅜ
-
저도 휴릅합니다 5
윈터 다니면서 공부 조언 얻으려 들어왔다가 정시 원서스쓰고 합격증 인증하고 하는 거...
-
2.28.
-
고2 3모 72점인데 3모까지 1등급 만들기 ㄱㄴ? 3
제발..ㅜ
-
봄이 와요 0
봄이 와 참고로 spring(봄)과 spring(용수철)의 어원은 같습니다
-
아니 문제는 잘푸는데 가끔 막히는거 보면 오랜만에 해서 그런가 누구 관성계인지...
-
화이팅 1
-
Team07 모여봐요 여기야 여기
-
내 미래 대학 성불을 위해 질끈.. 즐르비하세요
-
3월 입갤
-
시간 개빠르네
첫번째 댓글의 주인공이 되어보세요.