[무슨말을 하던간에 다 무모순] 증명
1. 거짓을 부정할때
거짓을 부정하면 참이다
모순이면 거짓
대우명제는
참이면 무모순
따라서
거짓을 부정하면 무모순이다
2. 참을 부정하는 경우
2.1 공리를 부정하는 경우
공리는 참이라는 증명이 없다
즉, 귀류법 증명도 없다
즉, 공리를 부정해도 무모순
즉, 공리가 거짓이어도 무모순
2.2 참인 결론을 부정하는 경우
전제가 참이면 결론이 참
대우명제는
결론이 거짓이면 전제가 거짓
즉,
참인 결론을 부정하여 거짓인 결론이 되면
전제가 거짓이 되는데
공리는 전제에 속한다
따라서
참인 결론 부정->거짓인 결론->전제가 거짓->공리가 거짓->무모순
따라서
참인 결론을 부정해도 무모순
이로서
1. 거짓을 부정하는 경우
2. 참인 공리를 부정하는 경우
3. 참인 결론을 부정하는 경우
모든 경우에 대해 부정해도 모순이 없음을 증명함
모든것을 부정해도 무모순임을 증명함
----------------------------------------------------------------------
따라서
A다! 라는 주장을 부정해도 무모순이고 이때(A가 부정당해 A가 거짓이됨)
not A다! 라는 주장을 부정해도 무모순이고 이때 (not A가 부정당해 not A가 거짓이되고 따라서 A는 참이됨)
즉,
A가 참이든 거짓이든 무모순이라는거임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
노이즈노이즈노이즈노이즈노이즈노이즈노이즈노이즈노이즈노이즈 #~~~~~~# 이건 걍...
-
ㅇㅇ
-
작수 공1미3마냥 2 뜨겠죠?
-
제시문 좀 쉽게 느껴졌는데 저만 그런 건가여
-
시간 남아서 분명 검토했는데도 못찾음 전
-
사실 라인 얘기는 구라고요 아주 예쁜 민지 좀 보고 가세요 진짜 230126...
-
ㅈㄱㄴ
-
이번 수능 21666인데 수시는 동아대정도 붙을꺼같아요 편입이 좋을까요 아님 그냥...
-
지구 39 0
이쯤이면 2된다고 해줘… 제발….
-
-
어디까지 감?
-
질문카페에 올라오나요? 아니면 제가 따로 연락을 드려야하는건가요? 조교지원 해보신 분!!
-
현장에선 존나 빡세서 1컷 45로 느끼긴 했는데 47 높은거같고 46 정도는...
-
ㅈㄱㄴ
-
과상관없으니꺼 어디라인까지가능할까여……
-
그럼 과탐 ㄹㅇ 좆댓다 아님?
-
기대하던 결과에는 한참 못미쳤지만 우선 진학 후 뭐라도 해볼 만 한 것 같고...
-
평상시 실수 많이하면 무조건 실수잡아라..
-
중앙대 4
집중앙대
-
메스가키 지문..♡
-
머임 봄냄새남 2
날씨도 따뜻해..
-
작년 24 29 30 올해 25 29 30 미적28은 찍맞 이거 본전..은 뽑은거지?
-
예비고3 과외학생이 물1화1 한다고 합니다. 이거 어떻게 설득해야하나요? 7
근데 좀 치는애임 ㅇㅇ 뭐 큰 의미는 없지만 고2 모의고사 정도는 50점 나옴....
-
반성 좀 해야됨? 그 아래에 있는 삼각형 각 변 길이는 쉽게 나왔는데 그 최대일때...
-
위에가 올해고 밑이 작년인데 올해랑 작년이랑 점수차이가 좀 나는데 퍼센트는 왜 비슷할까요 ㅇㅅㅇ
-
설공이나 메디를 원합니다
-
와 3
수능 망하고 곧 군대도 가야하니까 진짜 걍 아무것도 하기싫고 모든게 다 부질없어 보임
-
미적 80 1
공통 2틀 미적 3틀 2컷 가망성 없어보이나요? 이거 안 되면 논술 최저 못...
-
사회계열 가고싶은데 가능할까요? 어디까지 가능할지 봐주시면 감사드리겠습니다….
-
쉬웠나요?? 2-2 빼고 다 풀고 했는데 다른 거 하나 틀린거같은데..ㅜ
-
논술 보러가시나여 원서비 아까워서 경험삼아 보는게 좋을 거 같긴 한데 어차피...
-
라인좀 봐주세요 4
약수 될것같나요
-
원점수 88 3으로 내려갈까요...?
-
본인 수학 17번 틀린거 보고 PC방에서 오답하고 줄담배 5개 갈김
-
한국지리내용추가뭐노이ㅋㅋ 1. 가는 나보다 제조업종사자비율이 높다 2. 나와 다는 모두 특례시이다
-
22수능이 쉬워서 23수능으로 정상화된 전적이 있기에 아마 내년은 디폴트가 시그모가 될듯...
-
크게 바뀔 사람들도 있을거임 그니까 너무 믿진 마셈요 탐구 너무 못봤거나 or 너무...
-
지구 백분위 96이면 의대 갈것같은데
-
무조건 화작이 맞음. 4점이면 황벨이고 5점 이상이면 언매 승
-
하고픈말 남기고 가기
-
총무님한테 1년 진짜 잘썼다고 말하고왔다.. 진짜 끝난거같네 하하ㅏㅎ
-
화학은 걍 2
출제진들이 생각이 모자랏나 진짜 이해가 안 감 왜 저렇게 냣는지
-
대성 교재캐쉬 0
대성 교재캐쉬 사는게 편하다길래 구입하려고 했는데 교재 캐쉬로 결제할때는 19패스...
-
언미영화생 표점으로 123 139 3 63 65 입니다.
-
올수는 언매 다맞고 공통도 다 맞았네 ㅋㅋㅋ 아 왤케 기분이 좋지
-
순서도가 아닌 건가요
-
다른 곳으로 이적하시면 잡도해,생글생감•• 이런 커리들 다 사라지는 건가…....
-
가채점 기준으로 중대 적정 잡히고 실채점 시 제 위치가 조금더 내려갈 수 있다는것도...
-
고2 옯붕이임. 일단 28찍맞이고 실력은 80점. 일단 공통 객관식 3점 풀고...
-
대구광역시 2
판도가 안이쁨....
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요