가설 변경
게시글 주소: 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를 선물하세요.
-
쌓이면 밴먹는다던지 이런거 도대체 왜 멀쩡한글을 신고하고난리지
-
냥도체 혜택 정리 11
SK하이닉스 취업보장 전액장학금(성적 제한 없이 4년 다, 대학원도 무료)...
-
홍대 전전 3
최초 예비는 모르고 현재는 57인데 붙을만 한가요…?
-
-
갑분추합 8
예비도 못받고 광탈했었는데??
-
버튜버 보는거 들킬면 정 떨어져서 차일듯
-
조국의 영원한 고동이되리라
-
갑자기 여자가 뿅 하고 나타나는 건가
-
작수 45365받고 열심히 공부해서 대학 갑니다 이기상그는도대체..
-
보통 추합 초반(1,2차)에 많이 도나요 아니면 후반(3~5차)에 많이 도나용..?...
-
믿습니다 벵푸하 0
내일은 실험픽 제발 꺼내지 말아주세요 그 까마귀만 아니었어도 허수가 KDA 2위였는데
-
가장 최근에 극장에서 본 영화가 007 노 타임 투 다이...이것도 007 시리즈라...
-
컴잘알 있나요 0
동생이 노트북으로 배그하는데 2060에 i7-9750H입니다. gpu 사용량이...
-
아니 13~14 시간 도대체 아케하는 거임 ㅜㅜㅜㅜ 난 진짜 최대로 집중해도...
-
연고대급인가? 수시만 뽑는데라 잘 모르겠네요
-
ㅈㄱㄴ
-
범붕이 근황 1
범바오는 이걸 보는 즉시 강의를 올리도록
-
점공상 최초합 안정 -> 불합 -> 1차추합 무모한 도전같아 보였던 정시파이터 입시...
-
제발 어제처람 올라줘
-
5차 추합 1
작년 통계를 보니 막판에 추합이 확 더 도는 경우가 많이 있던데 원인이 뭔가요?
-
지금 너무 안빠진다고 낙담할 필요는 없어요 전화추합은 결원이 생기면 바로바로 전화를...
-
아무도 안봄.... 쇼츠올리면 조회수 기본 10만 나오는거 아니었음?ㅜㅜ
-
이번에 기숙들가서 선택적으로 수업을 들을 수 있는데 정법 개념강의가 5월까지더라구요...
-
개웃긴다 ㅋㅋㅋ 오우석 차 뽑아준 삼수생 이젠 대학 웰컴 키트를 받고 싶은 재수생...
-
강의패스 환급 0
기균 약대는 왜 환급 목록에 없죠? 수의예 의예 치의예는 있는데 약학만 없는데...
-
결국 나는 수능망한 N수생일 뿐인 것을 그 누구도 패배자의 변명따위 들어주지 않는게 세상의 이치
-
이미 마법사 직전인데 30대라고 뭐가 다르겠나
-
새터비용 6
보통 얼마하나요? 너무비싸서 부담되네여ㅠㅠㅠ
-
외대 7칸 불합 5
최초 예비 2번이였는데 3차까지 한명도 안빠지는게 말이 되는건가
-
오늘 붙은분들도 연고대 꽤 붙어있음 지금 498 밑으로는 사람 많이 없어서......
-
현재 이대 사회과학대학 합격해서 진학 예정입니다 이대도 좋은 학교인데, 수능에서...
-
22번 틀림.. ㅋㅋㅋ 심지어 쉬운문제들은 문제 하나에 지문들이 다 개길어서 검토할...
-
나는 아이가 싫다…
-
ㅈㄱㄴ
-
2차 추합 54명밖에 안빠지는게 정상이냐.... 올해 되려나?
-
스블 1
스블 교재 활용 어떻게 해야하나요 ? 필기할게 엄청 많은데 그냥 다 필기하나요...
-
다들 허락 어떻게 받으셨나요?? 처음에는 반대하셨는데 설득 성공한 분들 어떻게 하셨는지 궁금해요ㅜㅜ
-
ㅈㄱㄴ
-
기분 좋아졌어 1
ㅎㅅㅎ
-
부엉이우흥 5
?
-
아. 16
저녁추천해주세요 돈가스금지 우동금지 함버거금지
-
근무 개 시러 7
근무 때매 폰도 못 쓰고..
-
-
이쁜 캠퍼스
-
-
수능날 주의사항 9
가장 중요한거 하나씩 아래에 써주시고 가셈뇨
-
못하는 건가? 입증 수단이 없나요?
-
뭐지
-
좀 알랴주세요 뭘 물어야 할지도 모를 정도로 막막합니듀... 1학년 1학기 시간표는...
-
성대 자과계열 0
654.9x까지 내려왔네요 진학사 믿을게 못됨 ㅋㅋㅋ ...
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..