수학 파괴 증명 업그레이드
게시글 주소: 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를 선물하세요.
-
가형 노인네 특 7
지금 수학기준 선택미적분만 못하는 경우 꽤 있음 이유: 늙어서 계산이 안됨
-
8.5 야미~
-
한의사, 약사, 한약사로 취업시 불이익이 있을까요?
-
국어 : 그냥 못함. 그냥 내가 못함...(ㅇㄴ 고전소설 못풀어서 밀었는데 다...
-
2025학년도 가톨릭대 논술 기출(의예, 약학 포함) 0
2025학년도 가톨릭대 논술 기출(선행학습평가) : 네이버 블로그
-
뇌가 썩었다 3
지나가다 이걸 보고 피식하고 접속할 생각을 하다니...
-
작년 강k 수학 4점짜리 문제들이 시중 n제보다 퀄 좋나요? 심심할때마다 n제 대신 풀어볼라는데
-
수학)이거 왜 이럼? 10
왜 이러나요...? 위끝아레끝이 같으면 피적분함수의 대수 관계도 같다는 게 이해가 안 돼요
-
-
메가에 승효T 강의 일주일 찍먹 예정
-
헬스장 2
17일에 끊고 한번 감
-
미적 대신 언매+확통+과탐으로 약대 가능한가요
-
사과문 27
1. 먼저 최근 저의 행동으로 의도치 않게 '성호랑'님께 심려를 끼쳐드리게 된 점에...
-
여기도 여미새들 많음? 16
여기도 타커뮤처럼 여자에 미친 짐승들 많음??
-
ㅈㄱㄴ
-
김종익 찍먹하다가 대가리 깨지고 최적 믿고 갈려고 정법하고 있다에여 근데 국회...
-
대학 경제학입문 과목 듣는데 딱 수능경제 수준이라 경제 기출 찾아보고 있는데,...
-
학교왔는데 친구들보니까 걍 나보다 성적 높으면서 비틱질 하는 사람 으로밖에 안보임 죽고싶노
첫번째 댓글의 주인공이 되어보세요.