증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://9.orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
3년 내내 학교다니면서 스트레스 엄청 받지 않으셨나요 쌤들이 말하는게 다...
-
3년만이야… 하…...
-
지베가지마 베이베 10
약간 mz같네 이노래
-
군대? 3
나민증 발급도 안한 응앤데
-
근데 실상은 아직 미성년자라는거임
-
아
-
전 일단 수시 의/정시 한의 설공 이정도(정시 커하는 인설의)
-
연세대 의대인가 그거 최초합 합격증인증 D-며칠 이렇게 하다가 진짜 합격하신분
-
이걸 못 본다고? 부정선거 없다는 사람들 시력 검사 필요함ㅋㅋ 0
0.7%p로 미세하게 이긴거 안보임?ㅋㅋ 그리고 찢재명은 왜 평소랑 다르게 불복하지...
-
작년 내내 공부했는데 만족스럽네요
-
네
-
시대인재 부엉이니까 이름을 시붱이로 지을 생각이에요 잘 지내보자 시붱아
-
뭐지 이사람들은 3
여기 분위기 이상해졌어 이쁜애면 그냥 말잘듣는애구나 생각해줘도 되잖아
-
공군 너무 복잡해...
-
이 녀석보다 똑똑해짐 특히 요즘 에피소드 보면 노진구의 학업 성적은 몰라도...
-
ㅋㅋㅋ 입시판 재미가 이런건가
-
하반기가면서 과탐 시간늘리고 이런식으로 운영하는게 정배?
-
관리형독서실 3
관독 다니려고 하는데 잇으이랑 청솔중에 고민하고 있어요 공부계획 잘 짜주고 관리 잘...
-
미적과탐 - 이과 확통사문 - 문과 미적사탐 - 굳이 확통과탐 - 뭐지
-
ㄱ
-
1. 고2때까지 수학에 대해서 자신이 없었음.(우울증을 자가치료하는 상황에 2학년...
-
국영수가 셋다 너무 하기 ㅈ같은데 과학은 덜 ㅈ같고 문풀하다보면 오히려 흥미가 있음...
-
이거 어떻게앎?? 며칠에 발표하는지 나옴?
-
수능 긑나고도 말했던 거 같긴 한데
-
그럼 그렇게 강력한 야당이 왜 대선을 짐?
-
쉽지않네.. 3
눈안뜨고싶다
-
학원 전부 정리하는중에 내과외가 정리당했는데 어캄 ㅋㅋ
-
칵테일만 묵다가 5
생맥 마시니까 마시따
-
수학과외 잡음 6
나 자신을 과외 하기로함 근데 맨날 숙제 안해옴 그래서 나도 대충하는 중임 서로 말...
-
성대 사과 0
가군 217명 모집 예비 27 될까요..?
-
전 한 번도 못 봤는데 열품타 켜두고 쳐자는고 말고 집중 상태로 14~15시간이...
-
공스타특 2
책 다 펼침 대각선으로 겹쳐서 놓음 글씨 레전드
-
아직도 모름? 부정선거 부정하는 사람들 5초 컷 논리 박살 3
시원하게 그냥 딱! 사전투표 선거인명부가 서버에만 있으니까! 논란되는 몇군데....
-
안녕하세요 '지구과학 최단기간 고정 1등급만들기' 저자 발로탱이입니다. 지난 1년간...
-
평균 6등급인데 과탐 지1 생1임 생1은 너무 재미없고 힘든데 지1은 할만함 사탐은...
-
https://m.dcinside.com/board/physics2/694043...
-
친목 뜻 5
친할 친 나무 목 ->나무의 관계만큼 친하다
-
걍 30빼고 다 풀긴했는데 너무 불안했음 21 22 29 얘네가 확신하기가...
-
문과인데 외대 건대를 왜 고민함? 닥 외대 아님?
-
곧 놀러가는데 맛집이나 할 거 등등 좀 추천해주시면 감사하겠습니다
-
작수 백분위 81로 3등급입니다 수능 끝난 이후로 수학에 손놓고 살았더니 미적의...
-
마스터한테 배우니까 개박다가 피드백 받으면서 하니까 1142 해버림 레전드
-
실존인물을 극도로 싫어하게되는걸 이해를 못하겠음 단순히 싫어하는건 그럴수있는데...
-
심심하당 6
심심
-
약간 개념이나 건실하게 하는건 부실한데 그냥 직관이랑 개형찍기로 얻은 점수인것같아서...
-
관련해서 말 꺼낸적 한번도 없는데 그냥 제가 좋아할 것 같아서 사주셨대요 엄마도...
-
열품타나 공스타 같은데 보면 매일 공시 14시간, 16시간 찍는 분들 계시던데...
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다