증명된 사실을 부정해도 무모순 임을 증명
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
반에서 가장 싫어하는 여자애와 결혼하게 되었다. 이 작품이요 라프텔에서 많이 보는...
-
오늘 공부 접는다 15
더 중요한 일이 있어
-
음함수 난이도 대결 14
가장 어려운 문제는 무엇인가요? 1. 200621(가) 2. 220629 3....
-
KT VS DNF
-
국어: 90 90 90 95 98 95 94 수학: 94 95 91 96 95 97...
-
난 지문 완전히 다 읽고 문제푸느넫 친구들은 지문 읽는 도중에 와리가리한다는거듣고충격먹음ㄷㄷ
-
한국사 상식이 없어서 그런가; 개어렵네
-
도넛땡긴다..
-
인스타 맞팔이라도 해놓을걸… 뉴비라서 듀오 은근 재밌었는데 아쉽다
-
다른테스트 가져와라
-
뭐뭐 그럴 수도 있는거니깐요
-
평생 일 안 할래 흐아앙
-
국정원 문학 비문학 달리고 문법만 전형태쌤 인강 들은 다음에 그릿 심화편 사서 풀고...
-
부럽다잉 ㅋㅋㅋㅋㅋ
-
마치 '지능'과 '지식'이 다른 것 처럼, 내 실력(능력)은 이미 정해져있고, 그...
-
1월 내내 다섯잔 마셨나? 사람도 하나도 안 만남
-
인생 처음으로 해보는거 같네요
-
육각덕 테스트 2
베타메일은 됐구나 다행
-
육각덕 해봄 2
가진 게 성격밖에 없네 ㅠ
-
한완수 한완기 교사경까지 돌리고 드릴 1 2 3 4 5 6 돌리고 수특 수완 풀고...
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다