수학의 파괴와 재창조 증명
게시글 주소: 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를 선물하세요.
-
#07년생#08년생#독학생 오르비의 주인이 될 기회 31 32
-
쇼미준비? 0 0
걍 쉬었어
-
재수생이고 현역땐 킬러 빼고 기출 2번 돌렸습니다 기생집이나 시대기출 등등 생각중인데 뭐가 좋나요?
-
그게 되게 신기함뇨
-
오늘은 진짜 자위 안함 1 0
오늘 빼면 내일 혹한기 가서 ㄹㅇ 죽을수도 있을거같음
-
모션대스크는 걍 신이네 0 0
-
님들같으면뭐고름? 3 0
-
시대 0 0
강기원 현강 or 라이브 이번 시즌 듣고 계신 분들 계시다면 쪽지 남겨주세요!
-
소수과 점공계산기 0 0
서성한라인 이거 막 예비 14번 이렇게 뜨는 경우 많나... 확률구간 90퍼 잡았는데
-
전역하고 입학하면 22살이네 6 0
대부분 08년생들일텐데 어캄 ☠️
-
....
-
질받 6 0
-
보면 느낌이 옴
-
안녕하세요 직업탐구질문 0 0
제가 공고출신이고 이번에처음수능을 응시하는 씹노베입니다 제가 농어촌도가능해서...
-
하 난 작년에 선택했던 과목들은 뭔가 죽어도 선택하기가 싫음 1 0
미적 생지가 그럼 지금 수학은 기하로 틀었는데 생지도 바꿔버리고싶음 수능 ptsd때문인가
-
ㅅㅂ
-
근데 님들은 2 0
필기가 아무리 별로여도 다 지우고 다시 안쓰고 걍 넘어감?
-
생윤 독학은 많이 어렵나요?? 4 0
사문은 마더텅으로 무난히 독학이 되던데 생윤은 다들 독학으로 하는걸 추천 안하시길래...
-
서울대 인문학부 역사학부 디자인과 지리교육과 역사교육과 최종, 추합 커트라인 같은 거 아시는 분.? 0 0
도와주세요 아니 살려주세요
-
학점 잘받으려고 눈웃음 살살치고 어깨가 뭉쳤다고하면서 어깨 좀 주물러주면서 내쪽으로...
-
현역으로 대학가도 아싸될거같음 1 0
화장실에서 김밥먹기<<< 이거 실천할 수 있을 듯
-
의대 n수생 비율 통계 8 0
갤러리에 있길래
-
시간표 이거 신기하네 2 0
뇌빼고 짜다 보니 금요일만 비어있는 하트 모양이 나왔어
-
작수 국어가 나랑 잘맞긴했는데 0 0
22 24급은 아닌 불국어 정도...탐구를 망해서 흑
-
알바몬 지원서 질문 0 0
지원서를 내면 전화나 문자로 연락이 오나요? 그냥 간단한 정보만 적으니까 제출되던데...
-
늙약(칼삭예정) 16 7
판단은알아서
-
N수 특히 3수이상은 1 0
오르비 열심히해라
-
바보 3 0
바부바부
-
이간질 모티프 장인인데 0 0
27수능에선 이간질 모티프가 나왔으면 좋겠네
-
오티 새터 0 0
새터만 가고 오티는 안 가도 괜찮나요? 아님 오티도 무조건 가는 게 좋나요..?
-
뀨우 5 0
뀨우우웅…
-
07 재수예정생인데 저는 만약 현역으로 대학 들어간다면 주로 n수생 분들하고...
-
칼바람 열차 1 0
(2/5)
-
김강민 단과에 있었음 화1한지 10 1
ㅈㄴ 개 신기 앙!
-
자전은 시간표 어캐 짜지 0 0
그냥 가고싶은 과 참고해야하나
-
화학 재밋슴? 6 0
수능선택으로 한다하면 원수라도 말릴거임?
-
셀카 인증 16 0
-
아카시 대교 다녀왔어요 4 0
사진은 말레이시아 미녀누나가 찍어주심ㅋㅋㅋㅋ
-
비전공자가 사회학 분야 입문할 때 읽을 책으로 괜찮은가요??
-
의대가 아닌 서울대 공대의 특정한 한개의 과를 목표로 하다보니 울며겨자먹기로 반드시...
-
수고했어 오늘도 10 1
아무도 너의 슬픔에 관심없대도 난 늘 응원해 수고했어 오늘도
-
근데 강사들 교재에 다 써놓으면되지 15 2
왜 필기시키는거지..
-
전적대 자퇴 시점 3 2
동국대 최초합격인데 등록금 납부일인 2월 3일부터 2월 5일 전까지 전적대 자퇴...
-
여잔화장하고 헤어스타일 가꾸줄알면 연애못할수가없노 1 0
넘 못생만아니면 헤어스타일 어울리는거 찾고 화장만 진하게하면 훈남정도는 다꼬실수있는것가틈
-
순애는음란할수있음 11 2
진짜사랑해도음란하게따먹을수있는거아님? 상호합의하에
-
흠ㅋㅋ 5 0
이거보여주려고 어그로 끈거임
-
서강대 내일 발표 3 0
몇시인지 아시나요?
-
고기 먹고옴 3 0
맛있었다
-
경제학과분들 질문좀여 4 0
경제학과로 전과할듯한데 지금 시점에서 해둘 공부 뭐있을까요 25수능 확통...
-
랜만오ㅎㅇ 4 1
사문 300문제 뿌릴 준비에 한창
-
책이 ㅈㄴ지져분해졌다 0 0
첫번째 댓글의 주인공이 되어보세요.