가설 변경
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를 선물하세요.
-
무조건 비틱질하러 올텐데 기대되네 ㅋㅋㅋㅋㅋ
-
50명 정도 빠졌네요 다들 확인해보세요
-
나 일주일내내 하루정일 올비한거 같은데
-
노란색으로 되어있는 레어를 사면 약 20% 페이백 파란색으로 되어있는 레어를 사면...
-
중대 경영 1차 170명 빠진거 같은데 작년에 비해 어떤가요?? 많이 빠진건가요...
-
재수하면서 술 9
먹기도 하나요?
-
뭔 추합 인원수 발표를 안 함?
-
따뜻한 커피 생명수마냥 벌컥벌컥 들이켰는데 아직 반이나 남았네 ㅋㅋㅋㅋ 신기함
-
-
ㅇㅅㅇ
-
로스쿨 재학중이고 이제 2학년 올라갑니다. 제가 학부 다닐 때 후회되는게 집에서...
-
푸른상자, 메달리스트 나온 거 까지 다보고 약사의 혼잣말은 잘 안봐져서 하차...
-
2-30만원짜리 기타로 시작해도괜찮음? 중고사기는 먼가 좀 그래서
-
https://youtu.be/K5vb289B1AI?si=fbCSngxYymTI3kq...
-
다군 중앙대 1
소프트웨어 몇바퀴 돌까요? 1차에 생각보다 적게 돌았네요.. 원래 1차보다 2차...
-
진짜 짐지함)출결 결과 지각 각각3번인디 학종가능? 2
주변에 사례 없나요?
-
저는 무슨고닉임 9
잘 몰루?
-
이러던 시절도 있었는데 11
생존
-
고대 합격하면 오르비에 치킨 3마리 뿌림
-
전과하면 0
2학년때 1학년꺼 1학기때 들음 보통??
-
추합 몇번까지 돌았나요...
-
중대뜸 0
다들 확인해요ㅔ
-
수많은 비갤러들,수많은 안티들 모조리 고자(고대자전)합격증 인증으로 따잇!!!!...
-
육군 기술행정병 배점인데 여기서 직접관련/간접관련 자격증 구분은 어떻게 하나요??...
-
흐흐
-
저는 무슨 고닉이죠 14
퇴물고닉?
-
나 심심하네
-
논리실증주의자는 예측이 맞을 경우에, 포퍼는 예측이 틀리지 않는 한, 1
논리싫증주의자는 관심이 없다
-
그냥 분탕 고닉?
-
솔직히 비갤 가끔 들어갔을 때 김지우 얘기만 있길래 왜 이리 밉게 보나 했는데...
-
ㅈㄱㄴ
-
ㅈㄱㄴ
-
추합 번호 가리기 ㅅㅂㅋㅋ
-
ㅇㅇ
-
한양공대 0
추합해서 중대 취소하려하는데 등록포기 어떻게 하나요..? 아무리 찾아봐도 없네요...
-
연경 합격 ㅇㅈ 4
아쉬움은 남지만 기쁘게 성불하겠습니다..!
-
올해 고자전 일반컷 막판에 5점 가까이 떨궈서 사람 몰릴줄 알았는데 오히려 줄어들더라..
-
ㅇㅇ
-
1차추합 돌고 업데이트된 최종 예비 84번인데 가능할까요 ㅠㅠ?
-
♡ 0
어렵고 도움되는 모의고사 한 개씩 적고가 ♡
-
;;
-
[⭐️귀여운 파리비⭐️ 래어 판매!]...
-
10000개씩 5명정도 댓글 선착순 뿌리는건 내일할수도
-
오르비팟입니다
-
대충 러셀에서 작년 거 줬어요 88(공2, 선1) 개념 기출은 무적이다 + 기하로...
-
-
1차 추합이요~
-
1차때 2명빠진거같은데 최초합한분들이 다른학교 추합으로 붙는 성적인데 2차,3차때 기대해도되나요?
-
가져가라 훠이
-
비틱 한 번만 시원하게 해주세요
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..