충격적인 발견을 함..
게시글 주소: 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
그 감정을 나도 느껴보고 싶다
-
수의사저거
-
국어가좃같은데반수접을까그냥
-
ㄹ
-
컴플렉스 시발 10
할거도 못하고 거울앞에서 3시간날림
-
잠이안와요 2
왜지
-
냥관광vs중대경영 34
연대 미련이 미치고팔짝뛸만큼 넘쳐흘러서 냥관광은 최소학점 10점이고 중대경영은...
-
제가 좀 예민충이긴 한데 어느정도냐면 엄마가 쌍수했는데 그 자국때문에 눈 제대로...
-
아싸찐따는여기서살아남을수없는건가
-
-
유산소 5
하루에 500칼로리 목표 잡으면 되나요? 실내 사이클 40분정도 타면 되던데 지방...
-
힐러 전직 완료 125
-
현우햄은 따나
-
새벽엔 무인운영한다고 못시키는게천추의한이다
-
어디가 더 좋을까요?
-
고2모고성적 국어4 수학4 영어3후반 수학 이제 실전개념+기출 들어가는중 국어...
-
서빙고 깔깔깔깔
-
과1사1 2
물지였고 지구 고정에 사문이나 한지런 하려고 하는데요. 컴공 고정이고 현역때도...
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함