수학 파괴 증명
게시글 주소: 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를 선물하세요.
-
떡밥뭐임 7
?
-
중력의힘을 거역할수 없으니까
-
게임 ‘전략적 팀 전투’에서, 유닛들은 ‘공격 속도’라는 스탯을 가지며, 한 번...
-
20일은 길다..
-
"실전 모텔"
-
분신술 써서 개념글 올림
-
국가망입니다 하위하위
-
합격증주작 에타주작 학교생활은 망상으로 생각해낸거임
-
근데 덕코 없이 닉네임 바꾼 분들은 20 일을 어찌 참아내려고
-
저 사실 07임 0
.
-
하아으아앗앙 4
그럼 걍 안에 할게 ㅎㅎ
-
전 후 흠... 지피티로 이런 거 됨?
-
퇴근하고 오르비하는중
-
논술을 해야하나 1
어짜피 할꺼면 빨리 시작하는게 낫지 싶으면서도지금 딱 현상황으로는 할 생각이 아예...
-
나중에 다시 올리긴 그렇고.. 걍 알아서 읽을 사람은 읽겠지
-
개허수라 죄송합니다...
-
ㅇㅅ빔 2
뷰르릇
-
문제풀때 유용하게 사용됩니다.
-
나보다 팔로워 적은거보니까 짭이네 ㅡㅡ
-
으으읏 근 하지마~~
-
가보자기
-
안녕하세요 물괴물괴입니다. 오늘은 제가 현역정시설의를 쟁취할 수 있었던 가장 큰...
-
.
-
나쁘지 않을지도..
-
?
-
긴 막대자석을 원형 도선에 넣었다 뺐다 반복해서 전류를 탄생시키는게 뭔가뭔가임
-
자야지 2
-
빨리 피램 쌤도 2D화해줘이
-
어떻게 되냐
-
개인적으로 담요단이고 대수학이나 역학에 거부감이 있더라도 공대를 가는 게 현재의 대한민국에선 맞다고 생각함. 1
일단 출산율이 0.75인데 이것부터 답이 없음. 지금 태어나는 애들은 나중에...
-
난이도 좀 있는 문제집 추천해주세요~
-
심심하면 0
할거를 찾아 세상에 얼마나 할거가 많은데 심심할 이유 하나도없음
-
담요단이네 키타짱
-
힘 다 빠졌어 13
만우절 컨셉 끝
-
계정복구했다 4
-
족발 안와서 일단 다른거부터 먹을려고함
-
속보) 심찬우 쌤이 초 카와이 안경 존잘남이 됐다? 3
헉 캬~
-
아가 자야지 4
모두굿밤
-
-
ㄱㄱ혓.
-
재수해서 홍대 전전 붙엇는데 만약 1년투자해서 (아마 반수할거 같습니다,,) 중시경...
-
저격합니다. 6
저 격해요....♡
-
국립대라 그런지 학비가 저렴한 건 좋네요.
첫번째 댓글의 주인공이 되어보세요.