증명된 사실을 부정해도 무모순 임을 증명
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
병신민족
-
고대생이랑 연애하기 cc는 ㄴㄴ
-
국어고민 ㅜㅜㅜ 3
고3이구여 고3 3월 국어쳣는데 5뜨더라고요.. 시간이 너무 부족해서 문학을 거의...
-
...
-
저 골드만 썼었는디 허오(하오아님)가 더 났나요
-
애미뒤졋다진조죠나아나요뵶노토ㅓ터우투콬
-
올해 2
점수를 뻥튀기 하기위해 다가가려 노력해야할 것: 적백, 과1 50
-
자기가 얼마나 외모에 신경을 쓰고 관리 해왔는지를 보는거임 자신의 외모에 신경을...
-
디맥하자 디맥 4
근데 디맥 까는데 한시간넘게걸림 어제밤동안 2시간동안 깔았는데도
-
고전이 최고지= 3
고전전이최고지
-
우두머리(수괴)는 사형 또는 무기징역 처한다고 형법에 규정 대통령 불체포특권의 예외...
-
아프리카티비가 soop으로 이름 바뀌었네 이제 알았다는.. 언제부터 바뀐거지
-
진짜 잘 모르는데 애초 평소에는 교복만 입으니까 딱히 뭘 차려입을 겨를도 없고 근데...
-
강남 대성 본원 2
강남대성 본원 재종반 3합 6이고 수학이 4인데 들어갈 수 있을까요?
-
-
이명학T 교재는 매년 바뀌는건 별로 없으니 교재패스 무지성 구매보단 단강좌...
-
국어가 아주 효자임
-
진짜 굿바이 카이스라니 20년 30년이지나도 안끝날거같던 대학입시가 끝이라니
-
사랑한 나를 뭐가 그리 바쁜지 너무 보기 힘들어
-
뭐이렇게 많아 3
사평우 뻘글머신인건가
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다