충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
연애 기원 17일차 12
키작고귀엽고하얗고슬랜더인 사람이랑 연애하고 싶다
-
시대 기출을 풀다 서킷 6회를 풀다
-
내일은 그거 먹어야지
-
언매 90 미적 84 영어 87 생명 40 지구 공개 불가 국어-풀땐 괜찮았는데...
-
현생이 ㅈㄴ 꿀잼임
-
성적차이 큰가요?? 94 98 2 99 99 면 지방약도 힘든가
-
그러면 해피해피한거 아닐까요? 커피를 마신다는 건 잠을 떨친다는 거고 담배는 그냥...
-
나만 모솔이군 4
-
“무보정” 100 대성학원갤에서 퍼왔음 1컷 도대체 몇점임 ㅋㅋ
-
공통/언매 각각 작수랑 3덮중 어디가 어려움?
-
과 엠티가서 왠지 술쳐먹고 말실수 한거같음.. 옆에있던 회장형은 딱히 실수한건...
-
뉴진스 무슨일 있나요 12
핑프라 ㅈㅅㅎㄴㄷ 관심많으신 분들께 여쭈어보는게 더 정확할까 싶어서..
-
곧 시즌이끝나니 원통하구나
-
앞으로 누가 냥대 까면 혼내줄거임
-
학원에서 주는 국어 교재 푸는데 매번 너무 졸려서 10분 자야 함 ㅅㅂ 요즘 그냥...
-
24수능임
-
수특 풀다가 잘 안풀리는 느낌이라 인강 들어보려고 하는데 노베인데 대성만 패스...
-
벌써 3시 넘은거도 인지함 안피곤하신가 나랑은다르게 다크서클 하나없음
-
12월달쯤에도 정신적으로 한번 무너졌는데 또…. 이번엔 정신 똑바로 차려야할듯...
-
233일 남았어
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함