[무슨말을 하던간에 다 무모순] 증명
게시글 주소: 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를 선물하세요.
-
고3되면 고2등급에서 2등급씩 떨어진다던데 6모는 재수생있으니까 그렇다치고 3모때는...
-
수능직전인데 오히려 8,9월보다 축 늘어지고 공부안하는 사람들이 은근 많은듯.....
-
응원은 대전 서포터들처럼. 인과응보. -지나가는 대전팬-
-
※ 학교 바이 학교 과 바이 과
-
근데 국어 ㄹㅇ 6
저만큼 특이하게푸는사람 못본거같음뇨 지문 다읽고 문제푼적이 손에꼽음..
-
투달일 에스형 ㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
연논이슈 1
저런 상황이 벌어진건 안타깝지만 걍 느타리리 죄송합니다 로 끝날거같음 그게 수능과...
-
그냥 왜 이렇게 문법을 정리한 거냐, 왜 형태소 분석을 이렇게 해야 되는 거냐, 왜...
-
별 기대 없이 그냥 풀려고 했는데 진짜 기대이상 물리는 그냥저냥 난도가 낮긴 한데...
-
9모 생명 4였는데 12
매일 빨더텅 2개씩 풀고 오답하고 부족한 부분 상크스로 채우니까 이제...
-
진짜 한달인데 거의 끝났고 약점만 잡아가면서 마무리 히면 되는데 그게 안되네요 펜도 안잡히고
-
저녁 ㅇㅈ 10
오늘은 3단계 ps. 고기 사준다 해놓고 고기 안사줌
-
드릴5랑 비교하면 어느정도인가요? 수1 수2 다 난이도 비교좀여……
-
일단 본인은 07년생이며 1학년때 자사고 수학 내신 1,1을 받고 자퇴를 하여...
-
결과주의적 의미 이론(consequentialist theories about...
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요