수학 파괴 증명
게시글 주소: 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를 선물하세요.
-
-
국어 올오카 9,10주차 다 끝내기 (매월승리도 맞춰서) Tim,kbs 다 쫓아가기...
-
타다키미니하레 2
짝
-
현실에서 남자한테 못받는 관심을 받기 위함일까 얼굴 안봐도 생김새가 보이는듯함 근데...
-
-
시머인재 타이머엔 닉네임 3글자를 설정할 수 있고 내가 지정한 다른 학생과...
-
쪽지해 ㅎㅎ
-
만우절~~
-
.
-
-
처음 들어보는데 전자기타 소리가 너무 좋아요
-
20일 어케 기다려야하냐…
-
새벽여캐투척 6
음역시귀엽군
-
잘자요 3
이건 진짜임
-
저사실경희의임 6
bl짤단톡방에뿌려서반수해야함 큐ㅠㅠㅠㅠㅠㅠ
-
아 기빨려 4
진따 뮴먐은 과탐하러감
-
연세대>고려대임 1
난 연세대학교 공과대학 다님
-
외진 나가서 선생님 먹고싶다
-
그치 벤티야?
-
저격먹기는 가능하더라고요
-
겠냐고 딱봐도 오르비할거같이 생겼는데
-
이전 프사 나눔 3
수요 없는 공급
-
그쵸
-
-
한번 더 할생각임.
-
근데 난 만우절도 아닌데 짝녀한테 고백멘트 ㅈㄴ햇음 4
나 너 결혼식때 깽판칠거야 너 대학가서 남친사겨오면 나 너무 슬플 거 같아 내가 너...
-
동기오빠가 날 설레게 해요 내가 못꼬실 줄 알고? 잡담방에 공개고백 갈긴다
-
미적2틀 0
작수 미적2틀인데 기하로 트는게 맞을까요? 참고로 기하 1단원만 좀 알고 나머진 노베임다
-
-
공산당원786543908위 서열로써 매우 만족하는.
-
왜클릭함 진짜 왜 클릭함
-
-
나 개발팀인데 2
오르비 지켜보고있다
-
만우절 순애 3
대가리 깨져도 순애임
-
-
-
여행 예약 잡으신 분들은 어쩜? 4월에 놀러가려고 비행기 숙소 예약 다 잡아놓으신 분들 여럿 봤는디
-
정해인 비하한 적 없습니다.
-
-
-
뭐가 재밌을까
-
불근불근
-
만우절 질문 받아요 16
전부 반대로나 거짓으로 대답해드려요!
첫번째 댓글의 주인공이 되어보세요.