수학 파괴 증명 업그레이드
게시글 주소: https://orbi.kr/00072658997
참과 모순의 관계
모순<->(p and not p)<->거짓
모순<->거짓
대우명제는
무모순<->참
------------------------------------------
1. (A가 거짓->모순)->(A가 증명있음)
대우명제는
2. (A가 증명없음)->(A가 거짓 and 무모순)
무모순<->참 이므로
3. (A가 증명없음)->(A가 거짓)
대우명제는
4. (A가 참)->(A가 증명있음)
------------------------------------------
5. (A가 공리)->(A가 증명없음)
3과 5를 연결하면
6. (A가 공리)->(A가 거짓)
대우명제는
7. (A가 참)->(A가 공리아님)
----------------------------------------
8. (A가 공리)->(A가 참)
4와 8을 연결하면
9. (A가 공리)->(A가 증명있음)
대우명제는
10. (A가 증명없음)->(A가 공리아님)
----------------------------------------
5와 9가 모순
6과 8이 모순.
모순이 존재하므로 폭발원리가 적용된다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
깝치지마 12 0
자러갈거니까
-
자다 깼는데 1 0
다시 잘까?1시간 30분정도 ㄱㄴ임
-
문학 약점 극복을 위해 3 0
문학작품을 읽기 이거 뻘짓이려나 사실 걍 재밋어서 읽는거긴함
-
오르비 09는 한번도 못본듯 12 0
하투하 이안이랑 동갑
-
탐구 개념은 진짜 적네 0 0
결국 시간 싸움인 것읻ㄴ가
-
언매(89점): 1컷 84~86(현재 78~80) 미적(82점): 1컷...
-
6모 탐구 신청 0 1
고3기준 신청할 땐 과탐 본다고 손 들었는데 그 사이에 사탐런해서 6모 당일에 사탐...
-
시대 브릿지 모고 시간 0 0
대충 8문젠가 그정도던데 몇분 잡고 풀고 몇개정도 틀려야 잘하는거에여?
-
공대 학과 티어 5 0
공대학과 티어 좀 간략히 알려주세요ㅜㅜ
-
언젠가 발크기가 증가하는 날이 온다면 10 0
그날부터 운동시작할게
-
하라는 공부는 안하고! 입시 관련 스토리임 여주가....으흐흐흐 레진코믹스
-
수특 문학 연계 0 0
수특 문학 연계를 원래 김민정 선생님꺼 들을려고 했는데(재밌다길래 힐링하는...
-
자러감 인사해줘 12 0
-
나 귀엽지 않음? 12 0
ㅇㅅㅇ
-
그읽그풀 독서 인강 ㅊㅊ좀 10 1
김승리 커리탔는데 문학은 ㅈㄴ좋은데 비문학은 현장에서 못써먹겠음 메가대성 둘다있는데 ㅊㅊ좀
일단 (A가 거짓->모순) <-> (A가 참)인데,
1에서 (A가 거짓->모순) -> (A가 증명있음)이라고 했으면
(A가 참) -> (A가 증명있음)이라는 건데,
A가 공리일 때 A는 참이지만 A는 증명이 없으므로 1에서부터 틀린거 아닌가요
6과 7을 참조
좀 더 구체적으로 말해주세요