무슨 말을 해도 무모순인 이유
게시글 주소: https://orbi.kr/00069626569
1. 거짓을 부정할때
거짓을 부정하면 참이다
모순이면 거짓
대우명제는
참이면 무모순
따라서
거짓을 부정하면 무모순이다
2. 참을 부정하는 경우
2.1 공리를 부정하는 경우
공리는 참이라는 증명이 없다
즉, 귀류법 증명도 없다
즉, 공리를 부정해도 무모순
즉, 공리가 거짓이어도 무모순
2.2 참인 결론을 부정하는 경우
전제가 참이면 결론이 참
대우명제는
결론이 거짓이면 전제가 거짓
즉,
참인 결론을 부정하여 거짓인 결론이 되면
전제가 거짓이 되는데
공리는 전제에 속한다
따라서
참인 결론 부정->거짓인 결론->전제가 거짓->공리가 거짓->무모순
따라서
참인 결론을 부정해도 무모순
이로서
1. 거짓을 부정하는 경우
2. 참인 공리를 부정하는 경우
3. 참인 결론을 부정하는 경우
모든 경우에 대해 부정해도 모순이 없음을 증명함
그리고
A다! 라는 주장을 부정해도 무모순이고 이때(A가 부정당해 A가 거짓이됨)
not A다! 라는 주장을 부정해도 무모순이고 이때 (not A가 부정당해 not A가 거짓이되고 따라서 A는 참이됨)
즉,
A가 참이든 거짓이든 무모순이라는거임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
-
기출이 조금 부족한 거 같긴해서 남은 기간동안 22~25 6/9/수능 풀까요?...
-
사실닉값매일함 3
72점인데 24점정도 호머해서 올림 감사합니다
-
한국어는 친척 언어가 없는 계통론적 고립어로 과거에는 알타이어족?과 잘 엮였지만...
-
고대가고싶다 2
근데 매일 고대를 외치는데 고대가 어느정돈지 잘 모름ㅇㅇ 뭐 수능때 잘 보면 가겠지 안그럼?
-
님들 영단어 2
외우고있음? 이렇게까지 영어를 유기해도되나..
-
언매 91 (독서 4번 -2 문학 27번 30번 -5 언매 37번 -2) 그냥저냥....
-
드릴이랑 서킷x, 강대x랑 병행하다가 지금 서킷은 시즌4만 남았고 드릴이 좀 밀린거...
-
아 0
러셀 11월 메대프 외부생 안받는다네 이러면 고3은 어디가서 실모치냐
-
이 시기가 가장 힘든때였구나 하긴 고3때도 다들 많이 갈렸는데 토요일 저녁 자습하는...
-
교수님이 터치 안 하시고 자기 수업만 하심 사실 다른 거 하면 조금 죄송하긴...
-
올오카 끝낸다음 직후 등급 궁금합니다
-
이럴꺼면 왜오는거야 적당히 해야지 너무 심함
-
ㅅㅂ 실수 0
개빡친다 2/e²인데 1/2e² 에 체크함;
쿠리야 야구팀 어디좋아하냐
야구규칙도모름
좋아하는 운동은 있냐
걷기요
오랜만인거같네 얘
며칠안지남
어디갔었어
게임하러감
님 수능 국어 기출에 저런 거 많은데
읽고 지문 분석해 주면 안 됨?
난 오르비 유저 100%보다 지능이 낮음
왜그럼
신이 원해서요
어떤 신이요
이 세상을 만든 신이요