[무슨말을 하던간에 다 무모순] 증명
게시글 주소: 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를 선물하세요.
-
수학 3번 9번 계산실수로 틀리기 영어 빈칸 1개 문삽 1개 틀려놓고 듣기, 심경,...
-
-
국어 가채점표 헷갈리는거 때문에 402.2나 405.2 나올거 같은데 이정도면...
-
얼굴 절데 못 그리겠다 진짜
-
광운대가 제일 좋음? 서울권에서
-
2월까지 얼마 정도 모아놔야할까요…
-
고전 명곡 추천 2
.
-
내년 지구과학 현강 다니려는 학생입니다.. 다들 이신혁 이신혁 하길래 궁금해서...
-
예전 오르비에는 07 별로 없었는데..
-
학교별로.....?
-
지금 나가면 길바닥에 쓰러져 잘 거 같음
-
ㅈㄱㄴ
-
수리논술때문에 1
확통 개념강의 통으로 다 듣는거 비효율적인가요? 노베라 아무것도 모름
-
ㄹㅇ임
-
화작확통생윤사문 순서대로 3컷, 3컷보다 3점 높음, 4컷, 3초중 영어3이요(..)
-
원래 김태영t 개념강좌가 없어서 박선우t 들으려고 했는데 이번에 새로 런칭한다고...
-
의치한약수 인가요? 한이랑 약이랑 비교했을 때 한이 더 돈 잘 벌 확률이 높은 거...
-
과자 추천좀 7
편의점 가서 사먹으려고
-
ㄹㅇ 언제시작하지 너무 많아서 감당이 안되네;;
-
3일차 진짜 이게 안된다고? 나 울거야
-
정확히는 지금은 아니고 12/9일 안 되려나
-
수험표받고 "감사합니다 좋은 하루 되세요" 했더니만 앉아계신 여선생님께서 "헉" 이러심
-
님들은 최고로 멋짐 나도 그랬었고 뒤쳐져있다는 심리때문에 항상 위축되고 자존이...
-
댓글이나 쪽지 강의안 쓰는 중이라 답장 늦을지두
-
수학 선택과목 고민 16
미적하고 있던 07년생이고 4월에 자퇴해서 69평 1등급 5덮 1 7덮2 8퀄1...
-
2번은 더렵기도 하고 딱히 요청도 없어서 걍 패스했구 1 3 4번만 풀어봤습니다...
-
점수별로 나눠서 abc나누던데 c만따도 공군지원할때 기재가능?
-
낙지 1칸이 고속연초는 좀 심하지 않나
-
수능 작품 적중은 가끔 틀리시지만 수능에 나오는 출제 틀은 소름돋을 정도로 정확히...
-
나 입한한게 엊그제 같은데 벌써 본4 되는게 안믿기네
-
이런 선배 있었으면 11
-
딱 올해 한해만 치대 안 뽑는 거 개억울함 삼수까지 하면서 올해 최저 맞출 실력이...
-
그거 ot에 아직도 오르비 나옴?
-
아 ㅅㅂ 맞다 1
어제 투데이 ㄹㅈㄷ였을텐데 캡쳐 안 해놓음
-
님들 저 어캄 0
방 문 열어놨었는데 방충망 실수로 열어놓은거같음.. 지금 방에 모기 개많음.. 하...
-
권용기쎔한능검들을라는대 이걸로 하나로1급가능?
-
-
지금 나이는 스무살이고 올해는 수능을 보진 않았지만 내년에 수능 볼지 고민 중인...
-
그 벽을 넘으면 삼수나사수나 사수나오수나 오수나육수나 육수나칠수나 되어버리기쉬운거같음
-
오르비 삭제 2
원래 커뮤니티 같은 거 안 했거든여 우연히 오르비 알게되고 간간히 즐겼었는데 요근래...
-
딱 중대 성적이네
-
낮은과여도 상관없어요ㅠㅠㅠ
-
문학 쉬운 영향이 그렇게 큼? 꽃게지문은 물론이고 법지문도 2점짜리에 꽤 까다로운...
-
4월이나 5월에갈라는데 헌혈2번했고 한능검1급따고 itq...
-
지금 고2들은 3
윈터스쿨 가시는분들 중에 본인이 타고있던 인강 커리는 어떡하실건가요? 메가양지는...
-
응 근데 당연히 안 되겠지 ㅅ비ㅏㄹ 군대 갈 거면 카투사로 가고 싶네
-
공군 컷 99 4
왤케 빡세짐??
-
4수...계획 1
죽어도 의대 가야되면..걍 죽는게 나을까?ㅋㅋㅋㅋ가 아니라 미적하다가 못해먹겠어서...
-
같은 연대생들은 물론이고 다른 모든 사람들이 나보다 더 행복해보이네. 학벌성...
-
군가싫 26
가기 싫다.. 22일 남았다..
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요