증명된 사실을 부정해도 무모순 임을 증명
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
나랑 오목뜰사람 2
오목의달인 ㄱㄱ
-
물화는 너무 고여있넹 생지도 마찬가지겟지만
-
밸런스게임 9
앵간치나이먹고 나중에 띠동갑만나기 Vs 20대초중에 민짜만나기
-
얘네도잇고 낚시하는 여자애도 공략가능캐인데 걔도 이뿌더라
-
난 몇년생이랑 첫 연애 12
하게될까.... 05 07 연애글 보고 문득 궁금해짐
-
구라임
-
저는 맨날 4시쯤에 자서 2시에 일어남
-
잘자요 4
-
고능하고 여친잇고 헬스 맨날 다니는 알파메일들 도움!!!
-
생명 스킬 외우고 양치기 하면 늘긴 느나요.. 백호,윤도영,시대 강서 등등.....
-
ㄱ
-
잘 안 되네 남이 하는건 너무 쉬워보이는데 막상 하려니 잘 안 됨… 다이어트 성공해본적이 없아
-
프사 바꿈뇨 4
레어랑 통일했어
-
올해부터 연대 의대 내신 반영하는거요! 혹시 고등학교 때 문과였는 사람은 어떻게...
-
그냥잘래 1
-
이거 버거 진짜 ㅈ1ㄴ 예쁘구나 역시 아이돌은 다르구나 싶긴 했음…
-
난 왜 지금까지 안 잔 것인가
-
커플 ㅇㅈ 14
ㅍ
-
지네집안 잘났다고 은근 자랑하는 ㅂㅅ은 ㄹㅇ 왜저러고사나싶었음
-
컨셉보고 진짜 그사람을 사랑하게됏는데 나중에 저사실컨셉이구 여자 좋아함.. 하면...
-
이정도 봤으면 먹어보는게 예의인듯
-
여자들진짜이러나 13
한달에 한번씩 저러면 몸관리어케하는거지
-
미적 사탐 고점 2
미적 사탐으로 갈 수 있는 메디컬 고점이 어디일까요?? 이론적으로 말고...
-
라멘, 덮밥, 카레같은 서민음식 스시 사시미 장어덮밥 같은 고급음식 둘 다 유명해서...
-
2 하시는 분 있나요? 보통 1하는 게 맞지 않나요?
-
ㅇㅈ 13
애들한테 증사 다 줘버려서 이번에 외갓집 가서 제 증사 좀 꼬불쳐옴…
-
난 몰래 12다리 걸치는 게임인줄 알았는데 내 두번째애인이 네번째애인 언급하면서...
-
유튜브로 배우는 중인데 잘 안 댐… 다들 재능충인거임 내고 싶다고 해서 쉽게 내지는게 아닌듯
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다