[무슨말을 하던간에 다 무모순] 증명
게시글 주소: 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를 선물하세요.
-
성적표 첨부있길래 실수로 눌러서 댓글올라감 내 개망한성적표...근데 성적표 안뜨네 왜지
-
이건 '명'이다
-
인사 박겠습니다.
-
ㄹㅇ
-
근데 아이패드로 글씨 이쁘게 쓰시는 분들 보면 신기함 3
패드에서 쓰면 글씨 더 날려 쓰게 되지 않음? 나만 그런가
-
공군컷 101은 좀.. 98
솔직히 99까진 날먹이라 그럴수 잇는데 101부턴 무조건 기능사까지 따야하는데 공군...
-
되는 곳 맞춰서 가려합니다..
-
서울과기대 수리논술이랑 가장 비슷한 학교 어디있을까요? 0
과기대 기출 풀고 다른 학교꺼도 풀어볼려구요
-
경희대 한약학과 2
작년 기준으로 합격 성적인데 올해 입결이 더 오를까요…?
-
ㅈㄱㄴ 수학, 영어 기준
-
이제는 생1지1이 정배인가요? 물1지1이 꿀이라는 소리가 2,3년 전까지는 많이...
-
공통이 좀 쉬워서 미적에 투자를 많이 할 수 있었던 건가 1
그런 건가
-
한의대만 남은 줄 알았더만 치대 하나 아직까진 안날라갔네 4합6인줄 최저 착각함ㅋㅋ
-
-
으어어어 0
막상 할게 없고 ㄸㅗ 뭔갈 하자니 귀찮다ㅏㅏㅏㅏㅏㅏㅏ
-
재수라고 하긴 애매하지만 작년에 논술로 단국대왔는데 휴학 안하고 재학하면서 논술...
-
최저러 0
제가 사문 36인데 대성 종로 빼고는 다 3 딱 턱걸이 뜨는데 .. 메가가 가장...
-
오르비는 왤케 다들 잘 봤다고만 하냐
-
수능공부를 하는게 수학능력을 기르는게 맞나? 내가 남들 풀고 쓰는걸 한다고...
-
국어 독서고자 수학 수2고자 영어 고자
-
근데 잘하는게 아무것도 없다에요
-
오빠들 1
메가 생윤 누가 좋음 아예 쌩노베
-
3합 5 언매91 미적 81 근데 78일지도 탐구합 1.5 너네 같으면 이거 논술 준비 할거임?
-
억지로 친해지게 만드는 사회 구조랑 친구가 있어야 한다는 사회 의식에 따라서 개인을...
-
이걸로 서성한 도박은 개오바겠죠…. 중경외시 라인좀 잡아주세요!
-
이번 수능에서 헷갈리는 2개선지중에 어떻게 골랐는지 이런거 올리면 볼사람 있으려나...
-
나름 잼씀
-
밤에는 별 보며 0
낮에는 꽃 보며
-
덕코 사용법 4
어디서 바꿀 수 있나오?
-
하나도모르는데 일주일간 시발점에 쎈풀고가는걸로 풀수있나요?
-
인강 듣다가 경기도인데도 현강 합류해서 들었는데 후회는 없음 ㄹㅇ 양이 디지게...
-
수능샤프 수능이후로 안꺼냄 ㅅㅂ 좆같아서
-
처음가보는듯
-
서울역이나 영등포역에서 수원역까지 KTX타고 오고가는 사람들이 생각보다 엄청...
-
기출부터 봐야겠지?
-
외할머니가 대상포진 걸리셔서...
-
서로 친구도 안만들고 상관 안하고 자기 공부 열심히 하는…
-
이렇게 2주 꽉 채워서 하려는데 빡센가요?점심시간 포함되어 있으면 점심시간 주나요?...
-
이번에 김승리t 현강을 가게 됐는데 승리t가 매월승리랑 주간승리 둘다 있는걸로 알고...
-
가나 < 강아지 < 인터넷임?? 아님 이번에도 가나가 젤 높았나
-
좀 통통한 친구인데 병원 침대에 누어잇는거임 그럼 통통이 배에 살짝 기댄다음 배꼽에...
-
1컷 39가 정배임 화작은 1컷 92가맞음
-
히히
-
이제 고3되는 07인데 러셀 모의수능에서 확통으로 88점(84점이긴한데 진짜...
-
고2초부터 강민철 커리 타기시작해서 강기분-새기분-피드백까지 완료했지만 교육청...
-
디씨에서 검색하면 매우 진솔한 후기들을 알 수 있음 예를 들어서 김철수N제가 좋은지...
-
아니 문제 구조상 답이 17일 수가 없는데... 제발
-
인줄 알았는데 생각해보니 얘네가 있었음.... 내가 졌다
-
화작인데 내가 언매를 해야되나.....내신때 해두긴했는데 중세국어만 안함 중세국어...
-
지금 뭔가 만약... 도 고려는 해야되니까요... 수능성적이 너무 애매하게 나옴...
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요