[무슨말을 하던간에 다 무모순] 증명
게시글 주소: 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를 선물하세요.
-
둘중에 하나만 하라하면 뭐함??
-
그니까 여기서 화작 생윤 확통이 더 떨어질수도 있다는거죠… 그거 감안해서…
-
물리1 개 욕나오네 진짜루 ㅠㅠ
-
화학과 가고싶은데 화학보다 생윤이 유리한가요? ㅠㅠ 2
아... 이게 K-입시?
-
대략적으로 봐주실 수 있을까요? 고경 진짜 가고 싶습니다 ㅠㅠ
-
메디컬 아니면 원서 넣을 생각이 없습니다 약대를 목표로 했습니다
-
-
세지 1컷 0
세지 1컷 46일 가능세계는 없나요 ㅅㅂ ㅠㅠ?
-
20 가형 92점 vs 25 미적 88 뭐가 더 어려움 8
후자가 더 어렵지 않음? 준킬러 개빡신ㄷ
-
기출 묘비명 이거 반어적인 건지 어떻게 아는 겁니까...? 9
반어적인지 몰라서 틀렸는데 그걸 어떻게 알아요...? 그냥 돈 나오고 높은...
-
안녕하세요! 이번 수능에서 예상보다 좋은 성적을 받아서 정시로 메쟈의까지 지원해볼...
-
서울대 목표인 예비고3이고, 그동안 여러 사정으로 인해 공부를 쉬다가 몇달 전부터...
-
한번만 봐주세요 감사합니다
-
말그대로 한번에 찍었다는 뜻
-
언매는 어떻게 학습하시나요?
-
대학 2학년생인데요 학교 불성실히 다니다 지금이라도 가고 싶은 과 찾아 가고 싶어서...
-
화작 백분위 72 미적 백분위 95 영어 2등급 한국지리 백분위 96 사회문화...
-
얘만큼은 메가가 틀렸으면 좋겠다
-
안돼 ….
-
대박
-
다들 화이팅!
-
5번 틀림 ㅅㅂ
-
관독 1등도착 16
왜 아무도없지… 넓은곳에 나 혼자라 좀 무서운디
-
가끔 연락하고 있는데 수업도 올 무기한 스탑되고 되게 어수선하다고 하더라고요..
-
수리논술 쓸때 어디까지 생략가능하고 어디까지 써야하고 잘 모르겠네 1
모든걸 마음껏 다풀어써버리면 뭐 아주 넉넉하게 만점 나오겠지만 그러면 시간도 안되고...
-
아니지?
-
ㅅ발 왜 미적 88 2라는거야… 안 된다고.. 생명 45는 발뻗잠 가능..?
-
쉬는시간에 걍 독일어 책좀 읽었는데 6개월만에 Goethe Zertifikat C1 합격함
-
인문 자연 상관없이 갈건데, 어디까지 추가 합격으로도 갈수 있을까요?
-
당연히 전자가 더 꿀임?
-
6, 9평 1컷 50점에 9평이 6평보다 아주살짝 어려웠으나 오히려 만점자가...
-
헉..
-
되리라믿어요
-
국어: 독서론 틀림 수학: 5번 틀림 영어: 듣기 틀림 사문: 관료제 탈관료제 틀림...
-
다른건 가채점표를 안써서 점수는 모르지만 국어는 깔끔하게 다 풀었고 영어는 1,...
-
의vs치vs약수 8
안녕하세요 솔직히 제가 이정도의 점수를 받을수있을지 전혀 예상을 못했는데.. 지금...
-
예상 좀 부탁…제발 ㅜㅜㅜㅜ
-
-
내년부터 질문만 오지게 올리다가 합격증 올리고 튀면 나도 저렙노프사단 가능한가
-
제발….
-
전 92라서 상관없긴한데 진지하게 미적 282930 다 틀려도 이상하지 않을...
-
재수 도와주세요 0
가채점 결과 44533 화미영생지 입니다 노베이스입니다 내년 수능엔 언확사탐 할...
-
카대 논술 자리 2
배정받은 교실 들어가서 아무데나 앉으면 되나요?
-
근데 만약 복학하게되면 군대부터 먼저가는게 맞는거임? 15
아빠가 걍 한학기 다니다가 가라는데 (전과제한때문에) 뭔가 지금 돌아가진 못하겠어서...
-
국어 오답률 보다가 제가 4번문제를 틀린게 갑자기 너무 이상해서 시험지 다시 봤는데...
-
서강 입실 1
-
고대 수교과나 스나로 설대 펑크난곳 10%정도는 비빌 수 있을까요?? :( 재미삼아...
-
22랑 난도 비슷한데 요번 과탐보면 애들 표본 장난 아닌거 같음 의대 반수생은...
-
재수/반수 고민 1
6모 백분위 98 100 2 89 90 9모 백분위 98 95 1 78(블) 92...
-
지금 딱 컷에 걸쳐서..
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요