수학 파괴 증명
게시글 주소: https://orbi.kr/00072652383
모순과 거짓의 관계
모순<->(p and not p)<->거짓
모순<->거짓
대우명제는
무모순<->참
-------------------------------------------------------------
귀류법
1. (A가 거짓->모순)->(A가 증명있음)
1의 대우명제는 2.
2. (A가 증명없음)->(A가 거짓 and 무모순)
무모순<->참
3. (A가 증명없음)->(A가 거짓)
3의대우명제는 4
4. (A가 참)->(A가 증명있음)
-------------------------------------------------------------------------------
5. (A가 공리)->(A가 증명없음)
3과 5를 연결한 6
6. (A가 공리)->(A가 거짓)
6의 대우명제는 7
7. A가 참->A가 공리아님
--------------------------------------------------------------------------------
8. A가 공리->A가 참
4와 8이 연결된 9
9. A가 공리->A가 증명있음
9의 대우명제 10
10. A가 증명없음->A가 공리아님
--------------------------------------------------------------------------------
9는 거짓
그리고 8도 거짓
왜냐하면 4와 8이 연결된게 9인데, 4는 귀류법이 옳다면 참일수 밖에 없음
따라서 9와 8의 부정형이 참임
9의 부정형은 11
11. A가 공리 and A가 증명없음
8의 부정형은 12
12. A가 공리 and A가 거짓
12가 참이라는건 공리면서 거짓인 명제 A가 적어도 하나 존재한다는것
그리고 거짓과 모순이 동치이므로
모순인 공리가 존재한다는것.
모순이 발견되면 모든 명제가 참이됨
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
나보다 팔로워 적은거보니까 짭이네 ㅡㅡ
-
으으읏 근 하지마~~
-
가보자기
-
안녕하세요 물괴물괴입니다. 오늘은 제가 현역정시설의를 쟁취할 수 있었던 가장 큰...
-
.
-
나쁘지 않을지도..
-
?
-
긴 막대자석을 원형 도선에 넣었다 뺐다 반복해서 전류를 탄생시키는게 뭔가뭔가임
-
자야지 2
-
빨리 피램 쌤도 2D화해줘이
-
어떻게 되냐
-
개인적으로 담요단이고 대수학이나 역학에 거부감이 있더라도 공대를 가는 게 현재의 대한민국에선 맞다고 생각함. 1
일단 출산율이 0.75인데 이것부터 답이 없음. 지금 태어나는 애들은 나중에...
-
난이도 좀 있는 문제집 추천해주세요~
-
심심하면 0
할거를 찾아 세상에 얼마나 할거가 많은데 심심할 이유 하나도없음
-
담요단이네 키타짱
-
힘 다 빠졌어 13
만우절 컨셉 끝
-
계정복구했다 4
-
족발 안와서 일단 다른거부터 먹을려고함
-
속보) 심찬우 쌤이 초 카와이 안경 존잘남이 됐다? 3
헉 캬~
-
아가 자야지 4
모두굿밤
-
ㄱㄱ혓.
-
재수해서 홍대 전전 붙엇는데 만약 1년투자해서 (아마 반수할거 같습니다,,) 중시경...
-
저격합니다. 6
저 격해요....♡
-
국립대라 그런지 학비가 저렴한 건 좋네요.
-
ㅈㄱㄴ
-
실망
-
ㅁㅌㅊ?
-
졸리다 5
자러가볼게요
-
나도 댓 달아줘 나쁜 놈들아
-
잠 잘오는법좀 2
ㅈㄱㄴ
-
어떤것도 질문받는다 해
-
대머벨
-
나무위키 읽는데 재밌네요
-
네페 대란 12시 직후부터 몇 분에 하나씩 쓰고 있는 놈
-
정사하다 병걸림 1
트위터까지 하면 안되는거였는데 ㅠ
-
얘들아 지금이야 26
어서 고백해
-
워 씌 쭝궈런 0
해킹했다 해
-
쌀먹이 먼 뜻임 9
나만 모르나
-
선착순 4명 12
1000덕
-
뭔가통계가많아서애들좀힘들어할줄알았는데 10번실수한내가참부끄럽네 이거진짜2등급나올수준일까요
-
【단독】 서울대, 세종시 이전 검토… “빠르면 2030년부터 적용” 10
본문: 교육부와 서울대학교가 최근 논의 중인 **‘국립대 통합 및 지역 균형 발전...
-
이전 세계에서 드래곤한테 로드킬 당했는데 눈떠보니 여기였음ㅠㅠ
-
만우절~
-
응...
-
이 왜 진
-
왜 클릭
-
그래서 ㅈ같을 때마다 부계 꺼내서 저격함
-
무슨말을해야하지 4
쉽지않네
첫번째 댓글의 주인공이 되어보세요.