가설 변경
게시글 주소: https://old.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를 선물하세요.
-
솔직히 비갤 가끔 들어갔을 때 김지우 얘기만 있길래 왜 이리 밉게 보나 했는데...
-
ㅈㄱㄴ
-
ㅈㄱㄴ
-
추합 번호 가리기 ㅅㅂㅋㅋ
-
ㅇㅇ
-
연경 합격 ㅇㅈ 4
아쉬움은 남지만 기쁘게 성불하겠습니다..!
-
올해 고자전 일반컷 막판에 5점 가까이 떨궈서 사람 몰릴줄 알았는데 오히려 줄어들더라..
-
1차추합 돌고 업데이트된 최종 예비 84번인데 가능할까요 ㅠㅠ?
-
♡ 0
어렵고 도움되는 모의고사 한 개씩 적고가 ♡
-
오르비팟입니다
-
대충 러셀에서 작년 거 줬어요 88(공2, 선1) 개념 기출은 무적이다 + 기하로...
-
-
1차 추합이요~
-
1차때 2명빠진거같은데 최초합한분들이 다른학교 추합으로 붙는 성적인데 2차,3차때 기대해도되나요?
-
가져가라 훠이
-
ㅇㅇ
-
그냥 빨리 눈알 굴려서 답 찾기 게임하는게 우월전략임 6월에도 저딴식으로 에이어나...
-
착잡하다.. 0
경희대고 작년 재작년 모두 추합 14명 정도 돌았던 곳인데 1차때 1명밖에...
-
ㅈㄱㄴ
-
저점에 살걸
-
고닉이 뭔가요 1
유명한 사람이 고닉인가요
-
증명링크 https://orbi.kr/00071957732
-
미장이 3년 연속 상승한 역사적 경우가 거의 없습니다
-
사주봤는데 1
올해 11월 시험 운이 좋다고 함 한번도 이런 적 없었는데 캬캬
-
경기대 지원했고 작년 36명 모집에 45번까지 돌았고 올해 29명 모집입니다 저...
-
약간 중소형 알짜배기느낌아님?
-
경희대 추합 3
경희대 추합ㅎㅎ
-
1기부터 쭉 볼까싶은데
-
저걍 등록금이랑 기숙사랑 입학일 오티일 수강신청일만 읽음.... 나머지 읽기...
-
아니내가름훌은아닌데이건닥후아님?
-
시간도안알려주고개빡치네 월급도밤에받아라
-
열받네 0
아
-
단톡방에 공지 뜨나요?
-
물리1 질문 3
이거 왜 이렇게 되는지 설명좀 해주세용
-
러셀에서 상상모 주길래 풀어봤는데 확실히 다르긴 다르네요 원래 타 과목에 비해 국어...
-
우웅할때 똥싸 7
우웅
-
언제 다 정리하고 보정하지...
-
ㅇㅇ?
-
[질문] 진짜 서울대를 갈 수 있을까요.. (검고 관련)(장문) 43
일단 비슷한 질문을 해서 죄송합니다..(ㅠ.ㅠ) 맨 밑에 4줄 요약있습니다.(_...
-
역시 영3이야. 암기력 확실하구만
-
너네최초합아니잖아 왜안하는데… ㅜㅜ
-
어케 올리는지 모르겟음
-
하긴 매일 10시까지 공부하는데 공부할 거리가 있긴 해야겠너
-
안녕하세요. 이제 고3되는 문과 학생입니다. 특목고 재학 중이라 무조건 학종으로 갈...
-
수학을 너무 못해서 시대 기숙은 대기받고 의대관도 대기 걸어놓고기다리고 있는데...
-
본인 인하대 자전(자연) 예비 76번입니다 진학사 피셜 45번까지 ㅃㅏ진 것 같은데...
-
https://orbi.kr/00071957732 후...
-
뭔가 잘못됨을 느낌
-
고토 히토리 빼고
-
이거 조심해야겠네.. . 생각좀 하고 살아야겠다..
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..