수학 파괴 증명 업그레이드
게시글 주소: 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를 선물하세요.
-
-
열릴만한데
-
오르비 노잼 2
-
만우절 롤 못참긴 하는데 일이 밀린 상태임
-
여러분의 고충을 압니다. 해석이 안되고 해석 되어도 뭔 소린지 모르겠고 답은 왜...
-
day1부터 암기하기 시작했습니다. 파생어,유의어 합쳐서 120개 정도..?에...
-
동갑인 애들 대부분 본3/본4/졸업 이거 3개 중 하나임
-
-
x스장 도착 4
힘좀써보자구
-
수2 자작 해설 4
문제 해설 연관기출(22예시12) 해설을 항상 쓰는 건 아니지만 종종 올리려고 합니다.
-
투과목 1
뭐할까요 화2생2가 그나마?
-
보존형경계 질문 1
1.위 그림은 보존형경계인가요? 2.저 경계는 단열대인가요 변환단층인가요??
-
만우절 기념 2
타학교 과잠이나 교복은 커녕 지각할까봐 헐래벌떡 뛰어온 나..
-
국영수로 맞추는게 정배겠죠?
-
역시 투과목 돌파가 답인가
-
열심히 하는것은 좋긴한데 심장이 벌렁거리고 한문제 한문제 푸는게 무슨 실모마냥 초...
-
ㅈㄱㄴ
-
난이도:6/10 만우절 기념 확률밀도함수 찐으로 미분시키기
-
재수생인데 갔다올까
-
프사 잘만든듯 3
첫번째 댓글의 주인공이 되어보세요.