수학의 파괴와 재창조 증명
게시글 주소: https://orbi.kr/00072605752
모순과 거짓의 관계 증명
모순<->(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가 공리)<->(A가 거짓) 이라는 말임
따라서
공리<->거짓
모순<->거짓 이므로
공리<->거짓<->모순
공리<->모순
모순이 포함된 체계는 모든 명제가 참이 될수있음
즉,
공리가 모순이므로 모든명제가 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
드릴 , 설맞이 드릴은 색감이 진짜 잣댐
-
수위 가장 높은게 ㅈㄴ나 진짜 가끔 ㅅㅂ이정도 욕이 최댄데 애초에 친해도 섹드립이나...
-
지1제외;;
-
원래 있던거는 터졌던디
-
나 나름 하루 열심히 사는데도 목표 공부량을 고생해서 겨우 채우거나 아니면 막판에...
-
선착순 1명 7
만 더 팔로우해주면 금테 금테 만들어주시는분께 500덕
-
토익 접수했다 0
이번엔 진짜 진짜 진짜 진짜 1달동안 토익 공부한다 이번에 800이상 못 받으면...
-
https://youtu.be/v1RPx0DaL1E 스완스라는 미국 포스트 록...
-
미리 저장 좀 해둿지 근데 저건 그냥 복습할 때 쓸 거 같고 드릴은 무조건 정품 살...
-
맞팔 구 3
ㅈㄱㄴ
-
내가 이기면 내가 해달라는거 해주고 너가 이기면 그냥 축하받고 넘어가는걸루하자
-
국어 칼럼) 6평 대비 모의고사 시간관리법 및 문항별 접근법 -...
-
님들은 솔직하게 친구들이랑 하는 톡이나 디엠 깨끗함? 7
난 친구들 무리가 두 갠데 하나는 단디엠방 ㅈㄴ 더럽고 하나는 개클린함 하나는...
-
사교육계의 누누티비라고 알려줬눈데 대충 비유 맞죠?
-
shit
-
유빈이 어디감 3
돌아와
-
5덮 물1 왤케 어려워보이지 현장에선 쉬운줄 알았는데 다시 보니까 비주얼 무섭네
-
선거를 앞둔 이 시국에? 라고 생각하실 수 있는데 지금이 너무 이르지도 않고 너무...
-
역사는 반복된다 0
입평연 -> 핑프방 -> 유빈 -> ?
-
사랑도 에에 미련도 에에 다 가져라가고~~~~
-
레어 사세요 0
네고 가능
-
첨에도 물개랑 냥탈프한테 검토 셔틀시키긴 했었음 설입에 모여서 자주 그러다가 걍...
-
유빈이 솔직히 2
pdf로 교재 보고 ㄱㅊ으면 정품 사고 그랫는데 유빈이 없으면 우짜냐
-
누가 뒤에서 다 백업하고잇음
-
2026학년도 의대 모집, 증원 전 수준인 3123명 1
올해 의대 모집인원은 지난해보다 1487명 줄어든 3123명으로 확정됐다....
-
실모 데이트 같이 모의고사 한세트(국수영탐) 구매해서 8시에 만난 후 8시 40부터...
-
이 시발
-
인싸 or 인스타 많이 하는 사람인거임? 인스타 안해서 모르겟음
-
그렇다 캅니더
-
진짜 미치겠네요 ㅠ 20년만에 수능치는 학번인데요 작년에 공부 시작했는데 솔직히...
-
메가 커피 갔는데 어떤 남자 가수가 노래를 잘해서는 아니고~ 이런 가사로 부르느넥...
-
냐옹
-
사교육 책값도 정상화해주면 안되나
-
-
강사쓰앵님들아 문제집이랑 해설지 다른 책에 좀 만들어라 아니면 떼지게 만들던가 이거...
-
맞죠??
-
이건 역사다 유빈이는 역사다!
-
유빈 터지면 난 좋음 10
혹시나 무료 공공재인 붱모의 다운수가 올라가지 않을까해서...
-
내가 할소린 아니긴하다...
-
수학이 너무 꿀이라 나머진 못 하겟슴 ㅋㅋㅋ
-
후딱 다운받아야지
-
유빈터졌으니 0
군적금을 털어볼까,,,
-
아…
-
야뎊방지로 실전개념 다빼먹은거 다시 제대로 만들어봐라 범바오야
-
킬러문제 귀환? 1
킬러문제를 배제한다는 누군가가 사라지고 정권 바뀌는건 기정사실화…
-
엔트리 미들 하이엔드 각 단계당 난이도가 어느정도인가요? 미들은 미적 28 30...
-
사에카노 내청코 우공못 나친적 청춘돼지 데어라 토라도라 내여귀 중2코이 생각나는건 이정도?
-
유빈터진거 2
현우진이 아무리 쓰지 말라해도 애들이 계속 유빈 쓰니까 전문 해커를 고용해서 터뜨려...
-
전부 신고하는중
-
업로드가 뜸하긴 한데
첫번째 댓글의 주인공이 되어보세요.