증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
개 쪼이네 진짜
-
어떻게 생각하시나요
-
냄새나요?
-
석박지를 넣어 끓인 크림스프+밥 크림스프의 느끼한 맛을 석박지가 잡아주어서 맛이...
-
그거 난데 연대자연으로 교차했는데 붙을거 같음 동지 있나??!!!
-
키미노 운메이노 4
히토와 보쿠쟈나이
-
심쿵사2 2
-
세상이 말세구나....
-
-
하..
-
홍대vs아주 8
ㅈㄱㄴ
-
심쿵사 2
-
설약 설수의도 5
무조건 2하나 껴야되나요?
-
으흐흐 4
(음흉)
-
고려대도 낮은과는 붙을거 같다고 상담받았는데 모고 좀 나온다고 정시파이터한다고...
-
-
나랑 별 보러 가지 않을래
-
ㅈㄱㄴ 인터넷에는 pdf밖에 없길래 올려용 문제 배치는 가나형때처럼 1~21 / 22~30로 해놨음
-
? ? ? 왜 oriental medical 이 아닌거지
-
안녕하세요 갓반고 다니는 예비고2입니다..저희학교가 내신따기가 많이 어려워서 정시에...
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다