증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
선생님이라고 불러주고 젤 아끼는 쌤이라고 칭찬해주고 이러니까 그냥... 자발적...
-
정시러만 뽑음? 아니면 상관없이 수능숳학만 잘보면 오케이 인건가
-
여긴 이제 꽃이 진다..
-
좋나여?
-
그땐 그냥 학교가서 잤던것같음
-
adhd 의심했었는데 피곤하니까 걍 ... 잡생각조차흐기싫네
-
졸려.. 0
-
지각이야ㅜ지각~ 1
식빵물고 뛰는중
-
D-220 0
국어 내신 범위 문풀 수학 오답노트 복습(20문제) 다짐을 하고도 어제는 지키지...
-
기상 1
커피마시고 잠깨서 집가야징..
-
앜ㅋㅋㅋㅋㅋㅋㅋ
-
과외 1/3 시급 받으면서 수업을 해야한다는ㄱ 믿기질 않음
-
1.대충 써도 순위 안에 들어서 유의미한 보상을 받을 수 있을 거라고 생각하는...
-
진짜임
-
낄낄낄 2
1교시,..
-
열 다시 나노 0
와 이라노
-
저격 1
-
급함
-
더자고싶다 1
ㅠ
-
얼버기 2
하 월요일이라니
-
언매 빡공 시작
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
3주 남았는데 내신에 올인 해야 하나요 어니면 20프로 정도는 정시 공부 해야하나요
-
흐물흐물 0
말랑말랑
-
관세의 기능과 종류 - 수특 독서 적용편 사회·문화 07 0
안녕하세요, 디시 수갤·빡갤 등지에서 활동하는 무명의 국어 강사입니다. 오늘은...
-
오늘 만우절이네 1
ㄷㄷ
-
난병신이다 !! 1
우히히
-
삼각함수 그래프까지만 들으려 하는데
-
2025학년도 사관학교 영어 1차 시험 기출문제 18번 문장별분석 1
2025학년도 사관학교 영어 1차 시험 기출문제 18번 해설 ( 선명하게 출력해서...
-
어이가 업슴
-
진지하게 4
1도 안 졸리다11시는 되야 잔다
-
잘까나 4
-
우으 3
절대 못 자
-
새르비 '완' 4
완
-
앉아있을때요
-
강남을 올때마다 느끼는게 있다 이 시발동네는 위치선정을 잘못했다 이런 병신동네가...
-
가형 친구들이 많이서 실수한거를 알이주세여
-
안깨게 준네 조용히 가야지
-
진짜 다 자냐? 2
내가 또 샷다 내려야돼....하
-
그림 그려봣음 6
-
개 작음..
-
ㅈㄴ 무거움
-
오르비 안녕히주무세요 10
해 뜨고 봐요
-
이사람이 내 이름임
-
움직이질 못하겠어
-
본인은 수학관데 수학 못해서 엉엉 우렀어
-
히히
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다