나 드디어 수학 파괴함
게시글 주소: https://ys.orbi.kr/00071389128
증명할때는 공리들을 이용해 어떤것이 참임을 증명한다
즉
공리가 참이면 어떤것(결론)이 참이다
대우는
어떤것(결론)이 거짓이면 공리가 거짓이다
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
어떤것(결론)이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
즉, 증명된 사실을 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
둘다 서류합 면접떨 근데 서류경쟁률도 상당히 빡셌음
-
잡담볼려고 팔로우하는건데 왜 잡담태그 달라는 건지 이해를 못했었음
-
애초에 거의 혼자하는 게임만 해왔고 다같이 하는 게임이어도 제가 못해서 욕먹는 실력이라...
-
[속보] 법원, 윤석열 대통령 구속영장 발부…헌정사 최초 13
윤석열 대통령에 대한 구속영장이 발부됐다. 현직 대통령에게 구속영장이 발부된 것은...
-
중3겨울 공부량 3
재업
-
맞팔하실분
-
진짜 유배지로 보내버림
-
좆같이 처 못하는 새끼들이 아가리까지 털면 진짜 고려장 시켜리고 싶다니까?
-
o1은 뭔가요
-
대신 한번 삔또나가면 던지진 않고 그냥 겜 놔버림 무한 머리박기하고 한타할때도 딜 안함
-
✊️✊️✊️
-
잼민이들 많아서 좀만 겁줘도 입꾹닫 잘해줌
-
속보) 구속 3
-
1학년 2.5 2학년 3.25 3학년 5.3 정도이고 진로선택은 3학년 대부분 C...
-
인설약 땀?
-
만약에..한 10살 넘게 많으면 그때도 내가 선생님이 맞긴 한걸까 김칫국 좀 마시면...
-
내 자랑거리 20
겜 중1때부터 한 거 같은데 채팅 정지나 그런 제재 한 번도 안 받아봄 겜 한정 멘탈 킹임
-
사문하고 설자전이 나은듯 물론 그거도 못가
-
옵치는 욕설로 영정도 먹였음
-
컷보다 몇점 정도 높아야 한다고 봄? 설뱃들 도와줘요
-
고떨하면 그만한 재앙도 없긴한듯 셈퍼점공으론 MinMax 최초합이긴한데.. 친척들...
-
힘들다..
-
난 버틸 자신 없어서 문과로 튀었는데 확실히 전전 기계 이런데 가신 분들 공부량...
-
ㅂㄱㄹ ㅌㄱㄷ ㅇㄹㅈㄴ ㅂㄴㄹ ㅇㅇㅅㅋㄹ(ㄴㄷ)
-
찍었어요... 수치사할뻔
-
나중에 소개팅 나갔을때 써먹어야겠어요
-
내신 2점 중후반으로 애매해서 정시 공부 빡세게 할 생각으로 수능 선택과목 진지하게...
-
진짜 사람아님 잘자요
-
이 입결에 7급 공무원이 말이 되냐 ㄹㅇ sky 문과 나와서 9급 공무원 하는 사람들도 많은데
-
이정도면 내 신붓감 후보가 될 자격이 있지
-
껴안고 자고싶어.
-
예쁜 여고생이 아니라서.
-
3분으ㅣ 1정도 됨
-
치뱃은 달고 싶어서 19
다군에 쓸까 생각했었음 왜 뭐.
-
피아노를 던지면 어떻게 10
피아노
-
근데 여친이 안생기길래 그냥 반수해서 대성공함
-
할거 기억안나서 빙빙돌아다니는걸로 흘리는 시간이 많아짐.. 게임 한정 J인 사람이라...
-
답글 오류 7
나지말라고
-
지잡단점 2
오르비에서 정보를 못얻음
-
딱히 말할게 없네
-
대학커뮤니티 노크에서 선발한 한양대 선배가 오르비에 있는 예비 한양대학생, 한양대...
-
옵붕이 취침 2
잘쟈
-
대학커뮤니티 노크에서 선발한 홍익대 선배가 오르비에 있는 예비 홍익대생, 홍익대...
'어떤 것이 참이다'의 부정은 '모든 것이 거짓이다'이니 대우도 '모든것이 거짓이면(?) 공리가 거짓이다'임
예이~!