[무슨말을 하던간에 다 무모순] 증명
게시글 주소: 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를 선물하세요.
-
틀리면 스트레스네
-
사설 모고 풀때 보통 점수대가 어느 정도 되시나요?
-
1. 거짓을 부정할때 거짓을 부정하면 참이다 모순이면 거짓 대우명제는 참이면 무모순...
-
디시도 있고 유레카챈도 있고 많은데 흠... 회춘하고 싶나 근데 사람이 20세기에...
-
이감 6-5 0
저번주 현장 응시 못해서 집모로 봤는데 낮잠 자고 졸음 이슈로 앞에서 시간을 너무...
-
수12미적 각각? 제가 풀거는 아님
-
대단하다 쿠쿠리...
-
혜윰 어렵다는데 0
어느정도 인가요? 불닭볶음면?
-
연논 5번 9
5-1. 4050 5-2 e^1/3 아닌가뇨??ㅡ
-
문과 분들이야 애초에 이론 연구 생각하시는 분들은 별로 없겠지만 진짜 제대로 배우는...
-
아무리 해도 안 올라.... 부산대 논술 쉬운 편이니까 최저 맞추고 기출로 연습...
-
이건 아니지예....
-
시발 하…
-
아니 진짜 소름돋는 게 17수능 : 09개정 최초 수능이자 독서의 새로운 패러다임을...
-
ㅅㅂ..
-
왜?
-
ㅈㄴ 중요한 오류 내놓고 방송에서 끝까지 한마디도 사과 안하는거 나만 꼴받나요
-
공부가 짜증날땐 0
독서실건물 코노에 가서 시원하게 목 조지고 옵니다
-
젭할
-
죽고싶냐
-
확실한 동기부여 17
열심히 살아야할 이유
-
걍 정시입학이 더 쉬운듯;
-
어휴 스트레스
-
자과캠도 비슷함?(기대)
-
유감스럽게도 모든 교수님이 강의력이 좋은 건 아니기에 교과서 보고 이해할수 있는...
-
진짜 올해 쪽이겠네요 ㅎ
-
난 4-1번도 로피탈 근사 온몸비틀기하면서 겨우 풀었는데 누군가는 4-2를 여유롭게...
-
연대 수리 2
1번 답 뭐냐 조건부 맞지?
-
수학 실모 0
미적이 2컷 정도인데 남은 시간동안 1일1실모+1일2하프모로 중간1 쟁취 가능?
-
논증이 옳다고 했을떄
-
현아 결혼하네 3
용준형이랑 함 ㄷㄷ
-
ㅅㅂ 0
좆같네
-
드디어 5
-
연논 문제 오류 0
4번에 bn제시만 되고 문제로 안 나와서 당황했으면 개추ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
진짜... 한달여남았습니다. 그래서, 예측 들어갑니다. 아래내용 천천히 꼼꼼하게...
-
복기O / 연논 자신이 5점 맞은 것 같으면 개추 ㅋㅋ 0
5050 ㅋㅋㅋㅋ 일단 핵심 내용만 복기 해 놓고 집에 가면 워드나 아이패드로 더...
-
하나만 할수있다면 어떤게 나을까요??
-
등호를 동치로 표현해도 문제없나?
-
1. 5/6 2. 10/11 3-1. 811 (찍음) 4-1. 27 5-1....
-
이번에 국어랑 사탐 반영비 올랐다던데 수학 2 중반~컷 영어2 탐구 만점이나 1틀...
-
ㅇㅇ??
-
ㄹㅇ루 문제오류나서 20분 더 보샸나요???
-
벽돌 한장 기부 성공!
-
ㅋㅋㅋ
-
멍~~~~~~~
-
심심해요 영재고 생활 입시 경시 지능 공부 암거나..ㅋ
-
-a-1 맞나요 ㅠㅠ 제발
-
혜윰 1-2 0
독서는 할만한데? 했다가 크게 데임... 거의 틀린거 전부가 독서에서 나와버림...
-
나만 그럼? 성부화음 ㅇㅈㄹ 대표적 예시 11학년도 리트
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요