증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
그냥 이유없이 개추좀 주쇼.
-
재수 준비하고 있는 문과생입니다. 지금 상황으로 봐선 현실적으로 올 2등급 턱걸이가...
-
아직 기출 제대로 돌리기 전인 현역이라 잘 모르는데 수능에 계차수열은 이제 아에...
-
분석 안할거면 문제가 아까움..
-
김동욱 쌤 풀커리 타려는데 기출이 부족하다해서 독서 유네스코 사려는데 어떤가요?
-
집회X발
-
2025 수능성적표 여기서 시작하는데 매일 1,2년 14시간 순공하면 올 1 되는지...
-
마트에서 살꺼없어도 막 마트에서 이것저것 구경하고 가격비교하고 이런 취미가있어서...
-
어떤게 재밌나요
-
너 어딜 감히 3
어딜 어딜 이게 어딜 어딜어딜어딜어딜어딜어딜
-
나중에 자식 생겨서 내신 애매하면 재입학 시키는거임
-
표본 어느정도 들어왔나요? 설경 낸건 아닌데 궁금해서.... 중상위 표본들이 좀 들어왔나요?
-
에휴 시발
-
빨리 풀고 없애버리고싶은데
-
강북도 그닥인가
-
초딩때 그냥 좀만 친해져도 우리사기자 하고 사귀게돠던데 물론 금방깨지지만
-
아 내 돈 쓰기 싫어서 12
엄카로 메가패스 100만원 결제했더니 바로 전화오네 지금 전화 안받고 씹는중
-
술 마심 졸려 1
하암
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다