무슨 말을 해도 무모순인 이유
게시글 주소: 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를 선물하세요.
-
그래도 커하를 모아서 행복할 단계까지는 왔구나... 작년엔 아무리 커하를 모아도...
-
ㅈㄴ 빡세보이네 스몰더 요네 애쉬 이렇게 밴할려나.
-
걍 요즘 여돌 노래가 걍 너무 시끄러움 이 정도 시끄러움이 딱 좋다
-
ㄹㅇ
-
수학 4등급 1
제가 수학이 낮4 나오는데 목표는 중간4 정도입니다. 지금 수1 수2 10~12번...
-
만점임.
-
서바 24풀다가 비슷한거 실전미가라고 나와서 뭔가 했는데 ㅋㅋ 오류였구나 처음에 a 0인줄..
-
다들 호머얘기하네 내가 미안해 ㅜㅜ 가상의 적을 만들었어... 상상을 너무 못봐서...
-
안녕하세요. 제자들 풀릴 모의고사 만들었는데 필요한 분들이 계실 것 같아서...
-
포켓몬 발견 5
제발 아무나 포켓몬볼 좀
-
난 호머 사피엔슨데...
-
수학은 공부하나 안하나 고정 3이네 따흐흑 수학잘하게하는약 없나
-
ㄱㅎㄷ ㅂㄷㅇㅌㅇㅇㅎㄱ
-
뽀뽀해드릴게요 아무나..
-
외국 대학 모를 때는 라이스 대학 보고 이름 존나 웃기다 생각했는데 9
알고 보니 설립자 이름이 William Rice였고 남부의 하버드라는 별명을 가진...
-
구독 목록 1
한국인이면 침투부 구독합시다.
-
심심해서 공군 궁금한거 질문 받습니다~ 최근에 많이 바뀌었다는 얘기는 후임들한테...
쿠리야 야구팀 어디좋아하냐
야구규칙도모름
좋아하는 운동은 있냐
걷기요
오랜만인거같네 얘
며칠안지남
어디갔었어
게임하러감
님 수능 국어 기출에 저런 거 많은데
읽고 지문 분석해 주면 안 됨?
난 오르비 유저 100%보다 지능이 낮음
왜그럼
신이 원해서요
어떤 신이요
이 세상을 만든 신이요