증명된 사실을 부정해도 무모순 임을 증명
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
요즘 중독된거 2
김치볶음밥 너무 맛있어용!!
-
안녕하세요 저는 오래전에 수능을 쳤던 연세대 경영학과 졸업생입니다 (제가 요즘...
-
2.5가 정배죠? 서울기준?
-
해보신 분들 알려주세요
-
저 영어 빼고 12개인데 국어가 절반을 차지함
-
첫닉은 11
하이샵
-
그냥 오버워치를 너무 사랑할 때가 있었는데 역할고정 나오고 정 다털려서 접음 딜러...
-
뭔가 인강듣는 시간 아깝고 2배속으로들어도 뭔말인지 알아들어서 강의는 다 2배속으로 돌려봤었는데
-
시호게이가 풀길 바랬지만 넘 늦게 올렸으니... 낮에 다른걸로 다시 가져와야겠음뇨
-
일요일인데 그냥 찾아가서 상담받으러왔어요 하면 되는건가요..? 강대랑 이런데는 제가...
-
만약에..한 10살 넘게 많으면 그때도 내가 선생님이 맞긴 한걸까 김칫국 좀 마시면...
-
원래 새벽롤이 좋은데 10
대충 3인큐 정도 돌리면 같은 팀으로 듀오를 만나는데이 듀오가 ㅈㄴ 분노 유발...
-
진짜 망함 11
4자리 숫자만 보면 1557 생각남..
-
유혹의 기술 18
으흐흐흐
-
오자마자 재고정리하고 바로 휴식시키네 이제 남은 7시간 연속으로 굴러야하는데 이게맞아?? ㅋㅋㅋㅋㅋ
-
행복하세요!!! 23
꼭 행복하세요!! 그리고 좋은 밤 보내세요!!
-
존나 싸워;;;;;;; 님들 에타도 이래?
-
18년부터 지금까지보다 도파 기다렷던 시간이 훨 긴거같애
-
감기 걸려서 그런가
-
사람은 안바뀐다 노력도 재능이다 이런 말을 너무 많이 들었는데 현역때나 재수때나...
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다