[무슨말을 하던간에 다 무모순] 증명
1. 거짓을 부정할때
거짓을 부정하면 참이다
모순이면 거짓
대우명제는
참이면 무모순
따라서
거짓을 부정하면 무모순이다
2. 참을 부정하는 경우
2.1 공리를 부정하는 경우
공리는 참이라는 증명이 없다
즉, 귀류법 증명도 없다
즉, 공리를 부정해도 무모순
즉, 공리가 거짓이어도 무모순
2.2 참인 결론을 부정하는 경우
전제가 참이면 결론이 참
대우명제는
결론이 거짓이면 전제가 거짓
즉,
참인 결론을 부정하여 거짓인 결론이 되면
전제가 거짓이 되는데
공리는 전제에 속한다
따라서
참인 결론 부정->거짓인 결론->전제가 거짓->공리가 거짓->무모순
따라서
참인 결론을 부정해도 무모순
이로서
1. 거짓을 부정하는 경우
2. 참인 공리를 부정하는 경우
3. 참인 결론을 부정하는 경우
모든 경우에 대해 부정해도 모순이 없음을 증명함
모든것을 부정해도 무모순임을 증명함
----------------------------------------------------------------------
따라서
A다! 라는 주장을 부정해도 무모순이고 이때(A가 부정당해 A가 거짓이됨)
not A다! 라는 주장을 부정해도 무모순이고 이때 (not A가 부정당해 not A가 거짓이되고 따라서 A는 참이됨)
즉,
A가 참이든 거짓이든 무모순이라는거임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이거 논술 갈말 0
한양대 융합전자공학과 논술을 지원했는데 연세대 자연쪽 가능하면 거기로 가고싶어서요...
-
이정도 그림이면 실기 어디까지 가능한지 좀 봐주세요 ㅠㅠ 빈 아카데미 갈 수 있을까요?ㅠㅠ
-
제일 낮은 곳이라도 어떻게 안 될까요... 라인 많이 낮게 잡히나요...ㅜ 언매...
-
언미영화1생1임
-
이거 연고대 어디되요? 15
고속은 상경포함 찐초던데 너무 후한거 같고 중간과는 가고싳은데..
-
김미레님한테 고마운점 29
9모 끝나고 나서 언매 93점인데 2등급떠서 열받고있었는데 김미레 <- 이분이...
-
하 수능 탐구 낮 22라서 백분위 박았는데 장학금 6모로는 안되나
-
수능13번해설 0
의대 수석입학한 제자가 스타강사 장점만 모으면 제 해설이 된다고 해준적이 있어요.....
-
사실 전자일 가능성이 더 높다고 생각은 함 이건 3점 이상 차이날 수밖에 없어서..
-
아니진짜하기싫어
-
물수능(나한텐 아니였음ㅠ)이라고 자꾸하니까.. 걍 정시로도 될거같은 애매한 학교들...
-
기하로 틀까 고민중인데
-
인서울라이프 드가자
-
거의 1년 동안 가장 열심히 한 과목인데 제일 못 봤네... 이제라도 책 읽을까
-
흐흐
-
군수 성공해서 대학 붙으면 9월달에 바로 입학 가능한건가요?
-
숭실대 금융학부 가능할까요? 교차로 어디까지 비벼지는지 궁금합니다..
-
2차중간 공부하기싫다
-
끝난지 얼마 안돼서 미화 아직 안된 상태라 알 사람은 알겠지만 뭔가 한번만 더 보면...
-
과탐 전략을 수학에 쓰는 평가원 그저 goat....
-
오르비 200점 독포맞고 탈릅하신 오르비 출신 강사님에게 인사드리러 가야겠다. 작년 수강생이라서
-
연대 학고반수 0
많이 하는편인가요.. 추천하시나요
-
동홍 스나 가능할까요 하…..ㅜㅜㅜ 근데 다들 스나 어케 하시는건가요 계속...
-
윤성훈t 조교 10
언제 어디서 뽑으심 보통..? 대학가면 하고싶은데
-
어디게 0
-
지금 22개정시발점 확통 빼고 다 올라왔는데 제가 확통만 시발점 들어볼까 했는데...
-
국숭세단 라인 0
국숭세단 가능할까요? 라인 잡아주세요ㅜㅜ 논술 때문에 급해요…
-
25학년도 생활과 윤리 15분 정도 사용하여 1번부터 20번 문항까지 품. 9번...
-
탐구 추천 받음 3
정법 세지중에 머함
-
언제부터 바꼈데
-
성적표 나올때까지 정신병걸리겠네
-
최저땜시...
-
고경가능? 5
표점 121 145 2 71 69 면 고대경영 뚫나요?
-
광주에서 활동하는 국어쌤인데 부끄럽지만 저 좀 국어 자신있거든요.. 요즘 아무나...
-
제가 베타테스터한 고대논술구경하러 안암갔겠지만 그러지 못한관계로... 응원할게요!!
-
근데 국수 원툴이면 대부분 2트 안쪽으로 대학을 가는 듯. 4
물론 억까가 없단 하에 평소실력대로 나왔다는 전제로
-
노이즈노이즈노이즈노이즈노이즈노이즈노이즈노이즈노이즈노이즈 #~~~~~~# 이건 걍...
-
ㅇㅇ
-
작수 공1미3마냥 2 뜨겠죠?
-
제시문 좀 쉽게 느껴졌는데 저만 그런 건가여
-
시간 남아서 분명 검토했는데도 못찾음 전
-
사실 라인 얘기는 구라고요 아주 예쁜 민지 좀 보고 가세요 진짜 230126...
-
ㅈㄱㄴ
-
이번 수능 21666인데 수시는 동아대정도 붙을꺼같아요 편입이 좋을까요 아님 그냥...
-
지구 39 0
이쯤이면 2된다고 해줘… 제발….
-
어디까지 감?
-
질문카페에 올라오나요? 아니면 제가 따로 연락을 드려야하는건가요? 조교지원 해보신 분!!
-
현장에선 존나 빡세서 1컷 45로 느끼긴 했는데 47 높은거같고 46 정도는...
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요