가설 변경
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를 선물하세요.
-
어삼쉬사 기출 0
아이디어로 개념 돌리고 이제 기생집 하려고 하는데 하기 전에 어삼쉬사 하는 게...
-
시대 탐구 0
이번에 선택 바꿔서 지1 노베인 상태인데 시대에서 개념수업 해주나요? 아니면 바로...
-
가즈아
-
표현의 자유가 없노 세상에
-
닉 바꿨다 6
-
추첨 결과 6
-
오공완 1
안해 걍 여기까지 할래
-
피타고라스 정리와 동치
-
올오카 3
뭔가 바꼈나요? 저 현역땐 권수가 엄청나게 많고 올오카 책값만 20넘었던걸로 기억하는데
-
어삼쉬사 이거 5
뒤로 갈수록 어려운거임?? 세트06넘어가니까 절반을 모르거나 틀리는데 ㄹㅇ 막막하네...
-
뱃지 확인용 2
-
입학처 찾아도 안보이네
-
뭐? 컷이667??ㅋㅋㅋㅋㅋㅋㅋ 아오 낙지야 진짜
-
멋진 수학 칼럼을 벅벅
-
레어사러 들어가면 튕김 얘가 그 많은 이미지를 감당못함
-
최상위기행병은 못하고 점수낮아서 사격지휘넣어버렷는데 할만한가요?
-
우리집오르비꺼라 6
넵
-
뱃지 테스트 4
ㅈㄱㄴ
-
올오카 구매완 6
너무 비싸요... 이번달만 교재비 50만원 지출이라니
-
국수는 원점 탐구는 백분위
-
선착순 10명 20
추첨해서 1명 5만 덕
-
친구 필요 없고 적만 안 만들고 싶어요 ㅠ
-
나도 한 멘헤라 하는데 쉽지 않다
-
합격증 날짜가 왜저러냐 주작같게
-
있나욬.? 빵꾸났대서…ㅎㅎ
-
합격 기념 4
도수:40도 가격:20만원대
-
과외알바를 생각하시는 분들을 위한 매뉴얼&팁입니다. 미리 하나 장만해두세요~~...
-
존나귀여움 ㄹㅇ..
-
인하대 의대 등록 포기했습니다.....전 제 길을 찾아 떠납니다.... 85
중앙대에서 부르더라구요
-
존나 꼴사납단 생각 들긴 하더라..
-
좋겠다
-
다시 천만
-
ㅇㅅㅇ
-
나 제데로 원서 써본게 첨이라 잘 모르겠어요 지금 1차 20퍼 정도 빠졌는데...
-
블루미르홀 309관이 신축이고 308관이 구축인거 같고 511관은 고시반 위주로...
-
17명 뽑는데 예비 42등에서 28등됨 즉 14명 빠진거임 9차까지 있는데 이거 될까??
-
광운 화학 기균 0
화학과 오늘 추합 받았는데 전 빠집니다 다들 꼭 대학 붙으시길
-
붙을애가별로없네
-
대치 시대 9기로 들어갈 예정입니다! 1. 급식 먹을때 자리 불러주는 순서로...
-
주접임에도 아무도 뭐라 못하는 절대권력이지
-
아 잘잤다 1
8시간 기절했음ㅋㅋㅋ
-
이거 더빙판 오프닝 아이유가 불렀어요ㅋㅋ
-
골키퍼없어도잘못차는데큰일이군
-
언어와 매체 인강을 듣고싶은데 전에 언매총론을 들었었거든요 근데 그냥 냅다 암기하는...
-
뱃지 확인용 10
-
헤헤 1차에 바로 되네요
-
저번에는 여론 반반이던데 합격하면 해 보고 싶었는데 할까 주접인가
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..