수학 파괴 증명
게시글 주소: 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를 선물하세요.
-
보통 형 나이 대부터는 직업 먼저 물어보기 때문에 직업이 효과가 더 좋긴 한데,...
-
1. A : "A는 거짓" 2. A가 참이면 A는 거짓 3. A가 거짓이면 A는 참...
-
''원순모음'' 5
+한 명 추가
-
-
이감 슬림 뭐 그거 살라카는데 13회분이면 양이 좀 적어보여서 고민이네여.. 파이널...
-
아오
-
드릴드 푸는데 0
시간 좀 걸리는데 ㄱㅊ아여….? 한 챕터에 2-3개씩 틀리는데 시간이 평소 수학 풀...
-
속보) 상위 6개 대학 자연계열 지원하려면 과탐 선택해야… 입학처장 공동 의결 0
이게 왜 진짜가 아님
-
현정훈 커리 0
트레드밀만 듣고 러쉬 건너뛰고 스프린트부터 다시 들어도 됨?
-
구라를 치려면 크게쳐야지
-
서로 얼굴 볼 일 없으니 좋다고해야할지.......
-
시간 얼마나 걸리셨나요..?
-
엄 0
-
지금이왜낮이야 2
졸리면밤이지
-
만우절 지나면 2
이름 다시 원래대로 되돌려야하나ㅡㅡ
-
배고파 4
-
-
번호입력했음 지각아니겠지?
-
는 만우절 장난
-
믿어봐 문장편 0
작년책 그대로 써도 되나요??
-
김기현 아이디어 1
작년 책 그대로 써도 되나요??
-
3호선 안국역 (양 방향 다) 무정차 통과 예정이래요
-
박광일 훈련도감 강의 교재(이투스 판매)에 해설이 달려 있습니까? 아니면, 해설이...
-
12.3 비상계엄 후 123일차인 4월 4일 탄핵선고 5
12월 3일로부터 윤년 없이 122일이 지나면 404거든요? 근데 1203을...
-
우우우웅 잘 잤어용?
-
-
지2 홍보대사 에피메테우스입니다
-
재밌겠네
-
완전 푹 잤다 2
-
영어90
-
지금은 완성되지 않았지만 양을 늘리고 시간이 지나면 해결될것이다 >> 절대...
-
윤석열 대통령의 파면 여부가 4일 가려진다. 헌법재판소는 1일 윤 대통령 탄핵심판...
-
이번 3모때 긴 문장이 나오면 해석이 안되고 줄거리도 못따라가겠는데 독해 강의...
-
-
이 세상은 너 뿐이야
-
나는 연잠녀 2
-
질투난다 4
-
원문 :...
-
어유,,,
-
수학 기출 ㅊㅊ 0
수분감, 기코로 기출돌리려고 했는데 기출 최소 3회독은 해야된다고 하더라고요 그래서...
-
하..
-
그 방 근황 3
만우절 닉변
-
수업거부해야겠다 2
나도의대생이다!(아님)
-
실모 ㅈㄴ 풀거나 응용 능력이 뛰어난건가 ㅈㄴ 멋있다
-
어그로 죄송합니다 백분위 80 96 2 96 96(사탐) 이면 공대기준 어느대학라인인가요?
-
-
1. ∀x (¬R(x) → E(x)) (모든 현실에 존재하지 않는것이 존재한다)...
-
빵댕이에 주사 맞고 왔다
-
고민입니다,, 0
지방에서 독재학원을 다니고 있는 고3 인데요 다닌지는 2달이 넘어가고 있어요 시간이...
-
7호선 수준 6
배차간격 꼬라지
첫번째 댓글의 주인공이 되어보세요.