[무슨말을 하던간에 다 무모순] 증명
1. 거짓을 부정할때
거짓을 부정하면 참이다
모순이면 거짓
대우명제는
참이면 무모순
따라서
거짓을 부정하면 무모순이다
2. 참을 부정하는 경우
2.1 공리를 부정하는 경우
공리는 참이라는 증명이 없다
즉, 귀류법 증명도 없다
즉, 공리를 부정해도 무모순
즉, 공리가 거짓이어도 무모순
2.2 참인 결론을 부정하는 경우
전제가 참이면 결론이 참
대우명제는
결론이 거짓이면 전제가 거짓
즉,
참인 결론을 부정하여 거짓인 결론이 되면
전제가 거짓이 되는데
공리는 전제에 속한다
따라서
참인 결론 부정->거짓인 결론->전제가 거짓->공리가 거짓->무모순
따라서
참인 결론을 부정해도 무모순
이로서
1. 거짓을 부정하는 경우
2. 참인 공리를 부정하는 경우
3. 참인 결론을 부정하는 경우
모든 경우에 대해 부정해도 모순이 없음을 증명함
모든것을 부정해도 무모순임을 증명함
----------------------------------------------------------------------
따라서
A다! 라는 주장을 부정해도 무모순이고 이때(A가 부정당해 A가 거짓이됨)
not A다! 라는 주장을 부정해도 무모순이고 이때 (not A가 부정당해 not A가 거짓이되고 따라서 A는 참이됨)
즉,
A가 참이든 거짓이든 무모순이라는거임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
부산이나 서울로 해야할듯
-
4합6은 몰라도 4합8은 꽤 많을거같은데
-
도대체 왜 곱미분을 그렇게 했을까
-
납득가능한수준인가요?
-
거의 로또에 희망 거는 기분... 숫자 감각이 빠그라져서 아주대 약대 800대 1...
-
수능에 6평 아버지의 땅 정도 현소 나왔으면 좋았을텐데 0
현대소설이 너무 쉬워서 아쉽다
-
-
올해 98점은 한 5번 맞은거같은데 100점은 없어서...
-
성적표 기도메타 5
하아...
-
지구 진짜... 하... 문이과 상관없이 인서울에서 제일 높은 대학 갈 수 있는 곳...
-
과탐 한과목 비중정도 되는건가요? 반영비율 20이러는데 자체환산점수로 들어간대서...
-
몇달만에 경희대옴 10
우리경희가건물은예뻐
-
그냥 스투 다니면 되려나
-
님들 원래 대학은 자퇴하고 다시 맘대로 드갈수 있음?? 0
나 학고반수했는데 자퇴하고 리셋할까
-
수능은 재능측정 시험이 맞음... 저렇게 열심히 공부하고, 마인드도 좋은편인데...
-
제 친구가 이번에 수능을 쳐서... 기하는 공통이랑 선택중에 뭐 틀리는 게 표점 상...
-
경북대 0
논술 수험표 아직 출력못함? 안뜨는데
-
경험담 2
.
-
하 국어가 문제네요 ....어차피 수시러긴 하지만 6광탈 할 때를 대비하여 상향으로...
-
유연한 오징이냐
-
13번?에 3차랑 1차 빼서 적분하는 문제랑 10번에 삼각함수 6모 20번...
-
공식은 다 외운 것 같고...
-
현역 23수 6틀 지사의재수 24수 5틀 삼룡의삼수 25수 2틀 ??이젠 놓아줄 수 있겠네요
-
1. 수능날 들은 플레이리스트가 계획에 딱딱 맞아떨어짐 2. 수능 샤프가 문구점...
-
직탐근황 10
ㅋㅋ
-
6 9 수능 92 100 98 이정도인데 구해볼 만 할까요.. 교육청은 3월 92...
-
바라볼수밖에만 없는건 아마도
-
국어 커리 섞어타면 ex) 문학-김승리T, 독서-정석민T 이런식으로 하면 김승리...
-
수능 전날에 어머니 수술 관련 글을 올렸었는데 많은 사람들이 응원해주셔서 너무...
-
배경으로 지나갈려다 참았다 장난칠 상황이 아닌 것 같아서
-
사탐이랑 과탐 둘 다 어땠음?? 사탐 어렵 과탐 쉽? 이거임??
-
올해 수능 전도, 17번, 19번 3개 연계 됐어요 !
-
뭐인것같아요? 국수영중에서 혼자했을때보다 도움받았을때가 훨씬 좋은 과목
-
겨울? 귤이 달다 16
겨울이라기엔 아직 따듯하긴 한데
-
라인 한 번만 잡아주세요 ㅜㅜㅜ
-
통합수학 난이도 3
22~25수능까지 수학 미적분 선택 기준으로는 난이도 비교가 어떻게 될까용 22가...
-
백분위 메가기준 화작 81 미적 91 영어 2 사문 93 생명1 91 입니다...
-
가볼까
-
성적 잘 받거나 교내 교외에서 많이들 주시나욥
-
올해는 그나마 조금 줄어들었음 작년에 이래서 고대로 다 몰림
-
군수 24-25 수학 93–>84점 운에 대한 이야기 1
안녕하세요 오르비에 처음 글 써보는데요 운과 노력에 관한 많은 이야기들을 보면서 제...
-
작수 올해 6 9 수능 보면 개념이랑 ㅈ도 상관없이 지문형 독해 부담이 너무...
-
7,8번 선지 너무 개같은데 이게 수능이라고??
-
시립대 돌아가면 0
패스환급 대상이에요?
-
하나는 분명히 정답으로 푼 기억이 있는데 가채점표가 다르고 하나는 맞게 풀었는지...
-
어이가 없긴 함.
-
뭐라도 해야될것같은 느낌
-
화작 92점 미적 88점 영어 92점 세지 48점 한지 50점
-
지금 상황에서 감?
-
재종 다니는것보다 쌤 고를수 있는게 더 메리트 같은데
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요