수학의 파괴와 재창조 증명
게시글 주소: 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를 선물하세요.
-
배진짜고프다 0
야무지게 굶어야징
-
미적기준 92일것같은데. .
-
(조용히) 오르비 검색창에 덕코로 검색하고 10페이지까지 봤는데 덕코주세요가 뭘...
-
하....
-
귀류법 없이 한번에 풀림 대부분 강사들 풀이보다 나은듯 변형문제들에도 적용되는듯(배...
-
왜냐 영어를 ㅈㄴ 못하거든 ㅋㅋㅋ 원래 못푸니까 이게 어려운건지 몰랐음 걍 원래...
-
이거 넘어가면 그냥 인강 들으면서 앉아있기 정도밖에 안됨..
-
공부만 하려고 하면 자꾸 잡일 시키고, 일을 계속 주니까 걍 아무것도 하기 싫네....
-
망상속 계획은 매일 전과목 공부가 가능한데 세과목만 공부해도 하루가 다 감 국어...
-
힘들어도 참고 하나하나 하셈
-
미적분 수능 기준 컷이 얼마정도 일까요
-
확통기간 1
개념기출 끝내는데 얼마나 걸리나용 이쪽지역 미적 현역들은 개념기출만 딱 끝내고 수능보던데
-
Zola임당 8일 저녁에 교육청 시험에 대한 유툽 분석 영상 촬영을 했는데 [참고]...
-
호들갑떠는거같음
-
언어와 매체 88점 (비문학 -3 문학 -2) 미적분 88점 (공통 -1 미적분...
-
통통이 동료들아 3
아무리 그래도 20번 정답률 15퍼 21번 정답률 4퍼는 너무한거 아니니
-
운동 안하고 바로 스카갈라고 하면 뭔가 빈둥거리게 되는데 뛰고나서 스카갈라고 하면...
-
기적의 논리 1
-
3모1에서 10
5모 저리 심하게 미끄러질수 있나 음 그래 그럴수 잇지...믿어
-
-
22 28 29 30틀 입니다 뭐해야할까요? 나름 n제좀 많이 풀었다고 생각했는데...
-
어려움? 너무 쉬운거 아니면 병원에서 검사 끝나고 러셀 복귀하면 풀어보게
-
결국 4반수 0
1달동안 달려서 6모 ㄱㄱ혓ㅋㅋ
-
평가원이나 교육청 공통은 웬만하면 다맞거나 실수나서 하나 삑나는 정도였고 풀어본...
-
스카가야겟지..
-
일단 개ㅅㅂ 홍보행위 아니냐 하겠지만 수익금은 싹다 기부할거(넥슨 푸르메 등...
-
따뜻해 0
방금 죽었나봐
-
수학 하방 0
상방은 1턱걸이 정도고 하방이 없는 수준인데 이땐 뭐하면 좋을까요??
-
까먹었어
-
덕코거지됨 9
ㅜㅜ
-
호잇호잇 2
쨔
-
수원지역이라 그런가 ㅅㅂ 그냥 장난으로 숨고에 내 이력 아주대 수논으로 들어간거...
-
두두 0
다다다
-
뻘글의 신 0
이 되고싶어
-
5모 수학... 0
12번 어럽다길래 쫄앗는데 스무스하게 풀리던데 ㅇㄴ 근데 13부터 계산 말림.. 왜지?
-
귀류적으로 a1 구해서 a1 부호 확정 a3에서 a5로 갈때 케이스가 4갠데 다...
-
30번은 기출에 비슷한거 많아서 머리 잘굴리면 풀리던데 29번은 읽자마자 케이스...
-
여의나루역 0
..
-
할말이없어 2
근데 글을 올리고싶은데 어떡하지
-
국평오인데 전 솔직히 말잘하는거나 글퀄 좋은거 구분안됨 7
일단 내가 장문쓰면 못썼다 소리 듣는건 기본이고 딴사람이 쓴 글보고 이게 잘쓴글인지...
-
시대인재 전국 컨텐츠를 얻을 수 있는 학원은 어디어디임요
-
삼반수 가치 2
근데 인가경 한서삼라인에서 삼수/삼반수 해서 중경외시 가는거면 가치 있다고 생각하시나요??
-
다리떨지말래 1인실로 옮겨야겟다
-
뭣 0
왓
-
아니어이없네 11
우리 독재에서 5모 시험지 나눠주는데 확통 미적은 와서 가져가라하고 기하는 직접 가져다줌
-
나희덕 시 사유 시가 ㅈㄴ좋음
-
언매 100이었는데 백분위 98이었음
-
언매 43번. 선지보면서 잘냇다고 생각함 ㅎㅎ
-
-
5모국어92인데 8
2등급이말이되냐
첫번째 댓글의 주인공이 되어보세요.