[무슨말을 하던간에 다 무모순] 증명
게시글 주소: 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를 선물하세요.
-
강K 전문항이 내 머릿속에 있다면.
-
어케 채점함? 그냥 한문제라도 틀리면 큰번호에 틀렸다고 채점.? 아니면 틀린 작은 문제에만 채점?
-
3부터 개밀려서 다풀기엔 시간이 안나는데 6만 풀어도 되나요
-
강k 22회 12
21 22틀 92 도형 슈발.... 도형언제잘함
-
ㅈㄱㄴ
-
계륵같은 존재.. 안하기엔 돈아깝고 하기엔 다른거 푸는게 낫을거 같기도하고 그냥 빨리 쳐내야지
-
연논 후기.. 2
냥대로 돌아가자.. 냥대 탈출 실패
-
총정리 과제에서 리트는 천천히 읽고 풀어도 너무 어려운데
-
정지는무셔
-
아~~~~
-
5일짼데 병원 가봐야 대나
-
연대 ㅂㅂ 5
딱대 고대
-
[단독] 연세대 수시 논술시험 출제 실수에…시험 시간 20분 연장 7
12일 오후 자연계열 논술 시험 직전 문제 오기 발견해 12일 서울 연세대학교에서...
-
연논 끝남? 0
ㅈㄱㄴ
-
걍 깔끔하게 갖다 치우고 영어나 할까요? 수학은 백분위 88이고 영어는 71점 최저용도임요
-
과탐시험지랑 안푸는 사탐시험지.. 그냥 독서실에 풀사람 풀어보라고 놔둘까
-
벌써 수능이 한 달밖에 남지 않았군요. 요새 날씨가 굉장히 급격하게 추워지죠? 이런...
-
ㄹㅇ어케얻는겨...
-
이번 시험 물리만 망함 ㅋㅋ
-
129일차
-
연논 분량 미달 2
설마 채점 대상 제외임..? 인문..
-
연논후기 4
그냥 제대로 푼게없음 시설 겁나좋음 자판기가 서강대보다 쌈 캠퍼스 개넓음 고사장까지...
-
흠냐뇨이..
-
안녕하세요, 연고대 3회합격자 연상논술입니다. (연경영, 연심리, 고경제) 아래는...
-
1학기 중간기말 전부 전과목 1~3/330등으로 1.0 받았는데 2학기 중간...
-
❗️어이, 김옯붕❗️ 11
「저녁은 먹었지❓️ 그럼 나랑 디저트 먹으러 가자! 오늘은 케이크가 먹고싶은걸.」
-
한 꼬맹이가 라면 엄청 맛있게 먹고 있길래 라면 이름 용기내서 뭐냐고 물어보고 바로 삼
-
복수 정답인 것 같아서 다음주에 바로 이의 신청하려고 합니다. 풀이를 최대한...
-
여러분들도 공부하다가 틈틈히 허리스트레칭하세요
-
물리논술 가져와!! 16점 만점에 7점 받은 사람이 할 소리는 아니지만..
-
6평 이대봉전세트하고 어떤게 더 어려웠음??
-
태어나서 푼거중에 제일어려운듯.. 어떻게 이딴점수가 나오지..
-
유리함수 로피탈 9
괄호안에 있는거를 통분하지 않고, 유리함수를 각각 미분해서 풀수는 없을까요?...
-
맛있겟죠?
-
수2가 약해서 한완기 빨리 풀어보려는데 파트원만 끝내도 ㄱㅊ을려나요
-
욕해라!
-
ㅆㅂ 3-2 2009로썼네 ㅅㅂㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ 5-2 답은 틀렸는데 부분점수...
-
QWER 음중 1위 14
지상파에서 연예인들이 밀리노 ㄷㄷ
-
1. 10 2. 10 3-1. 7 3-2. 8 4-1. 5 4-2. 10 5-1....
-
송도 유배 가고싶은 밤이로구나
-
2점짜리 답 2번인데 2번이라고 생각했는데 3번에 체크한거 빼고 계산하면 94 언매...
-
휫자휫자 7
휫자한판만 먹어야지
-
항상 1위던데아무도 하는 걸 못봄
-
연대 인물 논술 6
2-2 비율 계산 백분율로 55,44로 써서 망했네. 아무리 계산해도 계산이 안...
-
저는 대충 파악 -> 선지 보고 모르는거 있음 -> 다시 읽어봄 독해 추론 시작...
-
지구 n제 2
폴라리스 vol 1 2 각각 전단원 다 들어있는건가요?? 솔텍도 파트1 n제 파트2...
-
잘 보셨나요 ㅠ
-
날 욕해라! 6
고소안할테니
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요