수학 파괴 증명 업그레이드
게시글 주소: 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를 선물하세요.
-
일단 실력은 작년 평가원만 봤을때는 백분위가 92~5 이 범위입니다. 교육청은 다...
-
부탁해요…..?
-
마더텅 국어 문학 .. 1 0
나와있는 학습 계획표 그대로 따라가도 괜찮을까요?? 갈래별 학습 계획 따라가려고 하는데..
-
사실 닉변하려고 했는데 11 0
닉 뺐길거 같아서 멈췄어
-
선착 5천덕 3천덕 2천덕 1천덕 16 0
오르비 모고 있거나 한거 아니면 최대한 안들어올거... 재미는 있는데 아직도 커뮤...
-
-
수학 잘하면 그게 거기서 거기라 쉽다는데 하........수학 못해서 울었어
-
님들 뱃지 훔쳐오는법 모름? 15 5
그것도 못하시나요! 훔쳐오고 싶은 사람 프로필에 들어가서…
일단 (A가 거짓->모순) <-> (A가 참)인데,
1에서 (A가 거짓->모순) -> (A가 증명있음)이라고 했으면
(A가 참) -> (A가 증명있음)이라는 건데,
A가 공리일 때 A는 참이지만 A는 증명이 없으므로 1에서부터 틀린거 아닌가요
6과 7을 참조
좀 더 구체적으로 말해주세요