[무슨말을 하던간에 다 무모순] 증명
1. 거짓을 부정할때
거짓을 부정하면 참이다
모순이면 거짓
대우명제는
참이면 무모순
따라서
거짓을 부정하면 무모순이다
2. 참을 부정하는 경우
2.1 공리를 부정하는 경우
공리는 참이라는 증명이 없다
즉, 귀류법 증명도 없다
즉, 공리를 부정해도 무모순
즉, 공리가 거짓이어도 무모순
2.2 참인 결론을 부정하는 경우
전제가 참이면 결론이 참
대우명제는
결론이 거짓이면 전제가 거짓
즉,
참인 결론을 부정하여 거짓인 결론이 되면
전제가 거짓이 되는데
공리는 전제에 속한다
따라서
참인 결론 부정->거짓인 결론->전제가 거짓->공리가 거짓->무모순
따라서
참인 결론을 부정해도 무모순
이로서
1. 거짓을 부정하는 경우
2. 참인 공리를 부정하는 경우
3. 참인 결론을 부정하는 경우
모든 경우에 대해 부정해도 모순이 없음을 증명함
모든것을 부정해도 무모순임을 증명함
----------------------------------------------------------------------
따라서
A다! 라는 주장을 부정해도 무모순이고 이때(A가 부정당해 A가 거짓이됨)
not A다! 라는 주장을 부정해도 무모순이고 이때 (not A가 부정당해 not A가 거짓이되고 따라서 A는 참이됨)
즉,
A가 참이든 거짓이든 무모순이라는거임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
2번은 더렵기도 하고 딱히 요청도 없어서 걍 패스했구 1 3 4번만 풀어봤습니다...
-
점수별로 나눠서 abc나누던데 c만따도 공군지원할때 기재가능?
-
낙지 1칸이 고속연초는 좀 심하지 않나
-
수능 작품 적중은 가끔 틀리시지만 수능에 나오는 출제 틀은 소름돋을 정도로 정확히...
-
나 입한한게 엊그제 같은데 벌써 본4 되는게 안믿기네
-
이런 선배 있었으면 11
-
딱 올해 한해만 치대 안 뽑는 거 개억울함 삼수까지 하면서 올해 최저 맞출 실력이...
-
그거 ot에 아직도 오르비 나옴?
-
아 ㅅㅂ 맞다 1
어제 투데이 ㄹㅈㄷ였을텐데 캡쳐 안 해놓음
-
님들 저 어캄 0
방 문 열어놨었는데 방충망 실수로 열어놓은거같음.. 지금 방에 모기 개많음.. 하...
-
권용기쎔한능검들을라는대 이걸로 하나로1급가능?
-
-
지금 나이는 스무살이고 올해는 수능을 보진 않았지만 내년에 수능 볼지 고민 중인...
-
그 벽을 넘으면 삼수나사수나 사수나오수나 오수나육수나 육수나칠수나 되어버리기쉬운거같음
-
오르비 삭제 2
원래 커뮤니티 같은 거 안 했거든여 우연히 오르비 알게되고 간간히 즐겼었는데 요근래...
-
딱 중대 성적이네
-
낮은과여도 상관없어요ㅠㅠㅠ
-
문학 쉬운 영향이 그렇게 큼? 꽃게지문은 물론이고 법지문도 2점짜리에 꽤 까다로운...
-
4월이나 5월에갈라는데 헌혈2번했고 한능검1급따고 itq...
-
지금 고2들은 3
윈터스쿨 가시는분들 중에 본인이 타고있던 인강 커리는 어떡하실건가요? 메가양지는...
-
응 근데 당연히 안 되겠지 ㅅ비ㅏㄹ 군대 갈 거면 카투사로 가고 싶네
-
공군 컷 99 4
왤케 빡세짐??
-
4수...계획 1
죽어도 의대 가야되면..걍 죽는게 나을까?ㅋㅋㅋㅋ가 아니라 미적하다가 못해먹겠어서...
-
같은 연대생들은 물론이고 다른 모든 사람들이 나보다 더 행복해보이네. 학벌성...
-
군가싫 26
가기 싫다.. 22일 남았다..
-
-
수학더하고싶은데 0
자야하네 아 잘풀리는날이었는데
-
작년 수능 의대 3
라인 잡아주는 글을 보다가 갑자기 작년 수능 생각이 나가지고요… 작년 성적기준으로...
-
의대 정원 확대 + 의반 표본 합류 (성적은 높아도 현 대학보다 낮은 성적대면 그...
-
똥냄새 레전드임 아 진짜 할겜이 없어
-
삶이 막막해서 9
잠이 안오는구나..
-
진짜 재미슴
-
선택 0
물화생지 고2 수능선택과목 모해야할까?
-
이제 그만해야지 23년은 군대로 인한 수능 응시x
-
나 자신을 안 챙겼던게 많이 후회됨 n수 비용 때문에 공부만 주구장창 했었는데 지금...
-
국숭세 이상으로 갈 수 있을까요
-
설대 정시 입학 << 고시 씨발 무슨 1차셤이 8과목이나 쳐봄 2차는 공부량 이거 10배라는데 씨발
-
오래 앉아있어도 허리 안아픔?
-
로스쿨 갈까 그냥.. 뭔가 현타와서 또 수능치기 힘들다
-
잘했고 0
잘할거야
-
무휴학 수능 4
해보신 분들 있나요 현실적인 경험들 좀 들어보고 싶네요
-
텔그 0
텔그 7-80 뜨는데 믿을만함? 낙지는 7칸인데 나중에 무조건 내려갈거고
-
경희 인문 논술 2
경희대 사회계열 인논 밤새면서 벼락치기로 해볼지 고민중인데 결과는 둘째치고 밤샘...
-
현대사회는 0
너무 복잡해
-
그치만 덕코가 절 막아요
-
개추 ㅋㅋ
-
갠적으로 좋아함..
-
번개 번쩍 번뜩 번질 번듯 이 '번'이 모두 공통된 '밝다'라는 의미 요소를 가지고...
-
삼반수 할 생각인데, 무조건 사탐 하는 게 맞나요? 생1 지1 선택자인데, 원래는...
-
동국대 홍익대 8
문과기준으로 어디감 홍익대 공사중인데 2029년에 완공한대 ㅋㅋㅜ
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요