증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://i.orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이명학T 교재는 매년 바뀌는건 별로 없으니 교재패스 무지성 구매보단 단강좌...
-
국어가 아주 효자임
-
후후
-
성적 먼저 말하자면 25수능 64356 전과목 노베입니다. 6월까지 알바 한 후에...
-
진짜 굿바이 카이스라니 20년 30년이지나도 안끝날거같던 대학입시가 끝이라니
-
사랑한 나를 뭐가 그리 바쁜지 너무 보기 힘들어
-
으로 들어가도 장학제도 있나요?
-
뭐이렇게 많아 3
사평우 뻘글머신인건가
-
저가 4~5 뜨는 노베라서 궁금하네여 헬스터디 보고 충격 받은 거도 있어서
-
넘 쪽팔리고 심란해서 책 덮고 사탐 하는중
-
제가 대성패스를 끊었는데 이미지쌤이 노베한테 좋다는데 들어도 될까요 현재 수학...
-
탐구 수특 수완 열심히 봐야할듯
-
의사들의 인원제한이 독과점 지키기의 핵심인건 미국이나 한국이나 같네요 차이라 하면,...
-
[일상 속 작은 시] 여행에서 만난 치유의 자작시 - 흐린창밖 3
[일상 속 작은 시] 여행에서 만난 치유의 자작시 - 흐린창밖 안녕하세요, 시를...
-
ㅇㅂㄱ 3
ㅈㄱㄴ
-
ㅠㅠㅠㅠㅠㅠ
-
꾸준한 상승 보다는, 한동안 정체됐다가 우리 세대가 40 50 먹고 한번 폭등할 것...
-
1차를 497명 중 348명을 뽑는데 점공 인원 중에서 1차 합격자는 총...
-
4등급이 알려주는 국어 필승법 : 어떻게 해야지 성적을 올릴까? 1
는 모르겠고 피자 엎은 아냐나 보세요
-
러셀기숙 들어갈 예정인데요 대치동현장강의영상이랑 현강이랑 선택하라는데 뭘 고르는게...
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다