수학 파괴 증명 업그레이드
게시글 주소: 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를 선물하세요.
-
보존형경계 질문 1
1.위 그림은 보존형경계인가요? 2.저 경계는 단열대인가요 변환단층인가요??
-
만우절 기념 2
타학교 과잠이나 교복은 커녕 지각할까봐 헐래벌떡 뛰어온 나..
-
국영수로 맞추는게 정배겠죠?
-
역시 투과목 돌파가 답인가
-
열심히 하는것은 좋긴한데 심장이 벌렁거리고 한문제 한문제 푸는게 무슨 실모마냥 초...
-
ㅈㄱㄴ
-
난이도:6/10 만우절 기념 확률밀도함수 찐으로 미분시키기
-
재수생인데 갔다올까
-
프사 잘만든듯 3
-
문법만 1년동안 판다 일본어 일루와잇 ㅋㅋ
-
정병호 레알비기너스 1달 안에 들은 후(공통만) 5~6월 프로메테우스 + 패파...
-
성의없이 울의 한테 깝싸노
-
4월 4일 진짜로 탄핵 가결되나요? 진짜 객관적으로 봤을 때 가능성이 어느정도인가요??
-
빈유 아보카도 5
...?
-
첫 모의고사 점수는 부진한데 단기간에 독해력 잘 올리는 거 3달만에 5->2,...
-
드디어 나왔고만(국수탐 학원 문과중에 2등 ㄲㅂ)
-
경국대.... 2
무슨 드라마에 나올 법한 대학 이름이네 차라리 국립안동대라 바꾸지... 안동대...
-
서로 얼굴 볼 일 없으니 좋다고해야할지.......
-
심화엔제중에서요
-
니가 사람이냐..
첫번째 댓글의 주인공이 되어보세요.