가설 변경
게시글 주소: 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를 선물하세요.
-
* 자세한 문의는 아래의 링크를 통해 연락 바랍니다....
-
약간 중소형 알짜배기느낌아님?
-
혹시 ㅈㄴㅂㅇㅇ를 생각하고 들어오셨나요? 그새기 아니고 딴 분입니다
-
경희대 추합 2
경희대 추합ㅎㅎ
-
1기부터 쭉 볼까싶은데
-
저걍 등록금이랑 기숙사랑 입학일 오티일 수강신청일만 읽음.... 나머지 읽기...
-
아니내가름훌은아닌데이건닥후아님?
-
뱃지를 다니깐 전문성이 확 생긴 느낌임 음
-
시간도안알려주고개빡치네 월급도밤에받아라
-
열받네 0
아
-
단톡방에 공지 뜨나요?
-
벨루티 프미나 사가시면 각각 2천 3천덕 드림 채채 봐야하는데 저거때문에 안보여서;;;
-
물리1 질문 2
이거 왜 이렇게 되는지 설명좀 해주세용
-
군대 외기수 0
외기수라 막내일 혼자 하고 일하는데 모르는거 투성이에 실수할까봐 조마조마하고…하루에...
-
고려대학교 에타 0
고대 붙었는데 전적대랑 최초합 대학교 에타 탈퇴했다가 고대 에타 가입이 안되는데...
-
계정 전환을 깜빡...
-
캬
-
행운의 부적 파리비와 함께 명문대/연인/덕코 을(를) 쟁취하자…! 지금 구매하면 2000덕 지급❤️
-
러셀에서 상상모 주길래 풀어봤는데 확실히 다르긴 다르네요 원래 타 과목에 비해 국어...
-
우웅할때 똥싸 7
우웅
-
언제 다 정리하고 보정하지...
-
ㅇㅇ?
-
[질문] 진짜 서울대를 갈 수 있을까요.. (검고 관련)(장문) 41
일단 비슷한 질문을 해서 죄송합니다..(ㅠ.ㅠ) 맨 밑에 4줄 요약있습니다.(_...
-
역시 영3이야. 암기력 확실하구만
-
너네최초합아니잖아 왜안하는데… ㅜㅜ
-
어케 올리는지 모르겟음
-
하긴 매일 10시까지 공부하는데 공부할 거리가 있긴 해야겠너
-
안녕하세요. 이제 고3되는 문과 학생입니다. 특목고 재학 중이라 무조건 학종으로 갈...
-
수학을 너무 못해서 시대 기숙은 대기받고 의대관도 대기 걸어놓고기다리고 있는데...
-
본인 인하대 자전(자연) 예비 76번입니다 진학사 피셜 45번까지 ㅃㅏ진 것 같은데...
-
https://orbi.kr/00071957732 후...
-
뭔가 잘못됨을 느낌
-
문학 24수능보다 더 아리까리하고 답 안골라지게 독서 2019,2021리트급 지문...
-
고토 히토리 빼고
-
이거 조심해야겠네.. . 생각좀 하고 살아야겠다..
-
1차에 16명 빠져서 89번 됐는데 추합 전화 받고라도 붙을 수 있을까요… 53명...
-
이게 맞는건가 35
정치글은 좀 그렇긴하지만 학문의 자유가 심각하게 침해당하는것같아서 올려봅니다
-
어디어디죠?
-
인하대 4
인하대학교 1차추합 성공
-
수학 며칠전에 문제 몇개 봤는데 진짜 기본뭌제만 플수있고 기출같은거 어케푸는지...
-
그냥 남들이 축하해주면 사실 그렇게 대단하다고 안느껴지는데 그냥 축하하는거같고...
-
26수능 딱대 이놈 새키
-
수학 풀 때 0
굿노트로 강의듣고 필기하고 문제 푸는거 어떻게 생각하시나요..?
-
ㅋㅋㅋㅋㅋㅋㅋㅋ
-
홍대입구 9출에 뼈를 묻겠습니다 제발..
-
ㅁㅊ 어캐
-
화작 확통 정법 사문이고, 국수영사탐 각각 2024 수능 34424 2025 수능...
-
진짜 고닉 고능아 비율 미쳤다니까
-
1. (A가 거짓->모순)->(A가 증명있음) 1번은 귀류법이고 참 1번의...
-
ㄹㅇ
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..