[무슨말을 하던간에 다 무모순] 증명
게시글 주소: 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를 선물하세요.
-
연대 약대, 한양대 약대 점공 11등정도 됨. 최저 둘다 맞춤. 앞에 몇명 정도 최저 미충족일까요
-
왜냐면 사실 생각보다 베이스의 역할이 크기때문임 실제로도 나는 결속밴드에서 최애가...
-
최소한 만점이면 백분위 100은 나오는 선에서 난이도 쉽든 어렵든 뭐든 상관없는거아님?
-
공1 선2
-
노재능충이라는거임..
-
미방짤로 무엇을 할까
-
슬슬자볼가 0
뻥이라는거임
-
올해 대학와서 얻은 것들도 많은데 이정도면 등가교환인가 하.. 미적 늦게 시작한게 후회되네
-
올해 간다 간다 간다 그래 ㄴㅐ가 아무리 그래도 7번을 틀릴 리가 없지
-
백점이 최고점이라 만점자은 존재하지 않는다는 거임
-
난 못할듯 GG 시간단축 스킬같은게 존나 많은듯 걍 사탐 조지거나 생1 도전해봄
-
텔그 오류인가 2
성대 글리가 왜 99퍼가 뜨냐
-
진지하게 이 고민을 수능으로 잠깐 덮은 느낌
-
그건 응시를 안하면 된단거임 난 이렇게 몇년째 개이득을 창출하고 있단거임
-
수능장에서 가채점표 그냥 적을거면 쉬는시간에 노트에 옮겨적고 지우라길래 노트에...
-
칸수가 적은거에 넣을 수록 좋음 왜냐면 일단 칸수를 아낄 수 있단거임 그리고 칸수가...
-
어휴
-
기회균형 이나 농어촌 쓸수 있는데 화작:79 (3) 기하:77 (3) 영어:80...
-
국어 지문 중에 12
디퓨전 모델 있던데 어려웠음? 한국어라 좀 헷갈리긴 했는데 다 아는 거라 난이도...
-
도파민 파티를 하고 싶단는겅임
-
진학사가 지금 작수 기준으로 나와서 짜다는 말이 많은 것 같은데 작수랑 올해 수능이...
-
아 짜증나네 6
허리 존1나 아파
-
대학이 분리변표 해서 사탐 조지고 과탐 챙겨주면 내년에도 애들이 과탐 하는 거고...
-
ㅇㅈ 4
다섯살때 사진
-
막상 할 거 없음
-
수2 범위가 다항함수이다보니 너무 제한적이네요
-
개 잘 불러서 당황 ;
-
과탐 표본을 체감하고 싶음 이번 수능 시험지도 1컷 50 나오려나
-
O.ㅈ 메타 5
열어죠
-
해방되었도다 0
캬캬
-
교육청은 올 1등급이고 평가원은 6모 빼고 다 1등급 떳는데 ㄱㄴ? 지방에서 할...
-
기숙학원 0
안녕하세요 언미영생지 3323x 최저 3합7을 맞추려다 실패하고 재수할 예정인...
-
성글리만 왜 99%?
-
시발아
-
가장 최근에 본 고2 모고가 455 나왔으면 개념+기출(2,3점)만 돌리는게...
-
서울의 동국대는 문과기도한데 중요한게 연극영화, 예체능 연예인이 강세입니다. 수원은...
-
넌술파이널 0
몇전이면 충분할까요
-
ㅈㄴ멋있음
-
네
-
서강대 3
서강대 문과쪽 가능할까요?
-
과탐 1컷 왜이래요? 10
하하하 사탐 무시하던 과탐충들 개같이 수능에서 따잇! 이라고 하면 몰매맞을려나요 ㅜ...
-
제곧내
-
화학 이새끼때매 갈 대학이 뚝뚝 떨어지네 화학 46점이 생윤 34점이랑 표점이...
-
러셀에서 배 벅벅 긁으면서 현장감 개나줘버린 시험에서 역대급 커로가 뜬 것을...
-
가채점표 잘못씀 2
이런 경우 많음? 국어 2점짜리 답 분명 1, 2로 풀었은데 가채점에 2, 1로...
-
수과학 잘하고 국어못하는 아인대 국어를 잘보고 수과학을 망쳤네요ㅠ 여학생이고 어느...
-
명문대는 어디까지일까 21
전 서연고까지가 명문대라고 생각해요
-
독서 배경지식 쌓기용으로 추천할만 하실까요?
-
ㅋㅋㅋㅋㅋ
-
ㅈㄱㄴ
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요