[공리를 부정하면 무모순]의 응용
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를 선물하세요.
-
(이 문제 시중 해설지 보면 좀 핀트 잘못 잡거나 좀 뇌피셜 들어간 느낌이 있었어서...
-
사설에서 제발 그만좀 쳐우려먹었으면 좋겠는 유형 2개 5
1. 함수 두세개 겹쳐놓고 기괴한 부분의 넓이를 A , B 라고 할때 A,B 관계식...
-
수도권 의대 영재고/과고 비율보면서 심각하다고 하는 기사가 많아서 글 한 번...
-
국어만 풀면 독서 많이 틀려야 3개인데 문학 평균 6,7개 나감 ㅂㅅ인거 아는데...
-
ㅅㅂ 나 이거 gpt한테 시키는 거 아니면 못하는데 어쩌지 좆됐네 가르쳐 준 거도...
-
시팔 ㅈㄴ 춥네 3
에어컨을 몇도로 튼거냐.외투 입어도 ㅈㄴ 추움..
-
인생은 망했지만 8
포기하지 않았잖아 한잔해
-
76점이네... 에잉 너무 수행 대충 봤나
-
야! 2
힘내!
-
다른글들을 읽어보았는데 잘 이해가 안가서 질문 올립니다. B에 해당하는 부분이...
-
19번은 확통 13% 기하 20% 20번은 뭔 한자리수가 나오는데 세상이 날...
-
생명 2 목표이고 최저러라 주말엔 하루종일 할 수 있고 평일엔 3시간 정도? 공부할...
-
안가람 쌤 2
예비 고3인데 이번 겨울방학에 대구 다원mds에서 안가람 쌤 공통반 수업 들으려고...
-
학교서 성적표 받았는데 전교320명 9모때 영어 응시인원 295명 10모 영어...
-
학교시험 공부한다고 일주일 날려먹은 나...
-
새의 날개는 처음엔 보온용이었다고 한다 그런데 어떤새는 최초로 높은곳에서 자신의...
-
22년에 치뤄진 23학년도 6모 국어 등급컷 언매 원점수로 아시는 분? 아니면 알...
-
한양대에리카에 수리데이터사이언스?인가 이거있는데 통계학과랑 똑같은데 말만바꾼건가?
-
언매 풀기 싫다 4
진짜 100문제는 너무 빡셈 내가 모르는 개념 찾고 채우는 것은 좋지만
-
1. 공리는 참이라는 증명이 없다 2. 따라서 귀류법증명도 없다 3. 따라서 공리를...
-
"주식 못 판다" 구청장 사퇴…"애초에 나오지 말지" 질타 2
주식 백지신탁은 공직자가 직무와 관련한 주식을 일정 금액 이상 갖고 있으면...
-
수능 끝나고 왠만해선 학교를 안 가고 싶은데 그냥 무단결석 해도 되나요? 어차피...
-
‘마지막까지 힙하게’…멤버 장례식장서 추모공연 펼친 ‘칠곡할매래퍼’ 1
“무석이가 빠지면 랩이 아니지, 무석이가 빠지면 랩이 아니지!.” 대구 달서구의 한...
-
50대에도 아들이랑 ‘바프’ 찍었다...최정원, 매일 두시간 반씩 ‘이 운동’ 했다는데 2
50대의 나이로 보디 프로필 찍기에 성공한 배우 최정원(53)의 몸매 관리 비법이...
-
[단독] 사상 첫 접속차단 의결에 나무위키 "일방적 결정…크나큰 유감" 6
불법정보가 아닌 권리침해정보로 방송통신심의위원회(방심위)로부터 사상 처음 접속차단이...
-
[단독] 학생에게 쓰라고 줬더니…교직원 무이자 대출해 준 교육청 1
전남·경북·강원교육청이 지금껏 주택 임차 지원을 명목으로 교직원 9000여 명에게...
-
진실된 성소는 공부하지않는것입니다
-
수능29일 남은 시점에서 전에도 느꼈던 거지만 공부에 뜻 있는 얘들끼리 연락하면서...
-
크아악 언매 생2 지2 개념을 다 못했어 하지만 나는 서울대에 간다
-
수특은 따로 안풀었습니다.핫100으로 연계 학습 충분한가요?아니면 수특도 풀어야할까요?
-
. 3
-
우리의 모든 상호작용에서 내가 모르는 나 자신에 대한 한가지를 말해줄 수 있나요...
-
말도안돼..
-
괴똥어미 시집살림 하던 말을 너도 들어 알거니와
-
안되면 되게 해라ㅋㅋㅋ
-
뭔 이강사는 저격 논란이 있으니까..빼고.. 이 강사는... 이런 잘못했으니까...
-
독서실 도착 13
다들 오늘도 화이팅
-
하지말까
-
모든 수험생들 파이팅입니다 특히 이 시기에는 감정기복이 정말 심해져서 다들 많이...
-
3개년치 6.9 수능을 다시 풀면서 공부하려고 하는데.. 한달 남은 이 시점에서...
-
나온적있음?
-
고1이고 몇시간 뒤 통합과학 중간고사 보러가는데 베니오프대랑 퇴적물의 양에 대해서...
-
수강후기 쓴 사람도 답글단 사람도 이해가안가네 그보다 보통 삭제시키지않나
-
1컷 50이라고들 하는데 근데 작수보다는 어려웠던 거 같은데도 작수는 1컷...
-
6모 47(2찍맞) 9모 41 10모 43점 뭔가 실수가 하나씩은 꼭 있는데 점수...
-
아니 어떻게 된게 10월달에 기출분석서 내질 않나 10월 8일에 주문했는데 9일넘에...
공리가 참이라는 증명은 없다 << 맞음
하지만 공리를 부정한다면 안된다는 증명이 존재하는 경우가 있음
Ex) 배중률은 부정하면 모순나옴 (증명설명 귀찮음)
근데 동일률 부정하면 무슨일생기는지 모르겠다
아무튼 공리가 참이라는 증명이 없다에서
공리가 거짓이라고 해도 상관없다 사이에 갭이 있어서 님 말이 합당한건아님
첫 1~4줄 이 틀린거임?
2->3이 틀림 ㅇㅇ
"귀류법 증명이 없으면 공리부정시 무모순" 대우명제는 "공리부정시 모순이면 귀류법 증명이 있다"
1) 명제안에 모순 무모순 그대로 쓰면 안되고 정확한 지정이 좀 필요함
2) 좀 잘 해석해줘도 결론에 “무모순“이라는 항진명제 들어가있어서 참인거라 의미가 없음
하.. 난 솔직히 나말고 다른사람이 다틀렸다고 생각함
ㅇㅇ그니깐 대우가 그거인건 맞아
근데 “무모순“이 결론인게 의미가 없음
“무모순“은 “모순“인 상황에서도 (1차논리 하에서는) 폭발원리때문에 도출됨
모순 무모순성은 명제논리 술어논리안에서 그대로 다루면 정말 위험한 결론들이 잘 나와서 잘 번역해야함 그냥 그래서그래
여기서 깊게들어가면 수학 기초론 전공자 수준까지 가야됨
폭발원리 이딴거 왜믿음?
폭발원리는 "내 논리학 안에서 하나라도 모순이지만 참인 명제가 있으면 내 논리학은 터진다"는 원리임
결국 단 하나의 참인 모순인 명제도 허용하지 않는 결과를 낳기에 오히려 더 믿을만한 논리학을 만들어줌
애초에 폭발원리 전제 자체가 P와 not P가 동시에 참임을 가정하는건데
이 가정자체가 잘못된거아님?
ㅇㅇ 그 잘못된 가정을 하면 망한다는얘기,임
난 폭발원리식으로 모순을 인정하면 모든명제가 참이된다가 아니라. "(p and not p)"가 참이면 모든명제가 참이다 라고 받아들이고싶은데
완전성정리 검색 ㄱ
1차논리는 그 공리들을 가정하면(논리학의 3대공리 + 몇개 더) 무모순이다는게 증명되어있음
증명은 어려워서 나도 지금 공부중임.
근데 1차논리만으로는 자연수를 못다뤄서 자연수를 추가하면
괴델의 불완전성때문에 "수리체계에 무모순이면서 증명불가능한 명제가 존재한다" 또는 "수리체계는 모순이다" 둘 중 하나가 성립함.
그래서 자연수까지 다루고 싶으면 폭발원리에 의존을 해야하고
순수 논리만 다룬다 치면 "공리 하에서 모순이 없다"가 증명이 되는거고
(무모순 and 증명불가능)가 참이면 부정인 (모순 or 증명가능)이 거짓이겠네 그럼 모순도 거짓이고 증명가능도 거짓아님?
불완전성정리 보니까 무모순인 동시에 완전할수 없다 따라서 (무모순 and 완전)=거짓
부정은 (모순 or 불완전)=참, 모순은 거짓이니까 불완전이 참이네
무모순 + 불완전 대신 완전 + 모순이 참일수도있음 (공리계 정의가 틀렸다)
하지만 그걸 공리계 안에서 보일수 없다는거
그래서 그냥 보통 무모순 + 불완전이 참이라고 믿음