[공리를 부정하면 무모순]의 응용
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법증명도 없다
3. 따라서 공리를 부정해도 무모순
4. 따라서 공리를 거짓이라해도 무모순
논리학 3대공리
1. 동일률(A=A)
2. 무모순율(not(p and not p))
3. 배중률(not p or p)
동일률이 거짓이라 해도 무모순
[(A=A)가 거짓]<->[(A=/=A)가 참]->무모순
무모순율을 거짓이라해도 무모순
[(not(p and not p))가 거짓]<->[(p and not p)가 참]<->[모든명제가 참]->무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
갓반고 1학년내신 3.6 2학년 1학기 내신 5.9 여름에 정시로돌리고 2학ㄱ...
-
작수 70점 이후 단어엄청외우고 문제좀풀었더니 이번 6모 79점받았습니다. 이후에...
-
자기가 슬슬 고개도 들수없을거같은 찐허수라면 개.추 눌러볼까?
-
언매황들 질문 1
자음표 모음표 기출에서는 표를 주고 질문을 해왔는데 표 안주고 다음 중 원순모음은...
-
불편한 곳이나 불편한 자세로 자면 조금 자도 불편해서 그런지 잠 자체는 잘 깸...
-
샤인미 모고 2
작년에 풀어보신분 어떠셨나요?
-
마지막 모고로 시간관리 연습 겸 행동 정립하려고 푸는 용도인데 어떤게 더 나아요?
-
잘봤다고 자랑하는 거임 오랜만에 대놓고 기만할거임
-
신체사진 이런거 올라오면 글 바로 썰리지? 작성자 정지당함?
-
최면어플 갖고싶다 15
나한테 써서 밤까지 공부 다 해놓으라고 하는거야
-
수능 다가오니까 이제야 1티어 작품 내네
-
뭘 잘못했다고 내가 천벌까지 받아야 하니 ㅜㅜ
-
수학 실모 0
수학 얻어갈거 많은 실모 추천 좀 해주세요 해모는 이미 풀었스ㅂ니다
-
진자 ㄹㅇ로 이제 안올테니 기뻐하세요
-
그립다..
-
육등성이 개조음
-
아쉽다 좀
-
재밌네 ㅋㅋ 1
같잖네
-
그래프 x축에 장난친거 못봐서 13번 날린거 개빡치네 아오
-
답이없다
-
맛팔인사람 따라서 광역팔로우 거는건가 신기하네
-
이거나 반박해보라고요 12
비모순율 : not(A and not A) 비=not 따라서 모순(A and not...
-
그건바로 릿밋핏5행 언어
-
혼밥 9
아싸라서 외로워요
-
기생집vs수분감 0
추천좀
-
작수 독서 0
어려웠? 쉬웠? 언매 문학은 불이었는데 독서는 딱히 불이라곤 못느꼈는데 올해는 작수...
-
우울하네
-
작년엔 쉬어가는 파트라 생각햇는데 올해는 시간 개잡아먹어서 독서에서도 날려읽고......
-
어떻게 생각하시나요
-
쌍사하는데 2
1등급 너무 맞아보고 싶은데 문제집 추천해주셈 참고로 마더텅 빨간색 다 품
-
수완 수학 질문 2
풀이 1은 답이 25가 나오는데 어느 부분이 잘못된 건가요
-
상상 4-2 1
독서 이거맞나..? 아웃소싱 걍 날렸는디 화작은 또 왜이럼 ㅜㅜ
-
f'(x)가 x=3일때 제외하곤 x^2+2x여서 f(x)가...
-
ㅇㅇ 퀄 조지는거 뭐냐 요즘
-
좀 어렵지 않음?
-
비모순율 : not(A and not A) 비=not 따라서 모순(A and not...
-
방법론 행동영역 0
이 둘의 차이가 뭐라고 생각하시나요?
-
내년 수능 보는 사람이 원과목을 고르겠다고 하면 정신이 좀 이상한거임 차라리...
-
근데 왜 하필 공통에서 유일하게 틀린게 독서 어휘문제지…
-
이거 오프랑 똑같나보네요? 제가 알기론 학원에서 밖에 못 구하는걸로 아는데 풀린건가?
-
지금까지 한 오답 중에 젤 우울햇음
-
맛있넴 냠냠
-
누가 기절시켰나 나
-
흠 가고 싶다 물롬 딴거도 문젠데
-
11 29번 호머하려다가 참음 유혹에 넘어갈뻔
-
210920(나) 예요 10모 보고 이 문제 생각나서 올려드립니다
-
두 학교 학과 동급이란 건 알아요 선호하는 학교학과 골라주시고 학교학과 이름 or...
-
국어야 그냥 운빨인거 같고 수학도 멘탈 터지지만 않으면 되겠고 탐구는 할만큼 했고...
-
강k 26회차 0
18,21,22틀 ㅅㅂ 21 b 생각안하고 무지성 대칭 갈겼다가 안나와서 못품...
공리가 참이라는 증명은 없다 << 맞음
하지만 공리를 부정한다면 안된다는 증명이 존재하는 경우가 있음
Ex) 배중률은 부정하면 모순나옴 (증명설명 귀찮음)
근데 동일률 부정하면 무슨일생기는지 모르겠다
아무튼 공리가 참이라는 증명이 없다에서
공리가 거짓이라고 해도 상관없다 사이에 갭이 있어서 님 말이 합당한건아님
첫 1~4줄 이 틀린거임?
2->3이 틀림 ㅇㅇ
"귀류법 증명이 없으면 공리부정시 무모순" 대우명제는 "공리부정시 모순이면 귀류법 증명이 있다"
1) 명제안에 모순 무모순 그대로 쓰면 안되고 정확한 지정이 좀 필요함
2) 좀 잘 해석해줘도 결론에 “무모순“이라는 항진명제 들어가있어서 참인거라 의미가 없음
하.. 난 솔직히 나말고 다른사람이 다틀렸다고 생각함
ㅇㅇ그니깐 대우가 그거인건 맞아
근데 “무모순“이 결론인게 의미가 없음
“무모순“은 “모순“인 상황에서도 (1차논리 하에서는) 폭발원리때문에 도출됨
모순 무모순성은 명제논리 술어논리안에서 그대로 다루면 정말 위험한 결론들이 잘 나와서 잘 번역해야함 그냥 그래서그래
여기서 깊게들어가면 수학 기초론 전공자 수준까지 가야됨
폭발원리 이딴거 왜믿음?
폭발원리는 "내 논리학 안에서 하나라도 모순이지만 참인 명제가 있으면 내 논리학은 터진다"는 원리임
결국 단 하나의 참인 모순인 명제도 허용하지 않는 결과를 낳기에 오히려 더 믿을만한 논리학을 만들어줌
애초에 폭발원리 전제 자체가 P와 not P가 동시에 참임을 가정하는건데
이 가정자체가 잘못된거아님?
ㅇㅇ 그 잘못된 가정을 하면 망한다는얘기,임
난 폭발원리식으로 모순을 인정하면 모든명제가 참이된다가 아니라. "(p and not p)"가 참이면 모든명제가 참이다 라고 받아들이고싶은데
완전성정리 검색 ㄱ
1차논리는 그 공리들을 가정하면(논리학의 3대공리 + 몇개 더) 무모순이다는게 증명되어있음
증명은 어려워서 나도 지금 공부중임.
근데 1차논리만으로는 자연수를 못다뤄서 자연수를 추가하면
괴델의 불완전성때문에 "수리체계에 무모순이면서 증명불가능한 명제가 존재한다" 또는 "수리체계는 모순이다" 둘 중 하나가 성립함.
그래서 자연수까지 다루고 싶으면 폭발원리에 의존을 해야하고
순수 논리만 다룬다 치면 "공리 하에서 모순이 없다"가 증명이 되는거고
(무모순 and 증명불가능)가 참이면 부정인 (모순 or 증명가능)이 거짓이겠네 그럼 모순도 거짓이고 증명가능도 거짓아님?
불완전성정리 보니까 무모순인 동시에 완전할수 없다 따라서 (무모순 and 완전)=거짓
부정은 (모순 or 불완전)=참, 모순은 거짓이니까 불완전이 참이네
무모순 + 불완전 대신 완전 + 모순이 참일수도있음 (공리계 정의가 틀렸다)
하지만 그걸 공리계 안에서 보일수 없다는거
그래서 그냥 보통 무모순 + 불완전이 참이라고 믿음