무슨 말을 해도 무모순인 이유
게시글 주소: 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를 선물하세요.
-
생방에서 리뷰중.
-
왕피곤 5
-
강k와 강x의 등급컷이 큰 차이가 나지않음.
-
무기한 휴릅 1
-
20대 초중반에 너무 늦은 거 아니냐는 걱정을 상당히 많은 사람들이 하고 있음...
-
홋홋 홋카이도 7
나는 간다 1월에 홋카이도
-
빈틈이 없네 진짜
-
23수능 응시했고 23수능 백분위 98 96 2 98 100 언매 확통 생윤 사문...
-
하지만 다른 사람들은 관짝 보고 얘기는 할 수 있는 거 아니겠어?
-
무슨 일이든 결과를 이루어 내기 전 가장 힘듭니다 -김준T
-
비가 와 0
주르르 주르르 그만 와 다오
-
실모에서 풀줄 아는 것만 풀면 되는데 항상 사칙연산, 적분 잘못하거나 문제 조건...
-
푸아죄유 꼴려보이는데 이거 수2 미분으로 써도 초월일것같고 하진짜ㅁ느르겟노......
-
존맛이네 술도 냥냥하게 맥주 한병 이상 마심 ㅎㅎ..
-
너무 오래걸리는 것 같은데
-
오히려 n수를 권장해야 합니다
-
-
답지 있으신 분 있으신가요?ㅜㅜ 다 풀었는데 답지가 없어서.. 사진만이라도 파실 분...
쿠리야 야구팀 어디좋아하냐
야구규칙도모름
좋아하는 운동은 있냐
걷기요
오랜만인거같네 얘
며칠안지남
어디갔었어
게임하러감
님 수능 국어 기출에 저런 거 많은데
읽고 지문 분석해 주면 안 됨?
난 오르비 유저 100%보다 지능이 낮음
왜그럼
신이 원해서요
어떤 신이요
이 세상을 만든 신이요