충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
얼굴 인증함 9 0
-
오직 대인라에서만! 강남대성/두각학원 우수 강사진의 독점 테마 특강을 만나보세요...
-
난 샤워 무조건 1일 2회함 3 1
아침에 안하고 나가기엔 개에바고저녁에 안하고 자기도 개에바임
-
오르비 2년차에 이 레벨은 6 0
고닉이 아니지예~
-
이 아이는 커서... 2 0
e^i는 커서 cause e^i is big e^i는 복소수입니다 복소수는...
-
ㅇㅈ하는 애들 특 3 2
다 노출증있는 존잘남녀 기만러들임 ㅇㅇ ㅉㅉㅉ
-
평소엔 허허 웃으면서 넘어가다가 한 번 발작버튼 눌리면 기냥....둘 중 한명은 피를 봐야 쓰는겨
-
ㄹㅇ
-
삼성vs 애플 8 0
에어팟프로2 vs 버즈 프로3 뭐가 더 좋음??
-
대해린성별투표 2 0
ㄱㄱ
-
민지나 보고 가 3 0
-
1등 1000덕 2등 500닥
-
교육계라고 해봤자 고등학교쌤이랑 과외쌤이긴한데 ㅋㅋ 실상은 고닉 투표 똥글 패러다이스
-
사랑 2 0
평화우정
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함