가설 변경
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를 선물하세요.
-
응..... 안갈래 또 이상한 술게임 시킬까봐
-
술 추천 리스트 16
가난한 대학생인 관계로 소주 맥주만 추천해드려요 소주 -> 거부감 없이 마시고...
-
품사, 문장성분, 어미의 종류, 동사 형용사 구분법, 품사 구분법, 단모음표,...
-
독서 기준 하나만 할 수 있다면 어느 걸 추천하시나요?
-
나만 그런가
-
고1말에 이어플러그끼고 수학푸는데 우연히 옆에 봤더니 내옆에있던친구가 묘하게...
-
기계적으로 듣고 있으면 나도 모르게 끝까지 들어서 자꾸 의식해서 스킵해야함 뭔...
-
맛있다 1
헤헤
-
직업만족도 순위에서 교사가 꽤 상위권에 위치해있고 의사나 의료계열 직군들이 낮은...
-
연애
-
놀다 노래를 부르며 노니까
-
가려면 어느 과목에서 몇 개 틀려야하나유?
-
새피한번도안해봄 3
같이할사람이없음
-
작년에 오르새쌤 풀커리 타고 올해 스블듣고 있는데 개념 설명이나 기출풀이 방식이...
-
기분 센치하네
-
시대 단과다니고 있고 6평 전까지 풀만한거 추천좀
-
Jot됨씨발
-
추천좀
-
현역 수능 때 35253 맞고 재수, 삼수해서 실패와 좌절(22수능)을 맛보고...
-
3병까진 ㄱㅊ
-
ㅇㅇ이런거 있음?
-
선생님께서 복습을 굉장히 강조하시던데 복습을 얼마나 해야하나요 문제 보자마자 아...
-
진학사 점공은 10등까지만 업데이트 해주셨고 제 분석상으로는 12-14 사이에서...
-
레전드백수 ㅇㅈ 3
이사람은 6시간 자는거 빼고 하루종일 폰하나요
-
(서울대 합격 / 합격자인증)(스누라이프) 서울대 25학번 단톡방을 소개합니다. 0
안녕하세요. 서울대 커뮤니티 SNULife 오픈챗 준비팀입니다. 서울대 25학번...
-
진로는 진짜 존나 역함
-
커트라인 640 초중반일것 같은데 1칸합도 나오겠네요
-
인스타지워야겟다 10
거울보는데 현타존나오네
-
ㅈㄱㄴ 나 빼고ㅓ 친해지는거 아냐:?? 심찬우 조발 조기 서강 노크 대가대 로스쿨 현우진 시대인재
-
주량 7
두병 두병넘어가면 말실수함
-
물론 난 콜라가 좋다.
-
사실 굉장히 피곤하긴 한데 해야 할게 남아 있어서요 몇시까지 있을까요?
-
아아먹고싶은데 0
얼음이 없네 ㅜ
-
술 마시고 싶다 0
그렇지만 참기로 했다
-
걍 문제 몇 개 골라서 풀어주고 풀라고 시키면 되나? 문제집 그대로 들고가면...
-
개뜬금블라인드를 당한거같은데 뭐지
-
윗 사람들이 빠질 일이 없어서 슬프도다
-
-
pdf나 종이책 다들 어디서 어떻게 저렴하게 구매하시는지..
-
-
원서접수 사이트에서 추가로 졸업증명서 내라고 뜨는 걸 오늘 확인했는데 다른분들도...
-
내가 글을 많이 썼나
-
서연고가 맞긴함 5
서강대 고려대 연세대
-
투데이 체크 2
옯찐따겠지 뭐
-
500보고 와 개높다 했는데 더한 사람도 좀 있는거같네
-
최초합 백분위 평균인데 정말인가요? ㅜㅜ
-
이정도면 옵창아님
-
(카성울)언미생지 기준?
-
빈지노 좋구나 1
역시 노래는 앨범으로 들어야 해
-
진짜 내일은 안 해야하는데...
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..