[무슨말을 하던간에 다 무모순] 증명
게시글 주소: https://i.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를 선물하세요.
-
약대 목표로 재수하려고 하는데 재수 보통 성공가능성 얼마나 되나요?? 현역...
-
내가 기대를 자꾸 더 올려버림
-
ㅈㅓ 올해 하루종일 담요 뒤집어쓰고 살았는데 사탐 5050받음 여러분도 사탐 잘하고...
-
종강선물로 담요 주심
-
동덕여대가고싶네 3
나도 같이 연대해서 시위할래 퓨ㅠㅠㅠㅠㅠㅠ 우리 언냐들 도와줘야하긔
-
그래도 명작 1개씩 찾는중
-
잘하는게 업따 23
-
담요단됨 따숩노
-
영어 진짜 개못하고 작년에 젤잘본점수가 76이였는데 7월부터 단어 ㅈ도 안외우고...
-
뭘 해야하노 대체...
-
내년에 수능 한번 더 볼것 같은데 과탐은 무조건 할거라 물1 지1 그대로 할것...
-
그냥 인사치레고 구구절절 설명할순없어서 대충 예예 하고 다녔는데 진짜 잘본줄알고 막...
-
1000만원 투자해서 100만원을 잃든 100만원 투자해서 10만원을 잃든 손실에...
-
수학 다들 쉬웠다는데 난 80분걸렸는데 다음해에는 시간 안에 다 못풀진 않겠지
-
무과는 싸움을 좀.. 잘해야합니다 이게 팩트라는거임 ㅇㅇ
-
아 집에 쳐 두고 오ㅓㅆ네
-
다들 요즘 뭐함 1
알바 하려니 대학 입학했을때 스케줄을 몰라서 좀 그렇고 조교나 과와 하려니 아직...
-
제발류 ㅠㅠ
-
어디 나가서 무시 안 받겠죠..?
-
올해 69 다 1나왔고 서바도 1~2사이에 있었는데 이번에 좀 말았습니다 14 20...
-
한국사는 4등긎 이에요…
-
션티 띵학 조정식중에 고민중인데 1~2학년 고정1 나오다가 고3모고 풀어보니까...
-
올해 채점표본에 최상위권 함유량이 생각보다 높을 가능성은... ㅠㅜㅜㅠ 사이트들이...
-
군수는못하는데
-
6모 장학실패->9모 올1 실패-> 수능 약대실패 1년더하면 오르나?
-
이건 된다고 보면 되죠? 적정점보다는 6점 높음…. 적정점이 최초합권 예상점이...
-
논술로 쓴 과보다 성적이 높게 나온 것 같은데 확실하지가 않아서요..아버지께서는...
-
뒹굴뒹굴? 아님 외모가꾸기?
-
한명차단했음 3
저번부터자꾸긁네
-
재수각이네 하 2
영어 진짜 ㅠㅠㅜㅜㅜㅡㅠㅡㅜ
-
삼수해서운다 1
아무것도잘하지않는 멍청한삼수부엉이
-
하…
-
96점을 얻으려면고교 개근 + 기능사 자격증 + 봉사시간 64시간 + 가산점...
-
끌끌
-
내년에 반수나 풀재수한다 하면ㅇㅇ...
-
확통이들 공통:선택 a:b 미적이들 공통:선택 c:d a가 낮고 b가 높고 동시에...
-
1.사진에 있는 그림 q=0에서 a1은 왜 x=0에서 발생하지 않나요?결국...
-
정말 걱정해야 할 사람은 따로 있어요
-
재수 분들하고 친해질 수 있을까요..?? 하기 나름이기도 하고, 꼰대짓 x. 머나먼...
-
과탐이 지옥도인거지 상대적꿀통은 맞음 니가 이글보고있는 중3이면 당장 직탐런을 해
-
흐흐 5
-
작년이랑 비슷했나요??
-
난 새별비가 좋아
-
2409 생윤이 6
1컷 44가(수능표본기준 대충 45)나올난이도가 절대 아니였는데 담요단<<걍 개미친새끼들임 ㅋㅋ
-
형누나들아 4
대학 라인좀 잡아줘요 ㅜ
-
가령 마라탕을먹는가고칩시다 그럼 연데는잘찾지망 닫은데는잘 못찾음 즉 민감도가...
-
삼수 망하고 군대가는데 3달정도 남았습니다 시간 허투로 보내긴싫고 오전 오후 야가다...
-
아 진짜 뭐가맞는거지 ㅋㅋㅋㅋ 지사의는 될꺼같고 다른건 경북대의대만 뜬다 ㅈㅂ….....
-
응시하진 않았는데 모의논술같은거보면 인과보단 문제점 공통점 뽑아내게 나왔는데 이번에...
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요