충격적인 발견을 함..
게시글 주소: https://iu.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를 선물하세요.
-
방굽습니다 1
-
이제 자야겠다 1
이러고 눈팅더하다 잘듯
-
이것저것해봐야될거같음 요리랑 과외부터 일단 해봐야지…
-
국민대 지능형 반도체 vs 광운대 전자 vs 아주대 기계 2
국민 광운 2시간 아주 1시간 20분 재탕 ㅈㅅ...
-
[고전시가 공부법] 아직도 고전시가 어휘 모르는 사람 없제? 4
안녕하세요. 한방국어 조은우입니다. 원래 공부의 시작은 단어입니다. 단어를 알아야...
-
누구야
-
뉴런 vs시발점 찍맞없이 80점임
-
ㅇ
-
메타 망했네 2
...
-
큰일난듯 3
아에 게이물은 별로인데 오토코노코나 쉬메일은 꼴림
-
냠..냠
-
누가 수험생들 아니랄까봐
-
나 어지러워
-
서성한이 이러길래
-
호옥시
-
-
딸따리 많이치면 2
거기 아프더라 오늘 아침에 일어났는데 거기가 아프더라고 (ㄸㄸㅇ도 어제 한번쳤는데)
-
ㅈㄱㄴ
-
악질들 개 많네
-
사람 맞음? ㄷㄷ
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함