[무슨말을 하던간에 다 무모순] 증명
1. 거짓을 부정할때
거짓을 부정하면 참이다
모순이면 거짓
대우명제는
참이면 무모순
따라서
거짓을 부정하면 무모순이다
2. 참을 부정하는 경우
2.1 공리를 부정하는 경우
공리는 참이라는 증명이 없다
즉, 귀류법 증명도 없다
즉, 공리를 부정해도 무모순
즉, 공리가 거짓이어도 무모순
2.2 참인 결론을 부정하는 경우
전제가 참이면 결론이 참
대우명제는
결론이 거짓이면 전제가 거짓
즉,
참인 결론을 부정하여 거짓인 결론이 되면
전제가 거짓이 되는데
공리는 전제에 속한다
따라서
참인 결론 부정->거짓인 결론->전제가 거짓->공리가 거짓->무모순
따라서
참인 결론을 부정해도 무모순
이로서
1. 거짓을 부정하는 경우
2. 참인 공리를 부정하는 경우
3. 참인 결론을 부정하는 경우
모든 경우에 대해 부정해도 모순이 없음을 증명함
모든것을 부정해도 무모순임을 증명함
----------------------------------------------------------------------
따라서
A다! 라는 주장을 부정해도 무모순이고 이때(A가 부정당해 A가 거짓이됨)
not A다! 라는 주장을 부정해도 무모순이고 이때 (not A가 부정당해 not A가 거짓이되고 따라서 A는 참이됨)
즉,
A가 참이든 거짓이든 무모순이라는거임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
성대 아무과라도 되는 성적일까요?...
-
제발,,
-
지방교대 8
화작확통영어생윤사문 한국사 5 75 80 69 39 36 지방교대 가고싶은데.. 어디 가능?
-
살짝 물지같은 포지션인가? 과탐만 해서 문과는 생윤사문이 정밴줄 알았는데 정법사문도 많이보이네
-
만약에 사탐이 같은 백분위 99여도 표점이 각각 72 66 이런식이면은 나중에...
-
난 항상 킬러문제도 시간 쫓겨가며 타임어택하는데 수능시험장에서 1시간 딸깍하고...
-
재수는 다들 하길래 별생각 없었는데 삼수는 진짜 고민이 많이되네요 하더라도 반수할거같긴한데...
-
흠
-
미적사탐했는데요 수능망해서 일단 서강대논술 보는중이에요. 담주에 중대 상경논술 한양...
-
수능 끝나서 독서실에 사람이 없음 아오 집 가서 걍 잠이나 자고 싶다
-
-
개십 희망편 에반데
-
논술귀찮아
-
학교수업만 듣고 모르는 부분만 인강 찾아가면서 수특 설명글만 읽고 수특문제랑 마더텅...
-
ㅈㅂㅈㅂㅈㅂㅈㅍ
-
중대 경영 재학생인데 학교 탈출 절대 불가일까요..? 라인 조언 간절히 구합니다ㅠㅠㅠ 7
정말 어떻게든 학교 옮기고싶은데 국어점수가...ㅠㅠㅠ 스나 가능성 있는 학교도 아예...
-
-
이정도면 외대는 가능한가요..? 백분위 오차 감안하고요
-
미적77 2기원 제블 ㅜㅜㅜ
-
대학라인 0
어디까지 가능할까요..?
-
국수영 다 1컷 걸친거같은데 이정도면 고23까진 아니더라도 중딩이들은 과외해도...
-
3은 안된다 시불 ㄲㅋㅋㅋㅋ
-
좋긴 하네요 힣
-
실수도 실력 0
실력 감소
-
-
이 기조 27때까진 유지하자 제발 ㅋㅋ
-
일단 저요
-
국어-불 24수능급이면 딱 좋을듯 수학-불만 아니면야... 영어-제발 물 근데...
-
이 성적대면 서성한 공대 어디까지 가능하다 보시나요?
-
-
보고싶다 얼른
-
횡단보도에서 제복입은분 못본지 꽤 됨
-
집중력 좋으면 시험 더 잘봤을 것 같아서요. 책상이 가끔씩 흔들~리고 (정확히는...
-
킬캠 시즌1 풀때 81~ 88이었는데 지금은 85~88 됐네 계산실수로 4점...
-
언매 94 미적 84 영1 물1 40 지1 40 제 점수는 아니고 제 가족...
-
언매 90(2등급) 미적 100(1등급) 영어 2 생윤 41(1등급) 윤사 39(2등급)
-
국어만 잘 맞는 시험지 딸깍하면 바로 성불함 올해랑 23수능때 이런사람들 ㅈㄴ 많았을듯
-
건동라인인가요..?
-
-
여기가면되겠다
-
국어 때문에 불안하네요
-
22때 화1해서 2였는데 지금 다시 수능보려니 기억이 안나요 화2 바로하기에...
-
ㅠㅠ
-
브릿지 여러개 모아서 프린트하고싶은데 확통이랑 기하부분은 빼고 한 30회분 모아서...
-
내년은 불지를 차례긴 한데 ㅅㅂ
-
수학 제외하고
-
28학년도 수능부터는 정시에서도 내신 보는거 확실한가요? 8
그럼 내신 따기 어려운 학교 가서 내신 말아먹은 사람들이나 장수생들은 수능 ㅈㄴ...
-
어그로 죄송합니다 한양대 에리카 차세대 반도체 가능한가요?
-
건논 망했네 5
엄....
-
과학 범위 물화생지 원과목만 나오나요 투도 나오나요?
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요