가설 변경
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를 선물하세요.
-
라는 다짐을 항상 하지만 지키긴 어렵다
-
몇관으로 넣어야 정배임
-
기하 선택하고 싶은데 표점 때문에 미적하는 사람 있나요 7
순수 재미는 기하가 Goat인데 선배들이 기하는 하지 말라함..
-
오전에 독서 한지문 풀고가서 15분이면 될거다..
-
난 왜 못할까요 2
수학을 잘하는 것도 아니고 국어를 잘하는 것도 아니고 과탐을 잘하는것도 아니고...
-
인피니티 워부터 쭉 안 봄...
-
그냥 비참함
-
레어 팔아요 4
정시파이터,사나이클럽 팔아요
-
김재훈: 정말 작품 이해에 치중된 사람, 들으면 머릿속에!가 뜸 유대종: 문풀에...
-
다른 과목은 다 대체 선생님 찾았는데.. 내신 생명만은 대체할 분이 없는 것...
-
2차부터가 문제엿다 인싸애들: 선배 저희 술게임 알려주세요!!!!! 사건의 시작.
-
목표변경
-
1. 언매 개념은 한 적 있음 (올인원 2번 정도) 2. 완벽한 암기는 안됨 3....
-
제가 강평 커리 타고 있거든요? 근데 논리학 지문만 나오면 많이 틀리고고나중에 로행...
-
온라인 접수 할 때.. 뭐 준비해여하나요? ㅈㄴ 복잡함…
-
삼수생 새터가도됨??? 10
아싸찐따삼수생이 3일동안 인싸현역조졸무리에 어떻게끼어있지
-
응..... 안갈래 또 이상한 술게임 시킬까봐
-
술 추천 리스트 16
가난한 대학생인 관계로 소주 맥주만 추천해드려요 소주 -> 거부감 없이 마시고...
-
걍 사람이 다 무섭다
-
오..
-
품사, 문장성분, 어미의 종류, 동사 형용사 구분법, 품사 구분법, 단모음표,...
-
독서 기준 하나만 할 수 있다면 어느 걸 추천하시나요?
-
나만 그런가
-
고1말에 이어플러그끼고 수학푸는데 우연히 옆에 봤더니 내옆에있던친구가 묘하게...
-
항상
-
기계적으로 듣고 있으면 나도 모르게 끝까지 들어서 자꾸 의식해서 스킵해야함 뭔...
-
맛있다 1
헤헤
-
직업만족도 순위에서 교사가 꽤 상위권에 위치해있고 의사나 의료계열 직군들이 낮은...
-
연애
-
놀다 노래를 부르며 노니까
-
가려면 어느 과목에서 몇 개 틀려야하나유?
-
새피한번도안해봄 3
같이할사람이없음
-
작년에 오르새쌤 풀커리 타고 올해 스블듣고 있는데 개념 설명이나 기출풀이 방식이...
-
기분 센치하네
-
시대 단과다니고 있고 6평 전까지 풀만한거 추천좀
-
근데 너무 우매한 생각이였고... 주식으로 고딩때부터 뿔렸는데 주식같은걸 안해도...
-
Jot됨씨발
-
추천좀
-
현역 수능 때 35253 맞고 재수, 삼수해서 실패와 좌절(22수능)을 맛보고...
-
3병까진 ㄱㅊ
-
ㅇㅇ이런거 있음?
-
선생님께서 복습을 굉장히 강조하시던데 복습을 얼마나 해야하나요 문제 보자마자 아...
-
진학사 점공은 10등까지만 업데이트 해주셨고 제 분석상으로는 12-14 사이에서...
-
레전드백수 ㅇㅈ 3
이사람은 6시간 자는거 빼고 하루종일 폰하나요
-
(서울대 합격 / 합격자인증)(스누라이프) 서울대 25학번 단톡방을 소개합니다. 0
안녕하세요. 서울대 커뮤니티 SNULife 오픈챗 준비팀입니다. 서울대 25학번...
-
진로는 진짜 존나 역함
-
커트라인 640 초중반일것 같은데 1칸합도 나오겠네요
-
인스타지워야겟다 10
거울보는데 현타존나오네
-
ㅈㄱㄴ 나 빼고ㅓ 친해지는거 아냐:?? 심찬우 조발 조기 서강 노크 대가대 로스쿨 현우진 시대인재
-
주량 7
두병 두병넘어가면 말실수함
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..