[무슨말을 하던간에 다 무모순] 증명
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등급이야
-
이거 틀리면 허수라는데 올해나온거까지 알아야되네 ㄷ
-
맞출생각이 그냥 없었구나 작년부터
-
네
-
24수능 25수능 미적 부딪혀보니까 계산 개복잡한 수2같음
-
내신은 2-1까지 자사고 3초반에 2-2,3-1부터 7.1, 9.0 인데 이러면...
-
브릿지랑 브릿지 전국이랑 뭐가 달라요?
-
사문 출제팀 1
이번 사문 48점인데 출판팀에 들어가기 힘들까요??
-
네
-
이감8개랑 영어k랑 강대n제 풀세트랑 지구랑 수학 개인실모 몇개 남았는데 원가...
-
ㅜㅜ 공유해주세요
-
교차도 시도해볼만한가요?
-
언매 시작하려 하는데 둘중 뭐가 더 낫나요? 진짜 하나도 모르는 노배에요
-
작년에 카대약대 3문제중 1,2번만 풀고 3번 손도못댔는데 예비3받고 떨어졌는데...
-
그냥 궁금해서 올려봤어요
-
이거 가톨릭대 낮과도 못갈성적인가요
-
점메추해드려요 12
점메추를 해드림
-
근데 오르비 왜 가끔 사진 올리면 흐리게 업로드됨? 0
무슨 필터 끼운 거마냥
-
인문으로 쓴다 했을 때 어디까지 노려볼 수 있나요..? 성대 낮은 인문은 안되나요 퓨ㅜ
-
응 나머지는 그걸 위한 발판이다
-
어떻게 맞추셨나요 곡물 수입 일본 그문제 수특 가장자리 지엽부분이던데 거기까지 다 외우신건가요?
-
평백65>80 2
성적은노답인데 재수열심히했다고는할수있나요 객관적으로요…현역때워낙안한것도있지만 어차피...
-
쉬워서 더 어려운최저도 맞췄다->빠짐 쉬워서 그것만 맞췄다-> 안빠짐이라 올해 충원...
-
서울사시는 분들 6
시험장 분위기 어떠나요 저는 아랫지방에서 시험을 봤는데 그렇게 살벌하진 않더라구요...
-
수리논술 노베임 어떻게든 비벼볼라고 논술학원 가려는데 대치에 있는곳 추천좀요
-
본인 국어(언매) 공통에서만 7점 까인 93점인데 설마 이것도 2뜨겠냐...ㅈㅂ
-
낮을까요??
-
장수생이 진짜 ㅈㄴ많아서 삼수에대한 거부감이 줄어들었달까
-
군대 안가는데 3
전 뮤ㅓ함
-
건국대 논술 1번 다 잘하고 마지막에 계산실수하고 (인수분해 잘 해놓고 근...
-
개쌉낮과 추추추합 가능한가요
-
진짜로
-
혹시 기존 다니던 학교랑 비슷하거나 낮게 나오면 지원 안하실건가요?
-
그리고 합격자발표까지는 거의 세달 조금 덜남았는데 여러분들은 이 기간동안 뭐하시나요...
-
숙약 못붙겠네 6
다 푼 사람이 너무 많어 존나 물로내서
-
진짜 존경한다 존경해 1 어케 찍냐 진짜 어느 과목이든 1은 진짜 대단하다고 느낌
-
생윤 2컷 0
35 안 되려나요..ㅠㅠ 제발... 답정너 맞으니깐 안된다고 말할 사람은 걍 나가고...
-
빨리 가라 제발 재수하는거 존나 외로울것 같아 ㅠㅠ
-
넘을 수 없는 벽과도 같구나
-
언매 가채점 입력을 잘못했더라고요 ㅋㅋ ㅠ 그리고 가채점표 잘못 써서 미적 1틀...
-
정시로 보니까 뼈저리게 느낀다 하하
-
입시판 떠난지 오래돼서 감이 안옵니다
-
역시 제주도 3
벌써 감귤이 넘치기 시작
-
떨리는데 연습 많이 했으니 되겠지 나는 된다!
-
광교에 본점있는데 거기 흑백요리사에 잠깐 나왔다 카더라 원래 먹던데인데 맛있음
-
이번에 수능 본 친구 성적인데 화작 기하 물1지1 입니다. 정확한 점수는 잘 모르고...
-
평백으로 대학 가는건 아니지만 궁금
-
죄지으면안되겠다...
-
막상 좀 쉬려고 놀고 있으니까 더 불안함
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요