[무슨말을 하던간에 다 무모순] 증명
1. 거짓을 부정할때
거짓을 부정하면 참이다
모순이면 거짓
대우명제는
참이면 무모순
따라서
거짓을 부정하면 무모순이다
2. 참을 부정하는 경우
2.1 공리를 부정하는 경우
공리는 참이라는 증명이 없다
즉, 귀류법 증명도 없다
즉, 공리를 부정해도 무모순
즉, 공리가 거짓이어도 무모순
2.2 참인 결론을 부정하는 경우
전제가 참이면 결론이 참
대우명제는
결론이 거짓이면 전제가 거짓
즉,
참인 결론을 부정하여 거짓인 결론이 되면
전제가 거짓이 되는데
공리는 전제에 속한다
따라서
참인 결론 부정->거짓인 결론->전제가 거짓->공리가 거짓->무모순
따라서
참인 결론을 부정해도 무모순
이로서
1. 거짓을 부정하는 경우
2. 참인 공리를 부정하는 경우
3. 참인 결론을 부정하는 경우
모든 경우에 대해 부정해도 모순이 없음을 증명함
모든것을 부정해도 무모순임을 증명함
----------------------------------------------------------------------
따라서
A다! 라는 주장을 부정해도 무모순이고 이때(A가 부정당해 A가 거짓이됨)
not A다! 라는 주장을 부정해도 무모순이고 이때 (not A가 부정당해 not A가 거짓이되고 따라서 A는 참이됨)
즉,
A가 참이든 거짓이든 무모순이라는거임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
2-2 문제가 f-g 최댓값 x를 구하고, 정부가 어떤 선택을 할지 구한 뒤, 이...
-
작년에는 파이널회차가 13까지 있다고 들었는데 올해도 파이널회차는 13회까지인가요??
-
수능전에 다 풀 수 있으려나;
-
연논 4-1 4
나만 이렇게 나왔나 다들 이라고 하는대 뭐지 틀린건가
-
평가원 기출응 여러번 봐서 푸는속도에 영향 줄 수 있잖아요 근데 실모는 너무...
-
한양대 스마트모빌리티 여기 쓸정도 성적 안나오면 원서도 안넣음
-
생2 0
발등에 불 떨어져서 N제 푸는데 왜이렇게 기출보다 어렵게 느껴지냐 미치겠네
-
휴릅 15
휴릅
-
이제 기분좋게 간쓸개를 벅벅~
-
8층짜리 인문사회관 지어서 문과대 학생들의 생활공간을 확보할 수 있으려나?
-
연세대 건물 벽돌 한 장 날라줬다 수능으로 몰빵가자
-
국수영만 하느라 발에 불떨어진 거 같은데 투표좀 개념은 1월에 들었고 빨더텅 평균...
-
ㅈㄱㄴ
-
이 쓰레기 같은 과목 잘하는 법이 있긴하는거냐 저능아는 오늘도 운다
-
‘술과 담배를 할 수 있는 고등학생’ 학기 중에는 그냥 ㄹㅇ 메디컬 예과생 아닌...
-
지방대가서 엔비디아튜자
-
현역때부터 이랬는데 이쯤되면 뭐 연례행사인듯
-
#올해는다르다 8
국가대표n수생님을 응원합니다
-
0. 일단 수능을 잘 볼 가능성은 지금 화장실 드가서 초승달 모양 똥을 쌀 확률보다...
-
차라리 마음이 편해지네요,,,
-
이미 정상 체중인 사람이 들으면 괜히 우울해짐 ㄹㅇㅋㅋㅋ 성형한게 이거라고? 싶음
-
엄소연 따라가기 5
내년 겨울부터 다닐 생각인데 낮3따리가 엄소연 따라가기 괜춘하나요?
-
시즌1 1회강의가 시즌4 1회강의로 떠요... 저만 이러는건거요?ㅜㅠ 10모 이원준...
-
연대가 잡아가진 않겠지??
-
연논 예상점수 7
30점 합격은 택도 없겠지? ㅋ
-
차단차단!
-
ex) 고딩 때 연애해도 공부에 크게 방해 안되고 괜찮다 라는 말을 하는 사람이...
-
인생이 참 행복했겠지
-
독재다니는데 0
양옆 자퇴생인건지 죄다 고 1,2 내용 공부중임 그래서 그런가 애들이 공부를안하고...
-
역시 디시가 최고야
-
제곧내
-
뱃지달고싶다 6
달게해줄거죠? 믿고 있다구오
-
그 얼굴로 왜 그런짓을 하는건지 참.. 번화가 지나다닐때 갑자기 2명정도씩 뭉쳐서...
-
독서 ebs 복습 / 독서 모의고사 2회 / ebs 복습(수특 현대소설 -02)서바...
-
이거 ㄹㅇ 지질도잉가... 부정합 관입 어쩌고
-
이감을 쳐봣다 4
이게 얼마만의 사설 1
-
후기나 언급 안남긴 사람들이 갑자기 튀어나와서 합격인증 하던데 올해도 그러려나
-
빛의 속력도 언제든지 c로 같고 광속도 아무때나 똑같이 c인건가요
-
제목은 어그로구용 앞으로 남은기간동안 수특수완(아직안함)이랑 기출만 봐도...
-
소신발언 4
저 ㅂㅅ ㅋㅋㄹ 글에 왜 댓글을 달아주시는지 모르겠어요 저런 건 무시가 답이라고 생각해요
-
귀차나
-
졸리네
-
이감도 하면 익숙해져요 11
이감적 사고를 체득하면요 물론 부정적인 영향일 수도 있는 거긴 한데.. 첫 이감이...
-
23, 24 평가원에서 자주 출제된 수요 공급 자료가 있습니다. 바로 요런 식의...
-
좀 질문이 애매한감이 있지만, 제 수준에서는 이것밖에 질문을 못하겠네요 현재 수학을...
-
헤헤
-
솔직히 나정도면 13
옯뉴비
-
재수 할 때는 3~4등급권에서 1등급권까지(영어제외) 6개월만에 올리고 세번 째...
-
달리기 빠른 사람인지 알아요? 끝까지 갔기 때문이에요. 무슨 말인지 알죠?
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요