충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
개업 개원한 전문직이 세전으로 2억 못벌면 망한겁니다 대충 세후 월 1100만원쯤...
-
여러분의선택은
-
물2 응시자 190정도던데 43등 안에 들어야 3등급인데 하... 표본이 ㅅㅂ 강대...
-
왜 느린년생 문화는 없고 빠른년생만 있었을까요 살짝 섭섭해지는
-
-
오르비굿나잇 7
-
40인데 2등급뜨나요?
-
스튜디오 강의는 엮어읽기 교재의 해설강의인가요? 독서의 승리코드가 스튜디오강의맞죠?
-
원래 한문제에 3시간도 박는편인데 10분정도 끄적이다가 견적이 하나도 안나와서...
-
가서 어떻게 해달라하지..
-
그냥 빠르게 푸는 연습하려고 찾는데 EBS 수능 기출의 미래 미니모고가 형식은...
-
흠흠
-
친구 여친중에 3
스카이 수시라서 과외로 돈 엄청 잘버는애가 있음 맨날 여친이 산다고 하던데 좀 많이 부럽드라
-
내가 되진 않겠지
-
N수생분들 6
-
정신차려야지
-
It's time is sleep
-
하아.. 이런거 첨이네
-
1월에 10강 정도 듣고 국수영 하느라 안들었는데 다시 1강부터 들어야할까요??...
-
님들 님 자신한테 그 돈 주고 수업듣는다고 생각해보시면 됨 아 이돈주곤 못하겠는데?...
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함