수학 파괴 증명
게시글 주소: 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를 선물하세요.
-
통통이고, 3모는 21 실수하고 22 넘겨서 92점 받았습니다. 방학동안...
-
캬캬
-
늦긴했지만 파데 수상하끝내고 수1/2 파데 킥옾 오늘 들어갔는데 킥오프 문제들이...
-
재수생입니다 작년과탐 성적은 11입니다 과탐 50 50 맞고 과탐 가산 3퍼 받으면...
-
자야하는데 0
흠 놀아야지
-
(1+2+3+4+5+6+7+8+9)^2=2025
-
패션고자 ㅇㅈ 12
옷 어떻게 입는게 좋을까요
-
-
이제 봄이 오고 있습니다 ㅎㅎ
-
지2때문에 들어온건데 나진환별로에 지2자체 버렸는데 부라분위기랑 내자리랑...
-
4개비째 되니까 갑자기 엄청 속이 울렁거리는거임 머리도 갑자기 어지러워지고 진짜...
-
전 누님들한테 0
잘생겼다 말고 귀엽다는 말을 훨씬 많이 들음 내 나이 듣고 너무 어려서 아쉬워 한...
-
https://m.dcinside.com/board/dcbest/292946...
-
되는 지문 최근수능에 있긴 하나요?? 문학은 가급적 전문까지 회독하려고 하는데...
-
안녕하세요. 경북대학교 의예과 23학번 지니입니다. 생명과학 1을 어려워하는...
-
2018년부터 오르비를 해야 됐어 까비다노
-
공부하실때 샤프에 샤프심 몇개넣고 공부하세요..?
-
유리아씨 근황 7
-
문학에서 시간 너무 쓰는것 같은데... 어떡하면 2등급에 안착하게될까요ㅠㅠ
-
역시 난 마스터자격 실격인가바
-
https://youtu.be/ZV5RrZI3ET8?si=_l8D1cThyc768J2...
-
학벌컴플렉스때메 미치겠음
-
기출 여러번 봐서 사고는 어느정도 확립된거같은데(완벽한건x) 어렸을때 책을 거의...
-
최악의 일주일이야 죽을것만같아
-
이시발테슬라 2
숏들가니까개쳐올라가노
-
졸리네용 2
다들 오늘 하루도 수고하셨고 내일은 더 열심히 살아봐요 .. !! ＼● ●＿ ＼●...
-
음 보고서 다 썼다. 17
쉽농
-
ㅈㄱㄴ
-
반지름이 r인 원 O와 점 P가 있을 때, PO^2-r^2의 값을 점 P의 원 O에...
-
푸아앙
-
잔다 9
안녕히 주무세요
-
자러가요 9
요가러자
-
뭐야뭐야 2
오늘도 ㅇㅈ메타인거야?
-
그냥 샤프랑 볼펜으로 필기한거 올려도 되나요?
-
두번 세번 보면 널 더 안고 싶어 너와 커플링 커플링 손에 끼고서 함께 이 길을 걷고 싶어
-
아... 야동서독 옹 어째서 기만 메타의 역사는 쓰지 않으셨사옵니까 따흐흑......
-
오랜만에 오르비 0
ㅎㅎ
-
작년에 공통 13번까지 풀어서 맞추고 확통 2개틀림. (찍맞제외 3개) 이럴거면...
-
-
포켓몬 따위가 절대 못 비빔 디지몬 어드벤처는 감동이 있다
-
좀 그런 ㅇㅈ글에 다들 ㄱㅁ쳐주네 아닌가 오히려 반어법으로 돌려까는건가?
-
20일에 한 번만 함뇨
-
이투스 시대컨 0
이투스학원에서는 어떻게 시대컨 파는거임?그럴거면 걍 시대북스에서 팔면 안 되는건가
-
ㅁㅌㅊ? 13
. (펑)
-
n제 풀면 1등급이 될 수 잇겟지
-
탈릅은 안하니까 2
님들 몇년뒤에 한번 여기와보셈 그때도 저 있을거임ㅋㅋㅋ 아마?
-
휴릅하겠습니다. 2
6시간 30분 휴릅하겠습니다 모두 잘자요 제 꿈꿔요
-
이게 그나마 관심을 제일 많이 받기 때문. 촘스키의 생성문법, 생성음운론, 이런 거...
-
아 인스타씨발 0
그 야동추천 해 주는거 있잖아 그거 친구한테 자주 보내는데 바로밑에 리포스트 있는데...
-
학교에서 트와이스 노래 들으니까 친구들이 틀딱이녜 ㅋㅋ
첫번째 댓글의 주인공이 되어보세요.