나 드디어 수학 파괴함
증명할때는 공리들을 이용해 어떤것이 참임을 증명한다
즉
공리가 참이면 어떤것(결론)이 참이다
대우는
어떤것(결론)이 거짓이면 공리가 거짓이다
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
어떤것(결론)이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
즉, 증명된 사실을 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이거 버거 진짜 ㅈ1ㄴ 예쁘구나 역시 아이돌은 다르구나 싶긴 했음…
-
난 왜 지금까지 안 잔 것인가
-
커플 ㅇㅈ 14
ㅍ
-
지네집안 잘났다고 은근 자랑하는 ㅂㅅ은 ㄹㅇ 왜저러고사나싶었음
-
컨셉보고 진짜 그사람을 사랑하게됏는데 나중에 저사실컨셉이구 여자 좋아함.. 하면...
-
이정도 봤으면 먹어보는게 예의인듯
-
여자들진짜이러나 13
한달에 한번씩 저러면 몸관리어케하는거지
-
미적 사탐 고점 2
미적 사탐으로 갈 수 있는 메디컬 고점이 어디일까요?? 이론적으로 말고...
-
라멘, 덮밥, 카레같은 서민음식 스시 사시미 장어덮밥 같은 고급음식 둘 다 유명해서...
-
2 하시는 분 있나요? 보통 1하는 게 맞지 않나요?
-
ㅇㅈ 13
애들한테 증사 다 줘버려서 이번에 외갓집 가서 제 증사 좀 꼬불쳐옴…
-
난 몰래 12다리 걸치는 게임인줄 알았는데 내 두번째애인이 네번째애인 언급하면서...
-
유튜브로 배우는 중인데 잘 안 댐… 다들 재능충인거임 내고 싶다고 해서 쉽게 내지는게 아닌듯
-
남캐일러 투척. 29
+여캐두명 음 역시귀엽군
-
다시 푸러볾가 2
귀찮네..
-
제발 급함
-
롤 안하고 발로란트 한다는데
-
복사버그네 5
이왜진
-
새르비 멤버가 3
많이 바뀌었네요
-
나보다 목소리 예뻐서 솔직히 열등감 좀 느꼈음 ㅅㅂ… 이 악물고 칭찬해줬다…
-
....?
-
내일은 일찍 일어나야해요
-
님들 뭐해요? 10
:]]
-
오르비 안녕히주무세요 15
저 내일은 일찍 일어나야해요
-
오르비 망함? 2
낼 연휴아니라그런가
-
ㅇㅈ 5
오뿡아 또 낚인거니?
'어떤 것이 참이다'의 부정은 '모든 것이 거짓이다'이니 대우도 '모든것이 거짓이면(?) 공리가 거짓이다'임
예이~!