[무슨말을 하던간에 다 무모순] 증명
게시글 주소: https://i9.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를 선물하세요.
-
중앙약 볼거고 확통은 해본적없고 기하는 학교내신때 맛만봤어요 미적 88입니다...
-
미적 76 0
2등급 가능성 있나
-
한국사 7등급 0
이 정도 성적으로 중경외시 건동홍 가능한가요..? 한국사 7등급 감점 포함해서요
-
이제 2018년에 태어난 애가 초등학교 입학하는 건가 0
시간 존나 빠르네
-
상황기분성적전부다 작년보다열심히살앗눈데
-
25수능 미적 88점 받기 vs 21 가형 92점 받기 2
전자가 어려움 후자가 어려움 공부량이나 이런거 다 비교하면
-
현역 언매 + 확통 + 물1 + 화1 94 / 96 / 1(98) / 50 / 41...
-
진학사 6칸인데 안되나요 이 성적으론?
-
넣는데 왜 다 3칸이냐 이거 오류 계정인 거 같은디
-
의대 가고 싶어서 개 열심히 했는데 그냥 수능 쳤을때보다 더 개망해버림...
-
실제 1컷 더 떨어지면 정시 합격 가능성도 높아지는 거 맞죠? 0
1컷 떨어지길 같이 기도해야겠네
-
N수 메가패스 0
어디있나요 안보이는데
-
N수생 고딩때는 진짜 개한심한 버러지새끼들 모임인줄
-
제가 현재 현역으로 수능 언마 87 마적 89 영어2 생1 42 지1 40으로 2...
-
미적 77은 2
쫄립니다....ㅠㅠ 제발 2등급...
-
안되면 기계라도.. 가군 고대 스나 갈기면 이건 붙여뇌야해서 ㅜㅜㅜ
-
논술 갈 말? 2
한양대랑 성대 안 가도될까..
-
생각의 질서 하고 미친개념하기
-
올해 수능은 24수능보다 23수능에 가까웠다고 볼 수 있습니다. 23수능과 국,수...
-
그냥 일반으로 가자 제발
-
미적 1컷 1
공통 2틀 미적 1틀인데 88 1컷 될까요..?
-
나형런 안하던 애들 많았는데 가오떨어진다고 나형런하면 3등급은 나올텐데도
-
대성패스 추천 메가커피 같이 받으실분!kchh7109 1
있잖아, 지금 2026 19패스 구매하고, 내 ID를 입력하면 너도, 나도 각각...
-
이거 기준이 뭐임?? 사례해드림
-
?
-
미적 81(공2,미3틀) or 지구 39 중 2뜰 확률 하나라도 있겠죠..?
-
문과 언매 원점수 90 다 공통틀 확통 80 다 공통틀 영어 3 사문 47 한지...
-
시즌 3인가 4였나 그랬던 것 같은데 다시 풀어보고 싶어서.. 혹시 기억하고 계시면 알랴주세요
-
에버랜드가야지 1
흫흐흐흐ㅡㅡ흐
-
가서공부해야징
-
세종대 ㅂㄱㄴ? 3
ㅈㅂ
-
성적은 이전 게시글에 있고 올해 마이맥 파이널 패스만으로 독학해서 전적대 서성한...
-
이번에 현우진 선생님 볼려고 하는데요 22개정에 대수랑 미적분1 있는데 저가...
-
- 수학 공통: 21 (풀다 포기) >>>>>>> 22 ≥ 20 - 영어 33...
-
그냥 궁금한건데 0
수능에서 언미과탐 98 98 1 89 89 이런식으로 받으면 ㅇㄷ가요??
-
결국 수능날에도 4번 저 유형 하나 틀려서 48이네...일부러 따로 많이 풀었는데도...
-
중간에 감독관한테 물어봄 ㅋㅋ
-
찍맞 0
작수 찍맞 총 6개 올해 찍맞 총 2개... 작년이 진짜 운빨 미쳤었던 거구나
-
한양대 건축 너무 가고싶은데 어느정도 가능하다 봐야할까요? 피말리는 예비싸움을...
-
동일한 백분위면 0
과탐이 사탐보다 표점 높아요?
-
애초에 니들 엿먹으라고 수능본 애들인데 미친척 인서울 쓰면 썼지 왜 지원포기를 합니까....
-
수능을습관처럼보는사람 ㅇ
-
나을까요 06이라 나이 관련해서는 부담 없긴 함..
-
20 21 22: 33 29 13% 28 29 30: 31 20 18% 저기서...
-
등급컷 범위 0
예상컷 76-78처럼 범위로 뜨는건 공선조합에 따라 달라져서 그런건가요? 그럼 위의...
-
동덕여다 약학과
-
옯스타 맞팔 ㄱ 2
@morty_orbi (전) 비모 (현) 모티 수능 전에 냅다 본계 계삭해서 계정은...
-
틀린 그림 찾기 5
-
다들 그으셨죠?
-
나형런 7
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요