충격적인 발견을 함..
게시글 주소: https://orbi.kr/00071901456
1. (A가 거짓일때->모순이 있다)->(A가 참이라는 증명이 있음)
1의 대우명제를 만들건데
p->q의 대우명제는 not q ->not p 임
그리고 b->c 의 부정형은 b and not c임
따라서 1번의 대우명제는 2번.
2. (A가 참이라는 증명이 없으면)->(A가 거짓이고 and 무모순이다)
2번을 보면
"A가 참이라는 증명이 없으면, A가 거짓이다"
A에 공리를 대입하면
"공리가 참이라는 증명이 없으면, 공리가 거짓이다"
공리는 원래 참이라는 증명이 없음
따라서 공리는 거짓임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
한의대 가면 예+본과 6년에 군대 3년이면 9년인데… 열심히 공부한단 전제하에...
-
편집은 다른 분이 해주셨음
-
해보고싶다
-
-
올해 입학정원 2000명 늘어난거임? 그럼 입결 안떨어짐? 휴학 할거임? 만약...
-
학교생활을 굳이 해야할까? 괜히 어설프게 했다가 과생활 반수 둘 다 놓치는 거...
-
뻘글 500배 2
제아봉침 써야겟다 이거는
-
난니들과다른사람이야
-
ㄷㄷ
-
음...답이 없네
-
아 롤할까 7
ㅈㄴ 피곤한데 잠 안 오는 상태 굿
-
지구과학처럼 최신 기출 먼저 개념화 해버리고 풀면 인생 절반 손해보는 그런거...
-
-
-
옯창빙고 ㅇㅈ 7
분명 뉴비 맞는데
-
재수 준비하느라 작년 성적 분석하고 있는데, 평가원이랑 교육청 모고 평백이 10정도...
-
나는수능에서수많은문제를맞닥뜨려풀어내었으며 나는그결과명문대학에진학하였고...
-
그냥 동족을 찾아야만 해요
-
그런가….? 4
모르겠는데
-
생각보다 연애하기에 너무 좋은 사람임 생활 패턴도 맞춰지고 좋아하는 걸 공유하니까...
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함