증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://w.orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
배고프다 6
근데 움직이기 시름
-
나니아연대기 광팬이었음 14
수잔인지 수지인지 뭐시기는 ㄹㅇ 엄이라 생각함
-
증명이란 특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을...
-
하아 또 과외 1
녹을 것 같아
-
지금 일어난게 아니라 아직 안잤어요...
-
피아노를 던지면 어떻게 10
피아노
-
욕 한 번을 1년에 쓸까말까한 ㄹㅇ 클린 유저
-
초반에 내 존재를 알리기위해 팔로잉 껏다켯다 연타함 신호가 안가나봄 근데 그래서 엄청 뒤섞임
-
언더테일 진짜 재밋엇음 사실 이미지가 좃망해서 그렇지..
-
알바앱보면 사장이 원하는 기간이 있잖아요 혹시 군대같은 어쩔 수 없는 사정으로...
-
브론즈5명vs챌린저5명 해도 1557은 쉽지않을듯…
-
3->1 가는 기준... 뭔가 처리속도가 느려서 과탐을 못하는거 같기도.. ㅠㅠ
-
컴공 일기265 11
https://school.programmers.co.kr/learn/courses/...
-
원래 불법재르비는 확인되면 사형당하던데 빌런 아닌 이상 놔두네
-
경희대 신설 자유전공(국제)이고 54명 모집입니다. 진학사랑 텔그 마감 직전...
-
일클1주차는 좋앗는데 아니 문학듣는데 배우는게 1도없음 처음엔참앗는데...
-
6개월 이상 찾는다는데 2~3개월만 일하고 싶어서 못 넣은 적이 매번임
-
그 사람 연관 검색어 보나요?
-
배고프다 5
메타인가?
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다