증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
국어 78 2등급-유대종은 신이야 수학 4등급 영어 91 1등급-만년 3에서 첫...
-
공부 0시간
-
3-1 내신 시험범위가 수특이라서 수특 분석 완전 꼼꼼하게 해주시는 강좌 추천좀...
-
15번 손풀이 4
는 아니고요 어제 버스에서 술마시고 돌아오는길에 푼거ㅋㅋㅋㅋ
-
김범준 선생님 2
한 번만 믿어드립니다. 앞으로 똑바로 하세요!!!!!!!!!!!!!!!!!!!!!
-
염병 2
염병할
-
ㅠㅠ
-
먹이가 없으니까 배고프다 https://orbi.kr/00072605752
-
미적->확통 화학->사문으로 바꿈 원점수 화작 83 확통 76 영어 84 사문 47...
-
풀이가 이래서 할 말이 없네 무튼 a = 3이면 모든 실수 x에 대해 f(x) >=...
-
진짜로 고3 인 현역인데 중3때부터 좋아하던 여자애가 중경외시 수시 쓸예정인데 전...
-
총평 N제 냄새가 많이 났다. (14, 21, 22) + 국어형 문항 비중이...
-
급식 받으면서 이름 옆에 체크 하는 곳에 이혜원이라는 친구 있는데.. 옆에 N제라고...
-
국어 85 수학 84인데 백분위 99찍히네 수학 그렇게 어려운거 같진 않은데 일단...
-
노베 3수생인데 세계사 작수 뒤통수맞아서 1받다가 4등급받아서 이번에 다른 사탐으로...
-
길거리에 개많은듯
-
국어 5등급 노베엿던 사람 이번에 모고 몇 떴ㄴ나요......... 윤혜정 개나비+...
-
일단 문장이 이해가 안되는게 9! 해야 되는지 각 반마다 만족하라는건지 모르겠네
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다