수학 파괴 증명
게시글 주소: 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를 선물하세요.
-
흠
-
6모 접수 마감 0
하이퍼 전일학원 종로 강동pk 싹 다 마감임? 학교 갔다와서 자느라 전화를 못했네
-
사회문화 6시간 공부한 미친놈 됨
-
누구나. 자유롭게활동하는. 오루비. 괜히. 설래는맘. 품고.여사님들괴롭히지맙시다....
-
메가스터디에선 팔던데 대성에는 없나요?
-
옆에 여자가 한명밖에 없어서 못자겠음..
-
트러스를 풀다 어싸를 풀다
-
4월, 꽃이 피는 계절. 옯남B는 평소에 관심이 가던 썸녀 혹은 짝사랑녀 H에게...
-
中매체 "한중일, 美관세 충격 대응·반도체 공급망 유지 공감대" 2
한중일 통상장관회의 평가…"美 행동 불확실성에 확실성으로 헤징해야"...
-
모여보자
-
ㅋㅋㅋㅋㅋ
-
시대기숙 대기 걸어놓긴 햇는데 러셀최상위반기숙도 ㄱㅊ나요?? 현역 때 시대를...
-
선착순.. 한명.. 베트남 21세 여자에요 부드럽게 대해주실 오르비언 구합니다...
-
one two three I'll be there
-
그 사람인줄 알고 댓 달고있었네요...
-
ㅇㅇ
-
난 그런거말고 학문성교를 원하는데;;
-
누가 닉네임 2
정시일베로 바꿔주면 좋겠다..
-
어제?더프성적표받았네요 11
국어아쉽긴하지만그래도공부한보람이있네요기쁩니다 남은모의고사는더잘봐야겠죠
-
넘 졸리네 2
학교에서 잘 잔 줄 알앗는데 왜 이러지 자야겟다
-
키미니 아이타이
-
11살 여붕이랑 내 쪽지내역이 밝혀지면 곤란한데..
-
30분동안 재밌었다
-
희소성 있는 고닉들만 노린다.
-
최선을 다해서 후회없는 4월을 보내봅시다
-
못 풀겟다
-
맞음
-
하..
-
미라클기상을위한 7
얼버잠
-
자야지 0
늦었다
-
방점은 성조가 아니라 강약을 나타내는 거고 연음도 음운변동임
-
그럴만한 이유가 따로 있었음 남자의 사정임
-
경기권인데..신청 빡셀까요?
-
ㅠㅠ
-
으흐흐 6
뭘 기대하신거죠
-
Tim 듣고잇는데 모고치면 맨날 6뜸 이번 3모는 2등급떴는데 Tim 계속 하는게...
-
다음 생에서 만나요
-
.
-
지2 하다보니까 두줄에 집착하게돼 ㅎㅎ
-
계명대 의대 계의되고 싶어서 갔는데 게이 없어서 총장뒷돈전형으로 중앙대감
-
정승제쌤임 ㅅㅂ ㅋㅋㅋㅋㅋ
-
뭔가 내용이 더 추가되어서 들어간다고 들은거같은디.. 답변이 절실합니다
-
해령에서 판의 생성속도는 양쪽이 무조건 같은 건가요?
첫번째 댓글의 주인공이 되어보세요.