수학의 파괴와 재창조 증명
게시글 주소: 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를 선물하세요.
-
메가스터디 가채점 백분위 99던데 1컷이 79인데 가능한거임? ebs에 돌려보니까...
-
수학N제 펀더멘탈에 11~13번 수준의 문제들도 많나요? 1
아니면 8~10번 수준의 문제들이 대부분인가요? 어느쪽에 더 가까운지 아시는분 ?ㅅ?
-
임정환,김승리 커리 고르는거 제발 진짜 제발 도와주세요ㅠㅠ 1
우선 사문을 듣고 있고 지금 림잇과 100end도표특강을 들은 상태에서...
-
등가속도나 운동방정식, 역에보 풀때 처음에는 문제만 봐도 상황이 이해가 안되고...
-
학교에서 가채좀표 나눠주는 고3현역분들 전체석라 구할때 백분위로 다들...
-
옷으로 가리다가 바로 걸리고 압수 엔딩. 어제 새르비 못한 이유ㅋㅋㅋㅋㅋㅋㅋㅋ
-
이라고하면 난 닥 손승연임... 수1 권현석 수2 손승연 미적 김범준듣는데 1,2월...
-
– 절망편 보고 좌절한 너를 위해 쓰는 글 – “명문대 나와도 백수다!” “요즘은...
-
화상과외가 역시 짱 11
머리 안감아도 모르잖음 그게 최고임
-
기하런 방향성 0
07 현역이고 미적 28 29 30 다틀렸어요. 학교에서 배운 개념으로 3모 기하...
-
세상이 나를 버린거같다 요즘 의대생 힘든분들 되게 많은거같은데 특히 1년이나 넘게...
-
에 대한 대처 또한 달라지겠지 어떤 식으로 변별을 할 지는 그때 가봐야 알겠지만 꽤...
-
주말 낮이랑 금욜 5~7시 이 때 시간이 너무 뜨는데 시급 3 이하로 해서 지1...
-
맞팔하실 분 4
잡담 태그 잘 다니까 댓글 주세용
-
무영창은 시전자의 목숨을 앗아갈 수 있으므로 주의해야함
-
얘두라 5
일요일이니까 공부하지말고 쉬어
-
강X 모고가 아직 안팔아서 2026 이해원 N제 사려는데 작년이랑 많이 겹치면 딴거사게요
-
2025학년도 경인교대 면접 기출(선행학습평가) : 네이버 블로그
-
아침 공부 쉽지 않네 10
흠
-
아싸 홍삼 8
에브리바디 홍삼
-
3번째 얼버기 4
다시 잠들기 싫어
-
41점 3등급임 세지지구할지 세지한지 할지 고민입니다 두과목 새로 시작하는게 부담도...
-
다른데 갈 데가 없긴 하겠네요...ㅋㅋ 치대 -> 비급여 × 과포화로 망해가고 있음...
-
– 간판값 못 하는 애들 7종 모음.zip – 요즘도 학벌 빨고 있는 애들 많더라....
-
we are in the rocket ship
-
얼버기 0
-
20, 21, 29, 30 빼고 30분만에 다 풀었는데 20번에 20분, 21번에...
-
한국사를 아예 모름 사실상 재수생이라 3모가 저 점수면 한국사만 문제가 아닐텐데...
-
국 90 수 85 영 84 물50 지50 내신은 지역자사고5점대라 버림..
-
심찬우 선생님 생글 완강하고 에필로그도 다 풀었습니다 심찬우 선생님은 독서 지문...
-
ㅈㄱㄴ
-
기다려 오뿌이들
-
f(x) 최고차항이 작다면 이런 상황도 가능하지 않나요? 접한다는 건 한점에서만...
-
다시 봐도 수긍이 가는 이건희 회장의 30년 전 발언 2
30년 전 발언이 지금까지 통할 줄은 몰랐네요.
-
-
현강생인데 현강 중간고사 휴강기간 이후에 결제하는건가요? 결제하라는 문자가 안와서요
-
공신력 ㅆㅅㅌㅊ인 곳에서 가져옴
-
고2고 내신 화학 부교재가 수능특강이라 cnr특강 듣고 지금 수특 풀고 있는데...
-
사주에서 이번에 대학 못가고 재수하면 연대갈수있다고 하는데 뭐라 말해줘야할까
-
수학 마킹이슈로 81점된건 양해부탁
-
예전에 벤 빠돌이일적에 '우리 벤누나가 삼십대가 되면 어떻하지 ...' ㅇㅈㄹ...
-
2025학년도 한국외대 논술 기출(선행학습평가) : 네이버 블로그
-
P and not P가 참이면, 사진의 5번에서 P or not P 가 참이됨따라서...
-
그대 생각이 많이 나네요이런 생각하면 바보 같지만저기 먼 곳에서 그대 다시 올 것만 같아
-
-
시대인재나 대성학원 다니나요?
-
물리 선택자분들 3
오늘부로 여러분의 발판 한명이 사탐으로 떠나게 되었습니다. 안녕히계세요
-
브레이크 고장난 경운기에 태워서 담벼락에 들이받는 꿈을 꾸었늠
-
일단 저는 고2고 영어 모의고사 만년 3등급인데요 어떻게 3등급을 탈출할지...
-
레버기 0
부지런행
첫번째 댓글의 주인공이 되어보세요.