[공리를 부정하면 무모순]의 응용
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를 선물하세요.
-
07 0
07 공부 잘하는편인가요?
-
가변 저항이 커지면서 Vbe가 커져서 Ib Ic가 커지는건 알겠는데 총전압이...
-
8덮 국어 딱대
-
판권만료 뭐시기라네요
-
시즌3 몇 분 잡고 품?? 25분에 들어오려고 노력하는데 잘 안되는데 글고 이거...
-
스카퇴갤 3
확실히 국영탐만 하니까 시간이 널널하네
-
뭐지 학평이여도 9평 24144가 12111이되나 수학은 걍 3이라고 쳐도.......
-
결혼하고 싶다
-
걍 똑같은거임?
-
적중예감 너무 실망스러운데요…… 지금 2회차까지 풀었는데 50 50뜸… 다음회차는...
-
무관기운 박병호 강민호 가 존나 문젬
-
몇 학년도까지 봐야하는지 감이 안 오네요. 17학년도 정도부터 보면 될까요?
-
당연히 현역 표본에 무의미한 시험인 건 알지만 제가 생각할 때 재수 등을 하게...
-
호훈단들 와보셈 1
분명히 상반기에 프메 이니셔 돌고 할땐 92~96 왓다갓다했는디 지금은 왜 만년...
-
편의점에서 라면이랑 크림빵이랑 칙촉까지 혈당 폭탄
-
수학실모오답 0
다들 언제하심?? 이거 모아서 하려니까 감당이 안되네.
-
개념형 나락가서 3등급나옴 오열
-
보잉님... 2
-
이번에 윈터스쿨 갈때 기출문제집 몇개 챙겨가려하는데요 패스는 대성 or 메가 구매할...
-
과탐하느라 수학할 시간 줄어들 때..
-
물리 시험치는 학교는 연고대 뿐인가요?
-
10모 확통 다 맞은 84(찍맞 빼면 80)이고 9모 84로 3이었습니다..,ㅜ...
-
물화생지2 각각 원과목 개념 얼마나 알아야 하나요?
-
ㅠㅠ
-
주인 잃은 레어 1개의 경매가 곧 시작됩니다. 덕코인"덕코인 상장 가즈아ㅏㅏㅏ"...
-
근데 짜피 얘네 내년에 다 빠지겠죠..?
-
어디쯤 갈 수 있을까요? 심리학부로 가고싶은데
-
통통기준 21 22 29가 많이 어려운데 21,29 꾸역 풀었더니 22는 거의...
-
쿄우노 츠키와 4
토테모 키레이 데스네...
-
그 해 모평에서 표본 높다해도 수능날은 귀신같이 그걸 원래대로 복귀시킴 그냥...
-
2024년 10월 교육청 난이도 3.5 퀄리티 **** 시험 구성 **** 등급컷...
-
중딩때 스카 끝나고 가다 어떤 존예 고딩누나가 같이놀자하길래 같이놀았는데 어쩌다...
-
두 학교 학과 동급이란 건 알아요 선호하는 학교학과 골라주시고 학교학과 이름 or...
-
삼반수라 짧지 않은 시간인 건 아는데 성적이 정체기라서 너무 힘드네요… 그래도...
-
한 -> 영 번역이 안 돼서 그럼 우리는 12년동안 영 -> 한 번역만 배웠고...
-
다음주부터 고3은 수능 시간표대로 해준다는데 이런 학교 많음? 사실 난 일찍 보내주면 좋겠는데
-
어차피 난 애플쓴다
-
서킷X 15회 0
9,10번 풀고 ㅈㄴ 어려워지는데 이거 맞냐... 3따리인데 희망이...
-
포식해볼까나
-
수비수 아니고 타자라고
-
Top 30까지가 사실상 연구기능이 제대로 돌아가는 곳이라네요 서울대 연세대...
-
항상 한자문을 못풀고 끝나노 원래는 푼것도 틀리는데데이번 10모때 푼건 화작...
-
현재 지거국 1학년 재학중인학생입니다 저같은경우는 초중고 수도권 대학만 지거국인데...
-
10모 국어 4 영어 4 -> 수능 국어 2 영어 3 ㄱㄴ? 4
국어는 4 문열고 영어는 늘 그렇듯 30~40 사이 문제 빼고 다 맞춤 국어 ㅅㅂ...
-
김준이 어렵단 회차는 쉽고 안어렵단회찬 존나어려움 뭐임?
-
군수생 달린다 6
오늘 달 엄청 밝네요...
-
인터넷에 소문 있던데 진짜인가
-
그치만 탐나죠?
-
수학은 일단 김범준 런칭 이정환 복귀 확정 더 올지는 모름 국어는 박광일 복귀 거의...
-
1학년 총합 5.9 2학년 1학기 6.5 그리고 지금 2학기는 수행평가랑 시험다...
공리가 참이라는 증명은 없다 << 맞음
하지만 공리를 부정한다면 안된다는 증명이 존재하는 경우가 있음
Ex) 배중률은 부정하면 모순나옴 (증명설명 귀찮음)
근데 동일률 부정하면 무슨일생기는지 모르겠다
아무튼 공리가 참이라는 증명이 없다에서
공리가 거짓이라고 해도 상관없다 사이에 갭이 있어서 님 말이 합당한건아님
첫 1~4줄 이 틀린거임?
2->3이 틀림 ㅇㅇ
"귀류법 증명이 없으면 공리부정시 무모순" 대우명제는 "공리부정시 모순이면 귀류법 증명이 있다"
1) 명제안에 모순 무모순 그대로 쓰면 안되고 정확한 지정이 좀 필요함
2) 좀 잘 해석해줘도 결론에 “무모순“이라는 항진명제 들어가있어서 참인거라 의미가 없음
하.. 난 솔직히 나말고 다른사람이 다틀렸다고 생각함
ㅇㅇ그니깐 대우가 그거인건 맞아
근데 “무모순“이 결론인게 의미가 없음
“무모순“은 “모순“인 상황에서도 (1차논리 하에서는) 폭발원리때문에 도출됨
모순 무모순성은 명제논리 술어논리안에서 그대로 다루면 정말 위험한 결론들이 잘 나와서 잘 번역해야함 그냥 그래서그래
여기서 깊게들어가면 수학 기초론 전공자 수준까지 가야됨
폭발원리 이딴거 왜믿음?
폭발원리는 "내 논리학 안에서 하나라도 모순이지만 참인 명제가 있으면 내 논리학은 터진다"는 원리임
결국 단 하나의 참인 모순인 명제도 허용하지 않는 결과를 낳기에 오히려 더 믿을만한 논리학을 만들어줌
애초에 폭발원리 전제 자체가 P와 not P가 동시에 참임을 가정하는건데
이 가정자체가 잘못된거아님?
ㅇㅇ 그 잘못된 가정을 하면 망한다는얘기,임
난 폭발원리식으로 모순을 인정하면 모든명제가 참이된다가 아니라. "(p and not p)"가 참이면 모든명제가 참이다 라고 받아들이고싶은데
완전성정리 검색 ㄱ
1차논리는 그 공리들을 가정하면(논리학의 3대공리 + 몇개 더) 무모순이다는게 증명되어있음
증명은 어려워서 나도 지금 공부중임.
근데 1차논리만으로는 자연수를 못다뤄서 자연수를 추가하면
괴델의 불완전성때문에 "수리체계에 무모순이면서 증명불가능한 명제가 존재한다" 또는 "수리체계는 모순이다" 둘 중 하나가 성립함.
그래서 자연수까지 다루고 싶으면 폭발원리에 의존을 해야하고
순수 논리만 다룬다 치면 "공리 하에서 모순이 없다"가 증명이 되는거고
(무모순 and 증명불가능)가 참이면 부정인 (모순 or 증명가능)이 거짓이겠네 그럼 모순도 거짓이고 증명가능도 거짓아님?
불완전성정리 보니까 무모순인 동시에 완전할수 없다 따라서 (무모순 and 완전)=거짓
부정은 (모순 or 불완전)=참, 모순은 거짓이니까 불완전이 참이네
무모순 + 불완전 대신 완전 + 모순이 참일수도있음 (공리계 정의가 틀렸다)
하지만 그걸 공리계 안에서 보일수 없다는거
그래서 그냥 보통 무모순 + 불완전이 참이라고 믿음