가설 변경
게시글 주소: https://orbi.kr/00071954437
1. (A가 거짓->모순)->(A가 증명있음)
1번은 귀류법이고 참
1번의 대우명제는 2번
2. (A가 증명없음)->(A가 거짓 and 무모순)
2번이 참이니 3번이 참
3. (A가 증명없음)->(A가 거짓) 이 참이고
3번의 대우는
4. (A가 참)->(A가 증명있음)
그리고 원래 참으로 여기고 있는것들이
5. (A가 증명있음)->(A가 참)
6. (A가 거짓)->(A가 증명없음)
임
3번과 6번을 연결하고
4번과 5번을 연결하면
7. (A가 거짓)<->(A가 증명없음)
8. (A가 참)<->(A가 증명있음)
9. (A가 공리)->(A는 증명없음)
7번과 9번 연결시,
10. (A가 공리)->(A가 거짓)
(A가 공리) and (A가 거짓) 이면
11. "A->(모든명제)" = 참
7번과 8번을 가져와 생각해보면
11번의 후건이 "거짓" 이라면 후건의 증명은 없다
왜냐하면, 11번이 성립한다해도
거짓과 거짓은 반드시 동치이므로
거짓으로 거짓을 증명한다는건 실제로 외부명제로 증명하는게 아니라 순환논리임
따라서 11번에서 후건이 거짓일때 7번이 성립
11번의 후건이 "참" 이라면 후건의 증명은 있다
왜냐하면 11번을 보면 A가 거짓이고 후건이 참일떄,
거짓과 참은 다른것이다
즉, 거짓으로 거짓을 증명하는 순환논리가 아닌것이다
따라서 8번도 성립
결론
7. (A가 거짓)<->(A가 증명없음)
8. (A가 참)<->(A가 증명있음)
공리는 "거짓"
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
시발점 볼륨 3
오르비 보다 보면 시발점 볼륨? 얘기가 종종 보이는데 이게 무슨 얘기인가요 강의...
-
오들오들
-
쿠키보는데 1초마다 예?예?예?예? 지애미가 때릴 때 마다 예?라고해서 트라우마 각인시킨건가
-
기출 한 번 더 하려는데 책 추천 좀 부탁드림니다
-
주 Theme 1씩 나가고 있는데 느린가
-
첨본다 하셨을 정도니 말 다한거임 ㅋㅋ 독해력 안부족함 (스캔만으로 논지전개방식이랑...
-
프사췤 1
.
-
”가능할까요?“ 62
맨날 게시물로 저 노베인데 가능할까요 될까요 이러시는 분들이 자 주 보이는데...
-
ㅜㅜ 나라 걱정돼
-
이런 민심에 어케 탄핵함??
-
여기 문학 다맞고 작수 백분위 88뜬 사람 있습니다 본수능 문학 틀린 적 없는데...
-
영어를 정말정말 못하는데 현역 때 션티쌤 들었거든요 근데 ABPS만 집착하고...
-
이왜진
-
내일도 갓생산다 6
7:40-12:00 study
-
이투스랑 오프라인 중에서 강사 추천해주세요!!
-
바로 연세우유빵을 먹어도 될까요? 고민입니다...
-
인생망함 11
-
진지하게 수학 질문하면 다 씹고 넘어가는데 똥 똥 뿌직뿌직 이런거에는 댓글이 바로...
-
똥 똥 7
뿌직 뿌직
-
님들 최대한 문제 풀때 실전개념 배운거 적용해보려고 노력하나요? 그리고 이게 맞죠?
-
치과가면 되겠네요 우하하빵빠레~
-
개짜네 그래도 남음...
-
저랑 건전하게 맞팔해보실분 없나요?
-
보기 좀 그렇네여
-
물수능+화작=? 2
-
EdUcAtion N-1제 어떰요 솔직히 교육청 문제 좋은데 왜 거르는지 모르겠음
-
문제푸는데오억분걸림..
-
2405 <<<< 13
레전드 어려운 시험지 인정하시나요 수학황들 오답 복습 분석만 하루종일걸림
-
저 내신할땐 법정이었는데.... 정치질이 법보다 우선시될 수 있는 현대 사회에 맞게 개명된건가요?
-
부르라고
-
작년 현역에는 기하를 독학했었으나, 고안 끝에 확통으로 선택 과목 변경을 희망하게...
-
기하 질문 4
기하도 수2처럼 삼차함수비율관계 같은스킬같은게 있나요? 유튜브 인강보고 개념 공부중인데 괜찮겠죠?
-
잘아시죠?
-
리쌍>다듀.
-
김수현 어쩌구 하는 링크있는 어그로글이었는데 제가 댓을 달았는데도 글이 기록도...
-
ㅈㄱㄴ
-
제발
-
미치겠네 진짜
-
내신 4
2학년때 제일 빡셌음 물화생지1하고 미적12 확통 기벡 다배우는데 벅차더라
-
이렇게 동시에 가기도 쉽지 않겠다
-
킥오프 파데 2
무휴학 반수생인데 파데도 들어야할까요? 미적은 다시 가볍게 들으려하는데 수1,2도 듣는게 나을까요?
-
기출까지만 하고 싶어요 너무 못해서 울었어요 어디서부터 시작할지 미지수 뭘로 둘지...
-
걍 나중에 몰아서 하루컷할껀뎅
-
한화는 야구볼맛 나겠다 10
류현진 김서현 문동주 황준서 정우주 ㄷㄷ 게다가 구장도 새삥ㄷㄷ
-
닉변할게 4
없네
-
실검 뭐야 0
나만 강평여르비가 뭐하시는분인지 궁금했던게 아녔어!!!
-
1종 보통 면허증에 찍힌 시간 기준이에요? 그전에 따도 발급 늦게 받았으면 안되는...
-
한의대정시 3
지금 언미사2인데 한의대 약대가 목표면 언확사2가 낫나요?
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..