[무슨말을 하던간에 다 무모순] 증명
1. 거짓을 부정할때
거짓을 부정하면 참이다
모순이면 거짓
대우명제는
참이면 무모순
따라서
거짓을 부정하면 무모순이다
2. 참을 부정하는 경우
2.1 공리를 부정하는 경우
공리는 참이라는 증명이 없다
즉, 귀류법 증명도 없다
즉, 공리를 부정해도 무모순
즉, 공리가 거짓이어도 무모순
2.2 참인 결론을 부정하는 경우
전제가 참이면 결론이 참
대우명제는
결론이 거짓이면 전제가 거짓
즉,
참인 결론을 부정하여 거짓인 결론이 되면
전제가 거짓이 되는데
공리는 전제에 속한다
따라서
참인 결론 부정->거짓인 결론->전제가 거짓->공리가 거짓->무모순
따라서
참인 결론을 부정해도 무모순
이로서
1. 거짓을 부정하는 경우
2. 참인 공리를 부정하는 경우
3. 참인 결론을 부정하는 경우
모든 경우에 대해 부정해도 모순이 없음을 증명함
모든것을 부정해도 무모순임을 증명함
----------------------------------------------------------------------
따라서
A다! 라는 주장을 부정해도 무모순이고 이때(A가 부정당해 A가 거짓이됨)
not A다! 라는 주장을 부정해도 무모순이고 이때 (not A가 부정당해 not A가 거짓이되고 따라서 A는 참이됨)
즉,
A가 참이든 거짓이든 무모순이라는거임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
가천됨?
-
국어 100에 물1 생2 1컷은 떠야 작년하고 비슷하네 ㅋㅋㅋㅋㅋㅋ 미치겠다 걍...
-
군수하면은 근데 2
하루에 공부를 얼마나 할 수 있음?
-
제발 됐으면 좋겠네요 복학은 안돼
-
작년 70% 1.33 본인 1.297...ㄹㅇ 걍 여기 붙으면 바로 갈건데 최저...
-
아 0
화1 왜함?
-
그냥 플레만 나왔으면
-
표점 이런거 다 필요없고 2등급만 받아도 좋은데 뭐가 좋을까요 내신 물화생지만 해서 아예 노베에요
-
백분위입니다! 언 89 확 86 영어 2 생윤 82 사문 89 가능할까료…………
-
이번에 어차피 군대 갈거라서 해야될거같은 느낌… 군수가 너무 매력적이야 리스크 없는...
-
오르비언들 1년동안 잘부탁드립니다
-
저분이랑 비슷함 공부 더 하고 시작해야지의 반복임
-
회기오랜만에온다 0
논술보러오니감회가다르네
-
한/약 둘 다 붙으면 어디갈지 좀 고민중인데 알아보니까 약국 매물이 지인...
-
높은과 욕심 없음
-
지구 6 9 수능 1등급 지방 의대생이면 시급 얼마 받아도 됨? 0
이번 6 9 수능 백분위 98 99 98인가? 그런데 시급 3~4 괜찮나? 의대생...
-
과는 상관없습니다!
-
너 어드메 울고가니
-
라인좀 잡아줘 0
-
한지는어땠어요? 4
지리도 불이었나요? 69평비해서… 선택자는 아닌데 궁금
-
모의논술 말고 기출이요 ㅠㅠ 으악
-
어느정도될까요..?
-
CS 확보를 통한 성장라인 관리를 통해 합류 기회를 확보하여 교전 이득 -> 팀원의...
-
이렇게 나왔는데 하 진짜 수학 계산 실수해서 12점 날려먹어가지고 주르륵 떨어진게...
-
숙약 증명문제 1
걍 1이랑 비교하면 되는 거였 맞?
-
강의나 교재 추천해주세요 고1때 어떤 사정으로 수하 유리 무리함수 건너뛰었는데 이젠...
-
반수 해보신분들 10
반수 해본적이 없기도 하고 한다면 무휴학반수 할거같은데 리프레쉬 되는 느낌이...
-
ㅅㅂ 해도해도 만년 2등급이야
-
이거 틀리면 허수라는데 올해나온거까지 알아야되네 ㄷ
-
맞출생각이 그냥 없었구나 작년부터
-
네
-
24수능 25수능 미적 부딪혀보니까 계산 개복잡한 수2같음
-
내신은 2-1까지 자사고 3초반에 2-2,3-1부터 7.1, 9.0 인데 이러면...
-
브릿지랑 브릿지 전국이랑 뭐가 달라요?
-
사문 출제팀 1
이번 사문 48점인데 출판팀에 들어가기 힘들까요??
-
네
-
이감8개랑 영어k랑 강대n제 풀세트랑 지구랑 수학 개인실모 몇개 남았는데 원가...
-
ㅜㅜ 공유해주세요
-
교차도 시도해볼만한가요?
-
최저 3합 6이고 남은 과목 하나가 무조건 2 떠야 최저 충족하거든요 ? ㅠㅠ 정법...
-
언매 시작하려 하는데 둘중 뭐가 더 낫나요? 진짜 하나도 모르는 노배에요
-
작년에 카대약대 3문제중 1,2번만 풀고 3번 손도못댔는데 예비3받고 떨어졌는데...
-
그냥 궁금해서 올려봤어요
-
이거 가톨릭대 낮과도 못갈성적인가요
-
점메추해드려요 11
점메추를 해드림
-
근데 오르비 왜 가끔 사진 올리면 흐리게 업로드됨? 0
무슨 필터 끼운 거마냥
-
인문으로 쓴다 했을 때 어디까지 노려볼 수 있나요..? 성대 낮은 인문은 안되나요 퓨ㅜ
-
응 나머지는 그걸 위한 발판이다
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요