가설 변경
게시글 주소: 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를 선물하세요.
-
시험기간의 무서움ㄷ 6 0
나 이마 진짜 깨긋했었는데 시험기간되자마자 싹뒤집힘(막짤)
-
우리 뇌가 칼로리를 가장 많이 쳐먹는걸로 유명한데 진짜 그런게 밥 두 끼 정도가...
-
오는 새벽 2시에 gpt-5가 나온다는 오피셜이 있음 8 3
과연 성능은
-
메가스터디는 수능날까지 배송비무료정책을 실시하라 1 1
내 스터디플랜
-
D-98, 삼수기록 #193 0 0
-
관독 오늘 지각인데 0 0
관리쌤한테 카톡으로 늦는다고 보내야 할까요..? 단순 늦잠이라…
-
서울 사시는 분들 중에 하드렌즈 쓰시는분 계신가요? 3 0
안과 추천 좀 해주시면 감사하겠습니다
-
원서를 잘못 쓴 죄 1 1
원서를 잘못 쓴 죄로 수능을 4번째 더 보고 있습니다..
-
현역남고생밥 ㅁㅌㅊ 9 3
저거도시락통깊어요 꽤.... 두부2/3모에 밥한공기 + 간장 채소랑 과일들
-
뱃지 어떻게 켜나요 2 0
눌러도 안되는디
-
그사람 글 댓글 보면 ㅈㄴ재밌음
-
예쁘면 다야? 2 0
욕하거나 담배펴도 예쁘고 몸매좋으면 그냥 사겨?
-
22~25 수능 26 6평 이정도만 봐도 괜찮을까요? 그 전 거까지 보기에는 시간이...
-
박석준t 전체 현강생 중에 과제 다 해오는 비율이 50%밖에 안된다는데 5 1
강사 선택권 없는 재종생들이 유기하는건가 물론 국어강사치고 과제가 많아서 그걸로 유명하긴 함
-
근데 시발 gpt5 나오기 전에 며칠간 gpt4o 성능떨어지게만든건 고의적인건가 2 5
ㄹㅇ 좀 성능낮아지던데 이게 그건가 계획적구식화
-
메가가 안돼? 1 2
대성 보면 되잖아 (대충 윤성빈)
-
저녁 추천받아요 1 1
고고
-
내가 다니던 스카는 밑층에 프랜차이즈 카페가 있고 위층이 스카인 곳이엇음 근데 이제...
-
점메추... 7 4
점 메 추 . . .
-
연세대 논술 하수vs중수vs고수 16 33
하수: 못품 중수: 점 P(x, y), Q(X, Y) 잡고 체육 달림 (예시)...
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..