[무슨말을 하던간에 다 무모순] 증명
게시글 주소: https://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를 선물하세요.
-
갑자기 불안 제2외 포기할사람 광장같은데 가서 종이나눠주고 포기각서 쓴담에 제 구역...
-
수능도 끝났으니 새폰사달라고 할까싶은데 바꿔서 생각해보니 새 폰이 그렇게...
-
90 94 2 79 51 동홍국숭 무리인가요?
-
뻘글러 금테 진입은 모두의 꿈인걸요..
-
남고생은 교복이 사기임 14
-
맞팔 구합니다
-
언매 88 0
언매 1틀 입니다.. 2는 걸치겠죠..? 1컷 93 위로간다는 분들이 좀 계신거같애서
-
어느 정도 보정하고 내놓는 건가요 아니면 그냥 입력한 거 그대로 내놓는 건가요??
-
하 인생
-
내신 BB
-
더하고싶다 노력도 배신을 하긴 하는구나를 깨닫게 됐습니다 나중에 결혼해서 애낳아도...
-
한단계 진화했다 6
-
찌라시엇나요
-
21112인데 서성한도 안되네.. 서성한 다 빨간줄임 하핳 뛰어내려야 하나
-
-
혼자서 공부하고 원서 써도 괜찮나요??
-
"저 한국 가서 살래요" 이민자들 전 세계에서 몰려든다는데…이유 알고 보니 1
[서울경제] 한국이 지난해 전 세계 주요 국가 가운데 이민자 증가율이 두 번째로...
-
작년에 비해 입결 낮아질까요??? 높은학교 아니고 지거국이에요
-
맞팔구해요 6
맞팔해주세요
-
수상할 정도로 독수리를 좋아하는 고대출신
-
.
-
대충 도파민채우는 용도 이런건가요 더러운글만쓰는데 팔로워가 갑자기 늘어남
-
저는 편입실패자입니다
-
안되는규칙혹시있나
-
특히 애매하게 여초인 교대에타들이 제일 궁금하네요 서울교대는 서울에 있어서 아직까지...
-
김과외 지금 전적대로 등록해놓고 학교 합격하면 변경할 수 있나요?
-
이거 어디까지 될까여
-
지금 진학사 7칸이고 환산식은 작년기준 최종등록자 하위 20퍼에 딱 걸치는데...
-
수학 1컷,2컷 3
1컷 92 2컷 80 이 정배임???????????????? 누가 확정좀 지어줘 제발 ㅠㅠ
-
수능과 오르비
-
중경외시 가능성 없나요?ㅠ 건동홍은 가능하나요
-
맞팔하실분 8
저 잡담태그 잘달아요
-
아무질문받습니다 12
화작확통생윤화2했어요 질문받습니다
-
서울여대 공학되면 서울대로 졸업장받음
-
최저 맞추게되어서 약대 한의대 고민중입니다 약대는 차의과대학이고 아직 면접...
-
-
작수 국어 백분위 85-> 올해 원점수 98 질문받음요 8
ㄹㅇ 심심해서.... 궁금한거있으면 질문해주세요.....
-
나는 효과 봤는데 전에 누가 저거보고 아니라그래서
-
김승리 풀커리 ㅇㅈ 11
으윽..
-
난 작수 미적이 올해미적보다 훨 쉬웠는데ㅜ 물론 작년에 30번 계산실수했고 이번엔...
-
현재 영어 고3 모고 기준 2-3등급 나옵니다. 조정식 쌤 인강 들어보려는데 어떤...
-
찾아봐도 잘 모르겠어서., 도와주시면 감사하겠습니다..
-
04년생이고 광운 전자 2학년 재학 중이고 학점은 4.2입니다 현역 때 엄청 열심히...
-
시험이 어렵진 않던데
-
탐구가 너무 망해서 ㅠㅠ 탐구 하나반영하는 성글경이나 서강대 어떻게 안될까요….
-
선착 3명 덕코드림
-
이제 뭐해야되나요? 원투? 투투? 저 말고 과외생 탐구 추천해줘야되는데.. 화1...
-
임정환쌤 조교 3
지원하고 싶은데 언제부터 공지 올리시는지 대충 아시나요?
-
제가 흥미가 없으면 펜을 안잡아서요..
-
더이상호소가아니였으면좋겠다제발...
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요