증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://ys.orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
아이보리 잠바 이거 특수과에서만 살수있는건가요? 너무 취향인데 아니면 학잠인가요??
-
환자가 수두라고 진단해봤자 대체 의사에게 무슨 이득이 있지? 법정전염병 신고 즉시...
-
방구 4
-
사문 윤성훈T,임정환T 수업방식이 어떤부분이 비슷하시고 어떤 부분이 차이가...
-
2024 10모는 수학 만점자가 ㄹㅇ한명임...
-
으엑...슈크림 붕어빵이 너무 비려요 이거 슈크림 맞아요?? 5
그러면 팥붕으로 드릴까요
-
-
중3 나이때 첫 수능보고 고등학교 입학함 다들 수시가 정시보다 훨씬 쉽다길래 내신...
-
언제하냐
-
vpn 켜서 그런 거였네
-
1컷 88 만표141 예상이였는디 88에 140 물론 만점자수가 좀 많이...
-
??
-
윤성훈 기출 뭐이리 비쌈 ㅅㅂ 사문 처음 하는데 그래도 좋음?
-
한국사임 39점 이게 공부 안하니까 국자감이 어느 나라 건지도 모르겠더라.. 바로...
-
스투보다 잘함??
-
왜 지금보니까 눈썹위지
-
미드 하우스에 나오는 진단의학과와 제일 유사한 전공 0
정체모를 괴질이 돌았는데 삼성병원 감염내과 교수가 이게 메르스라고 진단을 해냄...
-
아니면 팀 구성원임
-
-
뉴런 스블 ㅠㅠ 1
06이고 현역 수능 81점입니다 재수하는동안 수학을 더 제대로 다지고 싶은데 지금...
-
냄새나요?
-
릴스에 있는 기타 연주 영상을 들을 수 있음. 잘 치진 못하지만 또 듣기 싫진 않음.
-
이번에 고3되는 학생입니다. 고1~2 때 계속 2등급 나오다가 한 번 4 뜬 이후로...
-
제발
-
노래 좋네요
-
그러면 정말정말 고맙겟어오...
-
그땐 미쳐 알지못했지…
-
센츄리온 2
내일 나오나요??????
-
재수할 땐 쳐다보기도 싫었음 다시 들어보니까 좋네
-
-
3년 내신 총합 1.27 6월 11222 9월 11112 수능 21225 최저용으로...
-
마 자신있음 들어온나
-
ㅈㄱㄴ 인터넷에는 pdf밖에 없길래 올려용 문제 배치는 가나형때처럼 1~21 / 22~30로 해놨음
-
바지 글보고 예전에 만족스럽게 산 바지 찾아보려 다시들어갔는데 ㄷ;
-
현역 기하 커리 2
지금은 시발점 본교재로만 공부하고있는데 이거 다 하면 기출로 바로 가야할까요?
-
고점매수에 단단히 물린 기분인데 타과 애들 시간표 짠다 엠티간다 하다못해 단톡방...
-
부엉이가 되자 0
외대생이 되는거야
-
임정환 풀커리에 현돌 기시감이나 유명한 모의고사 하면 되나요?
-
ㄹㅇ 개민폐니까 여기 혹시 그런 사람잇르면 자제좀요.
-
투표부탁드려요
-
재수 고민 1
언미영물1지1 96 97 2 3컷 3컷 시대재종 vs 시대 단과(라이브)듣고 재수...
-
윤도영t가 쁘띠한 드레스 입은거 생각나잖아..
-
이래서야 밥을 이때 먹을수밖에 없잖아
-
"평가원스럽지 않음" 심심하면 풀어보세요 최초 정답자 10,000 XDK
-
당신은 해변의 여자 하지만 너 없이 난 해변의 환자~~~~~
-
사랑에 난 빠져버렸어 혼자인 게 좋아 나를 사랑했던 나에게
-
허락도 안 받았는데 되겠냐고 ㅋㅋㅋㅋ 1도 안 궁금함
-
이 책 잼있네요 올비분들은 어떤단어책 외우시나요???
-
있나요
-
랩만 안했으면 좋겠음 마마봤는데 못봐줄정도로 오글거림
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다