[무슨말을 하던간에 다 무모순] 증명
게시글 주소: https://ebsi.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를 선물하세요.
-
계산형 안푼지 너무 오래되서 시간 많이썼네;
-
개어렵네ㅋㅋ 수능이 이러면 1등급 0.5퍼도 가능할듯
-
안 바뀌네
-
평가원스러운 감동 이런 건 없더라도 다 납득할만한데 왜 상상 파이널 모고 문학은...
-
닌자고봐야지 7
흐
-
아이 기분좋아 0
고작 고2모고에 일희일비하면 안되지만 그래도 너무 신난다 ㅋㅋㅋ
-
너무 강k에 절여져서 그런데 보통 수능 난이도는 10모에 가깝나요 아니면 강k에 가깢이요
-
기하 올해일내냐? 15
수능날은 그래도 미적한테존나따이겠지ㅠ
-
수의대가면 5등급으로 상승가능할려나
-
아 공하싫 1
-
국어 공부 많이 안 하고도 학평 1~2컷 나오는 애들이면, 기초 강의에서 나오는걸...
-
공대기준 gpa98근처면 가능성 확 높아지는듯 (나랑 내 주변기준) 근데 사실...
-
더프vs10모 1
재수생인데 둘중 하나만 하려고 합니다. 뭐가 더 나을까요
-
수능 당일 자전거를 타고 이동할 것이 예상됩니다. 이에 따라 탈부착식 자전거...
-
형은 다음달에 조금 큰 시험 봐.
-
한양대 기계 가능?
-
왤케 마렵지 알단 사전채점은 해놓긴함 ㅋㅋ
-
어감이 ㄹㅇ 존나 귀여움 하시압 어서 드시압 참고하시압
-
많은 도움을 받으실 수도 있다고 생각합니다. 올해 6월 9월 사문 중에서 특출나게...
-
오르비에 올렸던건데 보다가 깜짝놀랐네!! 기범쌤 제 얘기 좀만 더 해주시지 ㅎㅎㅎㅎ
-
내신은 겁나 잘하는데 오히려 모고는 같은학교 중상위권~중위권보다 못치는 경우
-
윈터스쿨 성적 맞춰야되는데 국어 높1 수학 높1이라 지구만 맞추면 되는데 37...
-
다들 한 달간 힘을 내시압
-
지금이라도 책 꾸준히 일주일에 서너시간씩 읽으면 독해력 늘까요…? 분명 어렸을때...
-
놀랍게도 저는 영어로 최저를 맞추고 국어를 안합니다 성적표와 참 대응이 안되죠 물론...
-
내년수능 준비중이고 수학을몇달간 기하를 해본결과 갑자기 쫄림 1. 발상적인게 많음....
-
어려웠나요?
-
수1 수열 귀납적 추론 빈칸추론으로 쓸만한 소재 구합니다. 0
등식 써주시거나 사진도 첨부해주시면 감사하겠습니다.
-
당황스럽네 고12는 3 6 9 11중에 3번보는거아니었나
-
재수를 해도 올해 수능 성적에 후회는 없었으면 좋겠어요
-
요즘은 개성인가봄 전형적인 미녀상이 없음
-
이게 변경에 포함된 아수라일지도 모고 3회랑 기존 교재패스에 포함된 김승모...
-
작가의 말 때문에 사는 거면 개추ㅋㅋㅋ
-
진짜 오랜만에 ~이감 인듯
-
샤프 추천 받습니다 12
델가드 쓰는데 샤프 움직이면 샤프 안에서 뭐가 자꾸 움직이니까 너무 거슬려서 못...
-
수학 올려서 서울대가야징
-
이거랑 12번틀려서 45점이래 억장이무너진다 임마 수능날에도 이러는거아니야
-
파이널이니깐..
-
공기부록 3
요새무너곤피하다
-
벅벅틀리노 시발 얘네는 지문부터 지엽적인 추가정보가 너무 많고 선지에서그대로물어봄...
-
저는 아이폰
-
손풀이 부탁드립니다
-
쌍윤러 여고생 ㅇㅈ 12
저능해서 울엇서ㅓ..
-
잠시 질문좀... 10
질문할 만한 곳이 여기밖에 없어서 잠시만 들렀다 감니다... 현시점에 수학 기출...
-
과외 고민… 4
과외쌤이 절 싫어하시는거 같아서 스트레스 받네요.. 성격적으로? 안맞는거 같아서...
-
그 비슷한 내용으로 메인글 간 사람 게시물 찾아주실 분 잇나요? 덕코 소량 드림
-
집에서 통화하는데 가끔씩 상대방 쪽에서 전화가 안 들린다고 끊긴다고 그래요...
-
어떡하지 오늘도 갑자기 가족이 보고싶어서 뛰쳐나옴
-
기하러입니다 서바는 76~88 왔다갔다 하고 (가끔 컨디션 안좋으면 60으로...
-
18번어렵던데 3번 찍어놨다가 급꼴려서 5번 찍고 전사해서 47인데 1컷이노... 크아악
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요