가설 변경
게시글 주소: 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를 선물하세요.
-
갈수록 정치는 양극화돼가네 1 2
어디선가 정치를 알수록 중립은 없고 극단적인 방향으로 간다고 들었던거 같은ㄷ 이건 좀 심하네..
-
재종반 강사들중에 그 종북좌파 문재인 지지하는 놈들 많음 3 5
대놓고 인스타에 이재명 극찬질을 하고 있질 않나 수업에서마저 정치얘길 쳐 하질 않나...
-
제곧내입니다 개 빡대가리라 교육청 평가원 기출 다 풀어봐도 감이 안잡히네녀
-
제가 방금 수학 5등급 맞는 법 올렸는데 다들 개념만 하면 된다고 해서 걔는 그럼...
-
레어 거절이 말이 안되는 EU 1 1
내레어 보면 안다
-
또 나만 ㅇㅈ 아무것도 못봤네 0 2
이제 나 자러가면 또 ㅇㅈ메타 돌겠지
-
레어 승인됨??? 1 0
또 1년 승인 안해줄줄 알고 레어 아직 등록 안했는데
-
미적 딱 1컷이랑 확통 딱 1컷이랑 표점같나요? 3 1
ㅈㄱㄴ
-
흥미로운 문학 기초 개념어 0 1
설의적 표현이면 의문이 아님
-
모의고사 추천해주세요 8 0
6월에 평균 4등급 실력이었어요 강x 강k? 둘 중에 어떤게 좋을까요 수학은 백분위...
-
수학 기출문제집 추천해주세요 1 0
너기출 풀었는데 너무 쉬운 문제들이 많고, 오르비 보니까 너기출로는 2등급...
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..