[무슨말을 하던간에 다 무모순] 증명
게시글 주소: https://i.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를 선물하세요.
-
1. 표본 수준 생1>생2 1등급 난이도는 현 시점 기준으로 큰 차이 안 난다고 봄...
-
내년엔 연대 시험 보기 직전에 파이널 수업을 들어야 하나 3
실전 연습을 아예 안 하고 가니까 계산 실수 등 뭔가 시험 운용적 측면에서의 부족함이 드러나네요
-
답 5050이라 썼네 아...
-
헬푸미 2
여러분 전 골수 물스퍼거인데… 물1 물2를 못하잖아요? 그래서 화2를 해볼려고하는데...
-
그냥 지들이 세뇌되어온 지식을 부정하면 다굴치는거네 13
이게 니들의 실체
-
풀이 틀린거 있을까요?
-
국어특 15
끝나고 잘본거같다 입가에 웃음이 돈다 -> ㅈ됨 ㅈ된거같다 -> 잘봄
-
단체로 조지면 알아서흑화하겠지 산화하던말던 알빠노?
-
1955 버거 먹을테야 (대충 사악하게 웃는 소리)
-
주관식 1,3,4-1 맞고 서술형 5-1 맞고 5-2,6-1 깎일듯
-
「ㅈ..저..저녁 드실 시간이에요...... 끼니 거르지 마시고...건강한거 드세요❗️랄까...」
-
뭉탱이를 믿고 뭉탱이를 따르고 뭉탱이를 원하는 자, 구원 받을지어니
-
중세에는 '매(maj/마ㅣ)'로 쓰였는데 현재는 쓰이지 않고 있습니다. '왜'는...
-
왜 불안하지
-
공통점찾기, 모든것에WHY 이 두가지를 깨달으면 우주를 이해할지니 깨닫지 못한...
-
스마일라식한지 반년쯤 됐는데 요즘 알레르기 때문에 진짜 죽을 것 같아서 알레르기...
-
참, 거짓, 옳고 그름은 믿음에서 출발하는 판단이다 3
왜냐하면 참거짓을 증명하는데에는 증명없이 믿는 공리가 쓰이기때문
-
여기선 어떻게 참고 있는거래
-
전 노력 3:재능 4:운 3정도 같은데 어케보심요
-
수학 실모 0
수능이랑 비슷한 스타일과 난이도 추천해주세요!
-
전 27/4 나왔는데 맞나요..
-
연논 후기 0
수능 공부 하자~
-
ㅈㄱㄴ
-
배점을 모르겠네
-
어떻게 생각하시나요? 발상 자체는 바로바로 떠올랐는데 계산량이 너무 많아서 좀 많이...
-
연논 파이널 들은 김기원t의 스타일에 익숙했던 것 같다
-
출처:...
-
오늘 문제는 어떤 시험 혹은 대회에서 나온 문제를 변형하였습니다. 정답자에게...
-
김준t 총평 4
김준t는 왜 총평을 안하시나요? 영상 틀자마자 바로 풀이 시작이던데..ㅠ
-
하..
-
나만 그럼?
-
저메추 바람 2
급함
-
1. 21/79 2. 27/55(틀림) 3-1. 1155 3-2. 2010 4-1...
-
존나 뜬끔없이 어려워서 하기싫다는데 저 ㅈㄹ 하시는데 걍 개짜증나고 더럽다
-
요새 실모 평균 난이도인거같은데
-
누르면 오르비 탈퇴 사이트로.. 이걸로 로그아웃시킬 수 있나
-
처음푸는거 아닌데 종이에 푸는게 좋음 이북 못쓰겠어요 검더텅? 자이스토리?!
-
일단 6,9모 둘다 3점 두개 삑사리나서 2 떴고, 마지막 한끗을 메꾸고싶어서...
-
미적 N제 0
이제 미적 수분감 다 끝냈는데 바로 드릴 풀어도 될까요 ?? 아니면 더 쉬운 N제...
-
유튜브에서 보니까 22수능에서 21213 맞고 서울대 화교 고대 통계 붙었다는데...
-
영어 듣기 공부 하면서 거기에 나온 단어 외울 때 틀린문제의 모르는 단어만...
-
잘 모르겠어요ㅜㅜ
-
단답형 0
약분 안하면 틀리나
-
연논ㅋㅋㅋㅋ 3
2번 4-2번 답 4050나오는애 빼고 다 틀린듯ㅋㅋㅋ
-
지문 내에서 이진수 덧셈 방법이 제시되어 있지 않은데 배경지식 제외하고 맞은 분들은...
-
오 닉변성공 1
마음에들어요
-
오래된 생각이다
-
시대 재종 1년 무휴반 n개월 돈과 시간을 투자했는데 발전이 없음 화이팅
-
ㅜㅡㅠ
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요