귀류법으로 완전성, 공리의 성질 도출
게시글 주소: 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를 선물하세요.
-
중학 수학 이거 풀어주실 분 8 0
부탁합니다
-
부산, 울산, 경남 지역의 인구 감소가 심각한 수준에 이르고 있습니다. 특히 부산은...
-
오늘은 머리가 안 돌아가네요 0 0
문제가 안 풀리고 연구가 잘 안 되네요 기분전환 겸 대학교 통계 공부 후 중고등...
-
우리 룸메들은 죽었나 4 1
ㄹㅇ 이정도면 생사가 의심됨 ㅋㅋㅋㅋㅋㅋㅋ
-
삼도극 공부 하시나요? 2 0
전형적인 허수 맞습니다 삼각함수 도형 극한, 무등비 프랙탈 공부하시나요? 의견주세용
-
Zola임당 정신교육이라는 단어가 좀 마음에 안들기는 하지만.... 여튼 유투브로...
-
이정도면 하루 루틴 어떤거임? 2 0
7시20 기상 8:30 재수학원 도착 후 30분정도 그날할거 생각하고 자리치우고...
-
어케함 운동해야되나
-
흥미로운서울대문과입시 2 0
아 수능 개잘봤다 어 근데 제2외가 왜이러지… 설경 될거같은데 뭔가 쫄리네 농경제로...
-
PC방이랑 스카에서 8 0
안쓰는 자리에 물건 올려놓지 마라 형한테 존나 맞는다
-
사탐강사 추천 1 0
생윤 사문or 쌍윤할건데 이지영쌤하고 임정환쌤중 장단점 알려주시고 추천해주세요...
-
국방부, 사직 전공의 880명에게 입영 통보… 나머지 2400명은 최대 4년 대기 5 1
군의관·공보의 입영 대상자 확정 국방부가 27일 올해 군의관·공보의 입영 대상자를...
-
화장 안하면 민폐같냐? 7 2
전엔 신경 안썼는데 미3누 허수 판독기보면 대부분 예쁜 애들에 다 화장 빡세게...
-
추가모집은 수강신청 어케함여? 2 0
-
둘 다 너무 좋음. 어차피 할 거 멋있는 언어 하고싶어용 더 멋있는, 부티나는 언어 골라줘용..
-
물2 수능특강 과?조건 4 2
물2 수능특강 25쪽 9번 문항인데 B의 최고점 높이가 L인 조건이 없어도 tan...
-
니들은 삼수하지 마라 8 1
새터 갔다가 X맨 아니냐는 소리 들었다... 시발
-
아힘드러 1 1
하 그냥 수능공부나 해야겠다진짜 진짜사람좀만있으니까 리안드리악포유성메자이풀스택티모버섯임
-
조정식vs 현우진 2 0
둘이 시비붙어서 말싸움하게되면 누가 이길까
-
작수 5인데 지망하는 학교가 가산 3퍼 있어서 확통 안하고 기하 하는 중인데 바보짓인가요??
왜 글 안 씀
쓸게 없어서요
ㅠㅠ