[무슨말을 하던간에 다 무모순] 증명
게시글 주소: https://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를 선물하세요.
-
하는사람있나요? 28분동안 풀이 2분 채점 나머지 30-40분동안 오답, 왜...
-
군대 휴가 0
를 안쓰면 장점이 뭔가요?
-
찾아오는구나 공부만 하려 하면 이러네 공부하기 참 어렵다 흐아아ㅏㅏ
-
하니~ 오 하니~ 너무 보고싶어~
-
ㅇㅇ
-
작년 이맘때쯤엔 6
진짜 졸라 불안했었는데 올해는 꼭 그렇진 않은 것 같다...
-
제발 답변좀요(사문) 13
지금 아직 1단원 개념 하고 있는데 큰일난거 같습니다 4등급이 목표인데 도표 버리는게 맞을까요?
-
사문 질문 9
공식조직을 전제로 하는 자발적 결사체<<< 여기에 사내 노동조합도 들어갈 수 있나요...
-
하......
-
수학 n제 죽어도 이거만큼은 푼는게 좋다할 만한 거 뭐 있나요 드릴이랑 4규 정도? 2,3등급 기준
-
-
이거 ㅅㅂ 왤케 어렵지 3따리라 그런가 미적도 ㅈㄴ 어렵네 이거 강사들마다 손풀이는 안해줌??
-
고3이고 드릴 풀다가 쉬사준킬도 좋다길래 이거도 풀어보려고 하는데 드릴 5랑...
-
형님 댓글없이는 하루도 살 수 없는 몸으로 만들어놓고 어디가신겁니까!!
-
오개념 논란이라는게 어떻게 생기는거임요 교과서에 개념 다 적혀있는거 아니에요??
-
작년에 1차붙고 최저떨이라 올해 다시 썼거든요 보통 이렇게 또 써도 불리함같은게 있을까요?
-
중에 뭐 추천하실까요? 서킷버리면 둘다 가능할거같긴한데 걍 둘다? ㅇㅅㅇ
-
시발점 뉴런 빼면 드릴 킬캠 두개가 끝인데 당장 정병호 인강이랑 비교해봐도 좀 그럼
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요