[무슨말을 하던간에 다 무모순] 증명
게시글 주소: https://iu.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를 선물하세요.
-
캬 힘들엇다
-
8884888 7
-
아니 오늘 치킨 시킨김에 월즈 켰는데 왜 젠지 개발렸냐...
-
뭐하냐 작년보다 더하네
-
스시랑 우동 시킴 11
흐흐
-
저는 굽네를 택하겠습니다
-
젠지진짜뭐함? 1
??
-
예를들어서 동경 120°E라고 하면 서경 240°W와 같은건가요? 정확하게...
-
현장응시 97 캬캬
-
작년에 정말 힘들때마다 일기를 썼는데 그거 다시 읽어보니 감회가 새롭다
-
내일 신검가는데 11
4급받는방법 공유좀요
-
??
-
저녁뭐먹을가 12
ㅇㅇ
-
마니 ㅊㅊ해줘요!
-
시험 못 봐서 속상해할때 시험이 전부는 아니다고 위로하는건 3
핀트를 못 잡는 위로인게 시험을 못 본게 서러운게 아니라 자기가 가장 바라고...
-
사문 실모추천 1
사만다 리트 둘중에 하나 추천해주십쇼
-
몇개년부터 슬슬 겹치기 시작하죠??
-
절대 제가 못봐서 물어보는건 아니구요.. 네..
-
대성에 파는 파이널 시즌하고 정병호쌤 현강 파이널하고 다른건가요?
-
실린더 속 기체 부분압력이면 옆에 강철용기에 포함된 c는 고려안하는건가요?...
-
고2 영어 4나옵니다 단어 같이 하면서 인강 들어보려하는데 신택스 사놓은게 있지만...
-
매일 아침 오늘 풀거 말해주고 자기전에 점수랑 간략한 후기적어서 공유 수능날...
-
저는 국수영탐 2:4:1:3 정도 하는듯 지구 벼락치기한다고 물리 좀 유기했더니...
-
요즘 수능 경제 공부자료를 올리면서 그냥 ‘경제’ 검색을 많이 햐보는데요 혹시나...
-
허리 너무 아파요 15
파스붙혀도 이러는데 해결방법있나요,,
-
kbs 소설 2
현대소설 강의 다 못 들을거같은데 책만 보고 가도 ㄱㅊ나요? 작년에는 고전소설 그렇게 하긴 했는데
-
본인 현역때 2
거의 김승리 댓글알바인가 싶을정도로 오지게 홍보 하고 다녔는데 요즘엔 다 승리승리임
-
너무 사기적인거죠 큭큭 10만원 언저리에 이정도 수준의 파이널 교재와 강의 모고까지...
-
까먹었다가 이제야 했는데 참가대기인데... 끝난건가?
-
강의 존나김
-
군반수하지만 경북대가 여전히 자랑스럽다 갈수있다면 경북대 메디컬로...
-
믿는다.
-
젠지 쵸비상~ 4
한타밀린거뭐지??
-
는 무슨 11년동안 3번이지롱~~~
-
2024년 10월 2주차 韓日美全 음악 차트 TOP10 (+10월 1주차 주간VOCAL Character 랭킹) 6
2024년 10월 1주차 차트: https://orbi.kr/00069503208...
-
평가원입니다 14
질문 받습니다
-
6모 확통 61점 시험 보고 해설 안봄 이번에 다시 풀었을 때 찍맞 제외...
-
사람이 적어서 금방 찍을줄 알았는데 아니네
-
Ladies and Gentlemen, My name is Ryan from...
-
에타때문에반수해서한양대옴
-
하 못참겠다 2
1일 1풀실모 발싸
-
개인차인가요? 저는 요즘 하루에 씨리얼 두번이랑 곤약젤리만 엄청 먹는데 오히려 나은거 같은데
-
정병호쌤 2
좋아요? 깔끔하게 잘 가르치시 나요? 기출강의 들어볼려고 하는데 고2에요
-
강대x 난이도 2
평가원 시험지랑 비교했을때 어느정도 인가요 ?
-
더프 국어 1
원래 쉬운편임?
-
아파트 아파트 아 진짜 로제.....아
-
6시 기상이 아니라 6시 취침을 해도 된다고?
-
안그래도 할거많은데 해야하나... 싶지만 션티가 1시간만 하라고해서 일단은 믿고...
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요