증명된 사실을 부정해도 무모순 임을 증명
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
아. 5
시발…
-
출근중 4
돈벌고온다
-
난 준비됏음
-
육각덕 테스트 6
갓 20살 재수생은 어쩌라고 ㅅㅂ
-
왜 외모a? 나안예쁜데
-
일본어 공부시작
-
와리만해요..
-
에...? 4
뭐지 이게 아닌거 같은데
-
물1 48 (만표 '66') 화1 48 (봐줬다...) 생1 47 (과탐의 마지막...
-
어휴 그냥
-
육각덕 6
수능 누백하고 비슷허네
-
나도육각덕해봣서 6
외모F라우럿서…
-
지방 약대 5
지방 약대 합격했는데 재수해서 인서울 약대로 옮길 가치가 있을까요? 진지하게 알려주세요
-
일단 시켜놨기는 한데
-
나름 성대반수생인데 크흠...
-
화2는 어떨까 화1만점권친구들은 수학도 고정96-100이라 계산은 다들 ㅈㄴ빠르긴하던데
-
끝임요? 한번 더 못 넣음?
-
조졌음 6
두각인데 앞자리에서 이상한냄새 개많이남…
-
특정당하려나요
-
다 외모 문제 근데 나머진 괜찮네
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다