귀류법으로 완전성, 공리의 성질 도출
게시글 주소: 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를 선물하세요.
-
옯붕아.
-
팀원 중 한명 닉이 ‘소신’ 이었는데 뭔 챗 칠때마다 팀원들이 소신발언 ㄷㄷ 이럼...
-
제발 알려주실분 17
누구말이맞는거같음? 고작 대만식당메뉴판읽기하려고 한문을 정규교육과정에...
-
오르비에서는 괜찮지만 외부에서 하면 큰일 나는 짓들 3
애니 프사 / 아이돌 프사 / 디시콘 프사
-
플래너 쓸때 2
아침에 그날할거 쓰는거임 아니면 자기전에 내일할거 쓰는거임 둘다 많이한다면 추천하는거 머임
-
츄 링 럽 0
미츠메앗탓닷테토케나이메로
-
아싸라 그런거 없음
-
ㅈㄱㄴ
-
4기 제작 결정 많관부!
-
누구뽑을꺼 같나요? 학점 같을때
-
반박해보시죠
-
아니,,, 지금 찾아보기 귀찮아서 그렇지,,, 예전에 과탐관련글에서 물화생지중에...
-
선넘질받 2
ㄱ
-
그런가요?
-
문제 좀 7
심심한에
-
왜 글 안 씀
쓸게 없어서요
ㅠㅠ