증명된 사실을 부정해도 무모순 임을 증명
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
경희대 신설 자유전공(국제)이고 54명 모집입니다. 진학사랑 텔그 마감 직전...
-
일클1주차는 좋앗는데 아니 문학듣는데 배우는게 1도없음 처음엔참앗는데...
-
6개월 이상 찾는다는데 2~3개월만 일하고 싶어서 못 넣은 적이 매번임
-
밖은 너무 비싸요
-
그 사람 연관 검색어 보나요?
-
방학이라 좀 마구잡이로 잡다보니 벌써 4탕을 잡았는데 대학다니면서 커버 가능할까요?...
-
배고프다 5
3연
-
ㄹㅇ 개 시끄러움 ㅋㅋㅋ
-
제곧내
-
채팅을 치면 그냥 게임을 못 이겨그래서 걍 전번 주는 것임 채팅치지말고 전화로...
-
옮창만 남앗구나 9
그리고 왜 오늘 일요닐이냐..
-
커뮤가 이래서 무서워
-
휴 긴장됐어...넘쎄게부르는건아닌가..
-
다들 좋은 하루 보내세요
-
찍었어요... 수치사할뻔
-
과탐 물지1 한다고 하먼 3과목 맞출때 과탐 다버리고 국수영 하는게 젤...
-
가사 개숭함 저런 곡인지 몰랐었는데
-
근데 고3 딸어케침 17
진짜궁금해서그럼 공스타하는 몇몇사람들도 하루 빈틈없이 꽉 채워서 사는 사람들 많던데...
-
닉변 추천해주세요!! 19
!!!!!!!
-
이투스 패스 결제완료 10
박모씨 강의 수강 준비 완료
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다