충격적인 발견을 함..
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를 선물하세요.
-
내가 피파로 챌을 찍었었지... 줌 수업은 무슨 하루종일 게임만 했었는데 돌아가고싶다
-
ㅇㅈ하기 8
노엘아닙니다 운전면허없습니다
-
에휴다노
-
돌아오니 좋군 9
브라우니 초코
-
저주할거임
-
조선시대마인드인가
-
어싸 6주차 40문제 강기원 정규 6주차 복습 수1특강 5주차 복영 이신혁 고체...
-
친구들 다 마스터인데 왜 나만
-
코파는 중 9
코가 넘 말라
-
주제 고민중
-
치약.
-
거리곱 9
매우 유용함
-
근데 이 분은 8
신이 인간세상에 나온게 아닐까? 저 비주얼에 인설의 이게 맞는 밸런스냐
-
거의 만점이여야함? 화작 확통 사탐기준으로 2틀 정도?
-
-
왜 동갑임 박탈감 오지네
-
등록금 6
고지서에 자퇴하면 장학 뱉어내라네... 당연하겠지만 살짝 아쉽네
-
표정 썩어있는 시대 부엉이들 사이에 작고 동그란 사람이 ^~^ 이러고 끼어들어와서 앨베 타심
-
대충 클로바한테 녹음시키고 어쩌구저쩌구 노트북 딱 펼쳐놓고 태블릿으로 필기하고...
-
이 분들 동의하시면 바로 룰렛 굴림
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함