[무슨말을 하던간에 다 무모순] 증명
게시글 주소: 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를 선물하세요.
-
국어 18번 저처럼 생각해서 2번 못고르신 분 있나요 3
상소에 들어있는 내용이랑 이미 아는 바랑 둘다 정렬부인이 개지랄 떨었어요라고...
-
저는 그 미친개년인가 그 글이요
-
ㅇㅇ
-
찍기특강안믿고 빈순삽 풀고 틀린거 슈바
-
인문논술을 조금 다니려고 해요. 국숭세단~그 아래 라인을 지원할거라 그렇게 길게 안...
-
물1에 등가속도 등속도 일 에너지 부분들 물2에도 비슷하게 나오나요?
-
미필들을 위한 공군 공략집 https://orbi.kr/00055684196 공군...
-
화작 기하 쌍지로 내일부터 출발합니다메가 대성 패스 둘 다 결제 해뒀는데 대부분...
-
?? ??
-
개인적으로 수능 화학 생명은 나중에 공부해보고 싶음 6
재밌을 거 같음ㅇㅇ퍼즐 게임
-
강사 누구듣는지상관없는듯.. 그냥 사문은 마지막교시컨디션80에 자기한테 맞는문제 잘나오는거 20인듯
-
가능하면 이과로가고 싶은데
-
씨 팔 살 려 줘 ! ! ! !
-
플로우 엣지 등등 시대컨 작년이랑 올해랑 내용 많이 바뀌는지 궁금합니다.
-
만표가 낮을수록 컷은 내려갈것이다 서강대의 23년도와 24년도 입결자료를 관찰했다...
-
문제 풀때부터 와 이건찢었다 싶으셨나요??
-
질문받습니다.
-
모두 수고 많으셨습니다 내년에 학교에서 봬요
-
제발 가채=실채이길
-
미적 77 0
미적 77 미치겠네요.. ㅋ ㅋ 무조건 2떠야되는데.. 미적 푸느라 공통을 4개를 틀렸네요..
-
미적 왜 함 ? 2
확통 이 난이도에 1컷 92~93인데 미적이 85~88이면 아무리 봐도 할 이유가...
-
대답은 안해드립니다
-
이거 중대 안 될까요? 16
네.. 진학사 기준 낮공은 되는데 믿을 수는 없고..
-
네 그냥 그렇다고요.
-
삼수생이고 이번에 육군 갈 예정인데요... 올해 언미물지 원점수 92 88 2 42...
-
잇올 밖에 없나
-
문학 다맞았는데 언매 3틀함 ㅜㅜ
-
어디가나음 재수할건데
-
공군 7월입대 했슴다! 군수 관련 질문 받아드릴게엽 (+ 대성마이맥 추천in...
-
맞팔하실분 10
구함
-
도망치는거까지도사실여자애의게획이엇던거여서 그래서 학교애등교햇는데 분위기가 너무...
-
그냥 아무렇지 않은 분들이 많으셔서..
-
완벽한계획 캬캬캬캬
-
그게~나야
-
하루종일 13
밥먹고 자고 밥먹고 자고 근데도 피곤해
-
어땠나요? 성균관대 성논
-
-
피곤해 죽겟음
-
일단 생1은 선택하고 나머지 한과목 고민임 지구는 내신 선택안해서 하기 좀그렇고...
-
아무거나 좋아요
-
가뿐하게 의대 갈려나 국어도 잘하지 않았나요
-
포기 2
241121 240914 120630(나) 170630(나) 130630(가)...
-
작수 5에서 올해 1월부터 재대로해서 미적 92인데 이정도면 많이한편임? 5
수1는: 쎈 b, rpm, 마플기출, 너기출, 수분감,...
-
수학을 중3과정도 제대로 안 하고 놨습니다 이번에 삼수를 말아먹고 사수를 해야하나...
-
관련 링크입니다....
-
국어 수학 탐구 각각 대략 얼마나 미쳤을까요
-
나만 안보이냐 다들 그냥 허탈해하는거같은데 그보다 69 진짜 잘보고 수능때 아쉬운...
-
지구과학 5
이거 왼쪽은 왜 평평하고 오른쪽은 왜 볼록함? ㅈㄴ 과한거 아니냐
-
와 0
4합 9로 고대 떨어짐 까비~
-
광운대 논술학원 0
광운대 논술학원 추천해주세요 지역은 대치,목동이면 좋겠습니다!
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요