[무슨말을 하던간에 다 무모순] 증명
게시글 주소: https://iu.orbi.kr/00069458109
1. 거짓을 부정할때
거짓을 부정하면 참이다
모순이면 거짓
대우명제는
참이면 무모순
따라서
거짓을 부정하면 무모순이다
2. 참을 부정하는 경우
2.1 공리를 부정하는 경우
공리는 참이라는 증명이 없다
즉, 귀류법 증명도 없다
즉, 공리를 부정해도 무모순
즉, 공리가 거짓이어도 무모순
2.2 참인 결론을 부정하는 경우
전제가 참이면 결론이 참
대우명제는
결론이 거짓이면 전제가 거짓
즉,
참인 결론을 부정하여 거짓인 결론이 되면
전제가 거짓이 되는데
공리는 전제에 속한다
따라서
참인 결론 부정->거짓인 결론->전제가 거짓->공리가 거짓->무모순
따라서
참인 결론을 부정해도 무모순
이로서
1. 거짓을 부정하는 경우
2. 참인 공리를 부정하는 경우
3. 참인 결론을 부정하는 경우
모든 경우에 대해 부정해도 모순이 없음을 증명함
모든것을 부정해도 무모순임을 증명함
----------------------------------------------------------------------
따라서
A다! 라는 주장을 부정해도 무모순이고 이때(A가 부정당해 A가 거짓이됨)
not A다! 라는 주장을 부정해도 무모순이고 이때 (not A가 부정당해 not A가 거짓이되고 따라서 A는 참이됨)
즉,
A가 참이든 거짓이든 무모순이라는거임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
깜고 보고가 0
냐옹
-
오늘 할 일 0
미적분 확통 기하 기출문제풀기
-
일단 여러분들 모두 수능보느라 수고 많이 하셨어요! 저는 정법을 너무 못봐서 마음이...
-
운동화 안신는다고 욕 들어먹기는 처음...
-
진짜 입시판 빨리 뜨길 잘했다는 생각이 듦 가면 갈수록 표본도 고여가고 문제도...
-
시험 망친 애들때문에 무효처리됐네 재시험 쳐봤자 못보면 또 트집잡아서 소송할텐데...
-
한부모가정 농어촌인데 둘중에 뭐로 원서 넣는게 나아요? 0
한부모가정 농어촌 둘다 해당인데 정시 둘중에 뭘로 원서 넣을까요?
-
낮과라도 하나 넣는거 걍 버리는 카드일까요 단국대는 어떨지도 봐주세요
-
제가 깔아드림
-
나머진 그렇다 치고 6번 문제 다시 보니까 천듀슈 장쥔마이 공통점을 천듀슈 옌푸...
-
제발...
-
기분이이상하군요
-
ㅋㅋㅋㅋㅋㅋㅋㅋ이거 맞음? ㅋㅋㅋㅋ
-
걍 착잡함 0
작년 수능은 못볼거 예상했고 예상한대로 나왔는데 올해는 잘볼거같았고 시험장에서도...
-
거긴 가채점 안하고 주관식만 가채점 했는데 은근 의문사 당하신 분 많은데……. 어떤...
-
ㅇㅇ 근데애초에실채점도안나와서모르긴해
-
아무교대나 인하아주에리카가천 중에 공대는 절대 안되겠죠… 인문으로 최대한 높혔을때...
-
ㄹㅇ 책이라도 읽어야되나 추리소설로
-
잘보셨나요? 고민중이라..
-
평가원 #~#
-
과탐 가산점 어케 되는거예요..? 하나만이라도 반영해주나?
-
표점 자체가 하락하니까 환산점수도 내려가는게 당연한거죠?
-
서울대는 되는 곳 없나 연고대는 어디 되나요 서성한은 다 되나여
-
사문 사탐런 0
어울리는 조합 뭐가 있나요?
-
적정라인 0
적정라인 알고 싶고요 교차지원하면 어디까지 가능할까요: 스나는 어디까지 가능할까요:
-
선착 5개 대충 재학생 짬밥으로 궁예 해볼게요
-
국어2 0
내년수능보려고하는데 국어2등급도 약대 가능한가요?
-
탐구 평소보다 10점씩 떨어진게 존나 다행이였네 평소처럼 봤으면 중경외시 걸어서...
-
걍 지거국 인식인가요… 매체에서 워낙 자극적이게 표현해서ㅠ
-
저나이에도 저 움직임이 나오네 ㅋㅋㅋㅋ
-
쌍사황이 될거야 10
내년 오르비대표 쌍사러는 나다!
-
현역이일때부터 떡잎이 다름? 올수 21122 박은거같은데 재수해서 갈수 있을까요...
-
.
-
문단 나누면서 생기는 칸도 글자수로 치는 건가요?
-
잘 몰라서 답변 부탁드립니당
-
반수할걸 0
현역 때랑 달라진 게 거의 없고 현역부터 재수 1분기까지 쌍윤 파다가 뭔 자신감으로...
-
어쩌지
-
백분위 기준 화작 92 확통 93 영어 4등급 생윤 99 사문 88 대학 어디쯤 갈...
-
수능도 끝났겠다 6
큐브가서 한탕하는거 어떰 ㄱㅊ?
-
어우 디게어렵네요;; 1번: pi/3<t<5pi/3 2번: sqrt273/21...
-
사촌동생한테 여자소개 받았는데 이러면 너무 실례겟죠? 4
전역하고 내년수능준비하는데 사촌동생이 여자소개시켜준다길래 일단 잡고 만나서 애프터...
-
국어 3 한국사 1 ㅋㅋ
-
이걸로 최저 맞추는데 개 쫄리네요..ㅋㅋ
-
등급컷 1
등급컷 1점 정도는 내려가지 않아? 공부가 진로가 아닌 애들은 메가나 이런 사이트에...
-
소신발언 사문) 18
진짜 꿀통인듯 사탐런 들어온 표본도 허수가 ㅈㄴ 많음 원주민들 든든하고
-
지구가 너무 망해서 어디까지가능할가요ㅠ
-
아이고..
-
최저 맞출 확률은 낮지만...그래도 최선을 다할게요
-
사탐런 추천 17
사문 vs 생윤 (국어 개못함) 둘다 무섭네요 이번 난이도가…
-
사회계열 가고싶은데 가능할까요? 어디까지 가능할지 봐주시면 감사드리겠습니다….
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요