[무슨말을 하던간에 다 무모순] 증명
게시글 주소: 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를 선물하세요.
-
일반적인 최적화알고리즘 :역전파, 진화알고리즘 등은 무엇이 옳은가, 무엇이 답인가...
-
뒷자리 오버워치하네 15
십 스터디카페가 피방이 됐네
-
고2학평 에피 5
보통 전체에서 3-4개틀까진 뜨죠?
-
국어점수보존법칙 0
국어 모의고사 성적이 시험이 어렵든 쉽든 79~83인데, 뭐가 문제일까요?...
-
해당 사건 책임지고 사퇴하라! 사퇴하라!!
-
[한 달 만에 대학 레벨 올리기] 이것만 하면 영어등급 무조건 오릅니다! 2편 0
안녕하세요~ 일등들의 공부법학교 일공학교 입니다^^ 오늘 수능 전 마지막...
-
가보자고
-
요즘 재미로 모고 문제 만들고 있는데 컴퓨터로 도형 그리려면 어떤 프로그램이나...
-
저도 일요일날 볼듯 난이도 적당하고 배울거 많았으면 좋겠네요
-
강기분 완강하고 혼자 기출분석 하려고 하거든요 근데 보충지문 못푼게 남아있어서...
-
시간이 없어서 일단 둘중 하나만 봐야 할 것 같습니다 독서는 저에게 달린 문제라...
-
주관식이 어려운 시험에서는 시간관리가 되고 실수도 적은데 객관식이 어려운 시험에서는...
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요