충격적인 발견을 함..
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
매우 유용함
-
근데 이 분은 8
신이 인간세상에 나온게 아닐까? 저 비주얼에 인설의 이게 맞는 밸런스냐
-
거의 만점이여야함? 화작 확통 사탐기준으로 2틀 정도?
-
-
왜 동갑임 박탈감 오지네
-
등록금 6
고지서에 자퇴하면 장학 뱉어내라네... 당연하겠지만 살짝 아쉽네
-
ㄹㅇㄹㅇ?
-
표정 썩어있는 시대 부엉이들 사이에 작고 동그란 사람이 ^~^ 이러고 끼어들어와서 앨베 타심
-
대충 클로바한테 녹음시키고 어쩌구저쩌구 노트북 딱 펼쳐놓고 태블릿으로 필기하고...
-
이 분들 동의하시면 바로 룰렛 굴림
-
ㅂㄱㄸㅂㄱㅇㅈ 7
10초삭함(펑)
-
강평 ㅇㅈ 5
역시 국어는 대민철
-
가보자 가보자
-
치마들추기 8
흐흐
-
24학년도 낮2~1컷정도에서 25학년도 6모48점(17분컷),...
-
좀 비싸긴 해도 그만한 디저트가 없어
-
남고다닌다고 써놨잖아
-
몇 일간 뜸했던 이유는 3일간 공부시간 다 합쳐도 10시간 못미치는 레전드시간을...
-
ㅇㅇ
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함