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