가설 변경
게시글 주소: 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를 선물하세요.
-
연고대급인가? 수시만 뽑는데라 잘 모르겠네요
-
ㅈㄱㄴ
-
범붕이 근황 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까지 내려왔네요 진학사 믿을게 못됨 ㅋㅋㅋ ...
-
1. 중앙대(안성) 동물생명공학과가서 농축산 관련 직장 취업 2. 한기대 가서...
-
최근에 본 가장 간지나는 광고카피... 카톡 상메로 걸어놨음 ㅋㅋㅋㅋㅋ
-
한양대 경영 0
한양대 경영 2차추합까지 몇명 빠졌나요??
-
서강대 인문이랑 영문 커트라인 어디까지 뚫렸나요?
-
합격예측이 하나도 안됐는데 뭔 합격예측은 진학사 ㅇㅈㄹ하고쌌노
-
중대랑 냥대 비교가 그렇게 문제될법한일임?? 신고가 들어와서 블라를먹이는거면 좀...
-
정말내신스럽다 5
ㅅㅂ
-
냥대 3차추합 1
떴어요 기다리시는분들 예비빠진거 확인해보시길
-
살사람
-
수1 기초 or 실전개념이 사탐 하나랑 강의수 똑같네 수학 포기했으면 지옥을 맛보는거임 ㄹㅇㄹㅇ
-
형용할수없는 역한 감정이 넘실한 파도같음 아좆같네 진짜 왜살지 내 멘탈이면 40되기전에죽을것같은데
-
두찜 맛잇나요 5
안먹어봣는데 맛잇으면 먹으러 가볼려구요
-
1,2차 다 너무 안빠지는데..
-
아
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..