귀류법으로 완전성, 공리의 성질 도출
게시글 주소: 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를 선물하세요.
-
bis지문 왜캐 어렵냐 10
와 브레턴보다 어려운 것 같은데 이거 맞음?
-
다른 뛰어난 분들에 비해선 미천한지라... 그래도 볼만은 한가요..?
-
유튜브 복습영상을 들어야하는데 와이파이 방화벽으로 막아놔서 혹시 어떤 vpn써야...
-
https://orbi.kr/00072256981 절댓값 해석과 개형추론이 어려워서...
-
나스닥도 흐르고 5
내 kold도 흐르네
-
작수 공통 1틀 미적 2틀로 88점 1등급이였는데 어떤 강사님 듣는게 좋을까요?...
-
아이패드가 죽었오
-
오랜만에 ㅇㅈ 10
사진 안내립니다
-
인증이고 자시고 5
민지나 보고 가라
-
10주차 갑자기 합류해서 내일 수업 책이 오늘 배송왔는데 미리 풀어놓고...
-
(사람아니야)
-
근데 이제 못봄
-
나만 이거 볼때마다 개웃김? 난 둘 다 안 좋아하는데 이 사진 어디 올라오면 양쪽...
-
그냥 바나나랑 차이가 없어요
-
펜이 없네 5
무엇 ㅋㅋ
-
위협적인물도 2
아 내가봐도 사랑하기 존나빡세노 가던길가십쇼
-
함 풀어볼까 5
넘 어려울거 같은데
-
내 꼬라지가 성인이 아니네
-
ㄱㅇㅇ 4
-
빨리 취하는 게 좋음 돈 별로 안 들면서 취할 수 있잖음 축복임
첫번째 댓글의 주인공이 되어보세요.