귀류법으로 완전성, 공리의 성질 도출
게시글 주소: 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를 선물하세요.
-
２월부터 시작하는 시대인재 재수정규반이랑 ６월에 시작하는 반수반의 커리큘럼 상의...
-
저런인간이 초등교사면 애들이 너무 불쌍한데 아하 반면교사도 교사군아
-
내일 얼버기 후 열공 후 3모 13222 맞고 서울대 간다 5
아자아자아자아자
-
서울대 내신 7
출처: 서울대학교/입시/정시 나무위키 "따라서 현재 서울대는 정시 100%가...
-
고1 모고까진 잼있게 했는데 고2오고 오시발을 느껴버림
-
기출 처음 하는건데 기코로 하는게 좋을까요?
-
자유경쟁시장에서 휴발주자가 놓으려는 사다리를 걷어차고 지들끼리 해먹으려는 속셈이 넘...
-
어 형은 노벨상 받기 6개월에 샀어~
-
ㅋㅋㅋㅋㅋㅋ 왜? 원초적 질문
-
수학기출문제집 추천 받습니다. 인강샘 기출문제집은 비싸기만하고 문항수도...
-
기현쌤 스키장썰 0
아이디어 몇강인지 아시는분..
-
완전 피곤하네 3
피곤 덩어리여 그냥
-
공통,미적반 다 듣는거 어케 생각? 작수 백분위 88
-
1학기 시간표 7
-
왜 글 안 씀
쓸게 없어서요
ㅠㅠ