[무슨말을 하던간에 다 무모순] 증명
1. 거짓을 부정할때
거짓을 부정하면 참이다
모순이면 거짓
대우명제는
참이면 무모순
따라서
거짓을 부정하면 무모순이다
2. 참을 부정하는 경우
2.1 공리를 부정하는 경우
공리는 참이라는 증명이 없다
즉, 귀류법 증명도 없다
즉, 공리를 부정해도 무모순
즉, 공리가 거짓이어도 무모순
2.2 참인 결론을 부정하는 경우
전제가 참이면 결론이 참
대우명제는
결론이 거짓이면 전제가 거짓
즉,
참인 결론을 부정하여 거짓인 결론이 되면
전제가 거짓이 되는데
공리는 전제에 속한다
따라서
참인 결론 부정->거짓인 결론->전제가 거짓->공리가 거짓->무모순
따라서
참인 결론을 부정해도 무모순
이로서
1. 거짓을 부정하는 경우
2. 참인 공리를 부정하는 경우
3. 참인 결론을 부정하는 경우
모든 경우에 대해 부정해도 모순이 없음을 증명함
모든것을 부정해도 무모순임을 증명함
----------------------------------------------------------------------
따라서
A다! 라는 주장을 부정해도 무모순이고 이때(A가 부정당해 A가 거짓이됨)
not A다! 라는 주장을 부정해도 무모순이고 이때 (not A가 부정당해 not A가 거짓이되고 따라서 A는 참이됨)
즉,
A가 참이든 거짓이든 무모순이라는거임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
수능 전날에 어머니 수술 관련 글을 올렸었는데 많은 사람들이 응원해주셔서 너무...
-
배경으로 지나갈려다 참았다 장난칠 상황이 아닌 것 같아서
-
사탐이랑 과탐 둘 다 어땠음?? 사탐 어렵 과탐 쉽? 이거임??
-
올해 수능 전도, 17번, 19번 3개 연계 됐어요 !
-
뭐인것같아요? 국수영중에서 혼자했을때보다 도움받았을때가 훨씬 좋은 과목
-
겨울? 귤이 달다 16
겨울이라기엔 아직 따듯하긴 한데
-
라인 한 번만 잡아주세요 ㅜㅜㅜ
-
통합수학 난이도 3
22~25수능까지 수학 미적분 선택 기준으로는 난이도 비교가 어떻게 될까용 22가...
-
백분위 메가기준 화작 81 미적 91 영어 2 사문 93 생명1 91 입니다...
-
가볼까
-
성적 잘 받거나 교내 교외에서 많이들 주시나욥
-
올해는 그나마 조금 줄어들었음 작년에 이래서 고대로 다 몰림
-
군수 24-25 수학 93–>84점 운에 대한 이야기 1
안녕하세요 오르비에 처음 글 써보는데요 운과 노력에 관한 많은 이야기들을 보면서 제...
-
작수 올해 6 9 수능 보면 개념이랑 ㅈ도 상관없이 지문형 독해 부담이 너무...
-
7,8번 선지 너무 개같은데 이게 수능이라고??
-
시립대 돌아가면 0
패스환급 대상이에요?
-
하나는 분명히 정답으로 푼 기억이 있는데 가채점표가 다르고 하나는 맞게 풀었는지...
-
어이가 없긴 함.
-
뭐라도 해야될것같은 느낌
-
화작 92점 미적 88점 영어 92점 세지 48점 한지 50점
-
지금 상황에서 감?
-
재종 다니는것보다 쌤 고를수 있는게 더 메리트 같은데
-
이거 말도 안되는데 뭔 작수 기준으로도 갈만한곳이 다 5~6칸임 전체적으로 백분위...
-
으흐흐
-
적당한 난이도의 수능이지..이게 적어도 국영수는
-
같이 게임하는 친구들 다 종강을 안해서 저를 안놀아줘요.. 그래서 혼자 할 수...
-
저도 입시판 떠난지 오래돼서 요즘은 어떤지 모르겠네요
-
성적표는 이전 글에 많음뇨.. ㅠㅠ 학점관리하다가 삼반수 하려고 해용
-
ㄹㅇ 늦게샀다가 대성한테는 환급도 못받음 메가랑 잇올에서만 받을듯
-
화작런 어떤가요 0
이번에 언매 20분 1틀인데 지문형은 항상 불안불안하고 시간도 오래걸려서 화작으로...
-
쌍지랑 쌍사밖에없음? 타임어택 싫은데 사탐 괴목 추천좀
-
올해는 화작이 2506 근접에 언매는 물은 아니여도 요새 수능 중 가장 쉬움(당연히...
-
어디든 현역으로 만족하고 대학간 애들이 승자임.. 돌아갈수만 있다면 걍 지거국...
-
* 자세한 문의는 아래의 링크를 통해 연락 바랍니다....
-
미치겠네..
-
다른 일하다 와서 내년에 들어가면 26살이라 일년일년이 중요한데요.. ㅎㅎ ㅠㅠ
-
나중에 실수들 들어오면 합격률 훅 떨어지는 그런거지?작년에 진학사 텔그 수능...
-
사탐 불이었던거 알겠는데 적어도 생지는 말도 안되게 어려웠고 걍 표본이 고여서...
-
와 날씨 좋다 0
이 날씨는 밖에 안나오는게 더 위험한 짓이야 이불속은 위험해!!!!
-
작년에 숭실대 합격하고 학벌 컴플렉스땜에 혼자서 많이 마음고생했는데 오르비에서도...
-
23보단 문학이 어려웠는데
-
지2인데 단과는 없는거같은데..
-
이거 논술 갈말 0
한양대 융합전자공학과 논술을 지원했는데 연세대 자연쪽 가능하면 거기로 가고싶어서요...
-
이정도 그림이면 실기 어디까지 가능한지 좀 봐주세요 ㅠㅠ 빈 아카데미 갈 수 있을까요?ㅠㅠ
-
제일 낮은 곳이라도 어떻게 안 될까요... 라인 많이 낮게 잡히나요...ㅜ 언매...
-
언미영화1생1임
-
이거 연고대 어디되요? 15
고속은 상경포함 찐초던데 너무 후한거 같고 중간과는 가고싳은데..
-
김미레님한테 고마운점 44
9모 끝나고 나서 언매 93점인데 2등급떠서 열받고있었는데 김미레 <- 이분이...
-
하 수능 탐구 낮 22라서 백분위 박았는데 장학금 6모로는 안되나
-
수능13번해설 0
의대 수석입학한 제자가 스타강사 장점만 모으면 제 해설이 된다고 해준적이 있어요.....
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요