수학 파괴 증명 업그레이드
게시글 주소: https://dev.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를 선물하세요.
-
외대 경영/LD/LT는 각각 어떤걸 배우는 학부인가요?? 3 0
저는 정시 다 군에 외대 경영 원서를 넣었구요 잘은 모르겠지만 앞으로의 진로에 외대...
일단 (A가 거짓->모순) <-> (A가 참)인데,
1에서 (A가 거짓->모순) -> (A가 증명있음)이라고 했으면
(A가 참) -> (A가 증명있음)이라는 건데,
A가 공리일 때 A는 참이지만 A는 증명이 없으므로 1에서부터 틀린거 아닌가요
6과 7을 참조
좀 더 구체적으로 말해주세요