수학 파괴 증명
게시글 주소: 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를 선물하세요.
-
-
개인적인 생각임
-
ㄹㅇ
-
아차단해야겟다;
-
약간만 날렵허게 해줘같이 마법의 주문을 조금만 넣으면 다른사람이 나온답니다 혹시...
-
-
아이유 우울시계 이거 반복해서 들으면 눈물이 쏟아짐...
-
성욕 컨트롤 어떻게 함 12
한 번 생각나면 아예 공부를 할 수가 없던데 이럴 때마다 집 가서 하고 올 수도...
-
꺼야게씀
-
허구한날 현학적인 글 쓰면서 나르시즘 빠져있는거 꼴보기 싫다 투표ㄱㄱ혓
-
지브리는 신이야
-
푸씨 13
ㅡ 푸씨 베이베 맘을 받아줘~
-
ㅈ같다 0
본가 내려가서 엄마랑 나들이갈걸
-
수시제도를 폐지하겠어
-
챗지피티 이새끼는 왜 날 자꾸 미취학아동으로 만드는거임? 6
ㅅㅂ 재미들림
첫번째 댓글의 주인공이 되어보세요.