귀류법으로 완전성, 공리의 성질 도출
게시글 주소: 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를 선물하세요.
-
아이폰쓰시는분들 4
걍 100퍼까지 다 충전함??
-
.
-
나 옛날에 3
아무도 못 찾은 레전드 풀이를 찾은 적이 잇음.그 풀이는 딴 풀이보다 훨 짧앗을...
-
독서 0
유대종 + 국정원 어떤가요?
-
긁? 0
긁?
-
최저 맞추기 어렵나요..? 무조건 1 아님 2 해야하는데 하나는 사문 할거에요 생지...
-
더 풀다 토하겟다
-
다들 안녕히주무세요
-
시발비갤 이사람 8
이정도면 자기 얼굴 인증도 아이패드로 그린거 아님?ㅋㅋㅋㅋㅋㅋㅋ 진짜 넘 잘그리는데
-
섹준완 ㅋㅋㅋㅋㅋ 10
이게섹스가아니면머임?(진짜모름)
-
'마음'만 봐요
-
젭알
-
삼반수 예정인데 공부쉰지 오래돼서...1학기는 설렁설렁하고 2학기부터 빡세게하나요? 아님 1월부터?
-
성별 바뀌어도 똑같을듯 얼굴이 짱이다
-
하
-
상상 창작 재구성도 예술임
-
새터 다녀옴 8
06과 8살차이라니 (반수아님, 학생회땜에감 ㅎ)
-
하프모의고사 <-이3끼 왜하는거임? 대학도 반만 갈려고?
-
bis지문 왜캐 어렵냐 10
와 브레턴보다 어려운 것 같은데 이거 맞음?
-
다른 뛰어난 분들에 비해선 미천한지라... 그래도 볼만은 한가요..?
첫번째 댓글의 주인공이 되어보세요.