충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
어떤 책 잇는데 4
첨엔 한 문장도 이해하기 어려웟음 ㄹㅇ로 지금은 그 책에 잇는 문제들 다 그냥 품 크크
-
이과한정 빵 진짜 많은걸로 아는디
-
엄마한테 19년째 받고 있긴하네 감사합니다
-
저 닉넴 바꿈요 4
간장공장공장장
-
오르비비리그오브레전드드그리고 쪽지로 롤하실래요?
-
작년에는 중대 붙으니 서강대가 그렇게 마려웠는데 올해는 서강대 붙으니 고대를 너무나...
-
크아악 3
크아아아아악크아악
-
할만하긴해 잘했어
-
중대 4칸 붙음 14
중대 합격증 두 장 ㅎ ㅎ
-
대가리 박기는 진리다.한 문제를 소중히 여기자. (사실 지금까지도 이걸 제대로 못...
-
진지하게 이거때문에 어찌할지 고민중입니다..
-
본인이 "나보다 어린 대학선배"를 볼 예정이면 7ㅐ추 11
인생이 뭔가 잘못돼가는 거 같다...
-
ㅌㅅㅌ 해본김에 2
이거도 함 해봄 istp 라는데 아무리생각해도난s아닌데 다틀려다틀려
-
제가 국어 학원이나 인강 한 번도 해본 적 없는 고2 노베인데, 문법 제외하고...
-
진짜안했는데...
-
-
외할머니 외할아버지 둘 다 치매라
-
블라까진 풀어봤는데 아직 할만해서 더 어려운것도 풀어볼려고 하는데 뭐가좋을까요...
-
나 연치인 거 들켰는데 10
특정당할듯
-
리제로 올라왔네 5
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함