[공리를 부정하면 무모순]의 응용
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를 선물하세요.
-
하루 12~13시간씩 꽉꽉 채워 하고 사람 만나는거 좋아하는데 카톡도 지우고 아예...
-
계산을 적당히시켜야지..
-
죽을것 같아요 1
수능 28일 정도 남은 것 같은데 혈당 수치 높아지고, 소화 안되고, 머리 아프고...
-
6,9월 보니깐 소설 내용은 둘째치고 왜인지 모르겠는데 시점하고 보기에서 불 지를거 같음
-
내일도 고고
-
시험망했군 8
수학은 자신있었는데 1학기가 또 발목을잡는구나 그래서 아크탄젠트 미분 어케함 물리는...
-
통사 통과는 1
유일하게 잘한 개정이라고 생각. 애초에 문과면 과학 지식 모르고 이과면 문과 지식...
-
달이 예쁘네요 4
슈퍼문이래여
-
1일 1실모 하면서 배기범 일당백 푸는데 역학파트 고난도 문제들 너무 어렵고...
-
현돌은 계속 보고있는데 헉시 개념이 부족할까봐 걱정되서 리밋도 볼까 고민중인데 굳이일까요?
-
내년에 메가랑 시대라이브로 다 채울 생각이었는데 굳이 끊는건 돈낭비일까요?
-
재밌는 일이 생겨요
-
고2 베이직 내년까지 듣는거랑 수능 끝나고 나오는 고3 매가 패스 중 뭐가 더...
-
ㅈㄱㄴ!!
-
주겨줘...
-
헉
-
미쿠미쿠
-
얼그레이 0
오늘 저녁에 마실 차
-
소개팅할때도 연애할때도 ㅋㅋ 다 맞쳐줘야하노
-
계약학과 질문 받습니다 수능 얼마 안남았는데 화이팅입니다 :) 저는 지난 학기에...
-
2 3 등급만 바라자 예전 폼이 안돌아와 ㅠㅡㅠ
-
상계 지문 좀만 어렵게 내도 등급컷이랑 난이도 모두 좀 더 괜찮았을 것 같은데...
-
사람도 되고 대학도 된다
-
달이 밝다 4
동그래
-
원래 물1화1하려 했는데 투자한 시간이 아깝긴 해도 미래가 없어보이더라고요 그래서...
-
좋은거 있나요? 양치기 하기 좋고 퀄리티도 괜차는..
-
쉽다는 소문을 듣고 풀어서 그런가…과학지문 정보량도 많도 문학도 어려웠던거같은데…...
-
코피가 주르륵...문제집에 묻음요
-
ㅋㅋㅋㅋㅋㅋㅋ...
-
그냥 문제 풀 때랑 실모 풀 때랑 푸는 시간이 다른 이유 0
그냥 사설 문제집 같은 거 풀 때는 문학 한 세트에 25분? 정도 걸리는데 실모 풀...
-
ㅠㅠ
-
답글은 못달아드릴 수 있습니다… 그냥 본인에게 하고싶은 따뜻한 응원이라도 댓글에다가...
-
어떻게 가져가야할지 고민이네요 아침에 실모 하나 보고 저녁에 N제를 보거나 실모를...
-
오면 대성 다시 확실히 살아나겠는데
-
쿠후후
-
인강패스 7
내년에 현역되는데 벌써 19패스랑 메가패스 다 나온것 같더라고요 그냥 돈 아끼지말고...
-
추천 ㄱㄱ 지금 언디스퓨티드 시리즈 생각중
-
보통 이감상상 말고도 강사컨 하나씩 끼고 하는중일텐데 실모 벅벅 + 강사 파이널 +...
-
내년 국어 커리 2
만년 국어 5등급입니다 내년에 강사한명을 잡아 쭉 따라 갈려고 하는데 강민철이랑...
-
근데 학부1학년이 대체 뭔 공부를 해야 새벽까지 공부하는거임 8
심지어 사범댄데 ㄹㅇ하루종일 거의매일 새벽까지곤부함; 시험기간아니어도그럼..
-
한의대 따위야 포기할 수 있어요
-
수능 다가오니까 2
성질머리가 점점 드러워지는것같음
-
몇시에자도 7시에 눈뜨고 바로 씻기<-이건 잘함 근데 12시에 자기<-이건 같이...
-
ㅈㄱㄴㅈㄱㄴ
-
5000부 판매돌파 지구과학 막판 핵심모음자료를 소개합니다. (현재 오르비전자책...
-
오늘부터 학교에서 수능 시간표 맞춰서 28일동안 실모 치고 학교 마치고는 오답이랑...
-
새로산 충전기 콘센트에 꽂으니 뭔가 반짝한 것 같았는데 이거 가지고 불 안나죠? 아깐 ㄱㅊ았는데
공리가 참이라는 증명은 없다 << 맞음
하지만 공리를 부정한다면 안된다는 증명이 존재하는 경우가 있음
Ex) 배중률은 부정하면 모순나옴 (증명설명 귀찮음)
근데 동일률 부정하면 무슨일생기는지 모르겠다
아무튼 공리가 참이라는 증명이 없다에서
공리가 거짓이라고 해도 상관없다 사이에 갭이 있어서 님 말이 합당한건아님
첫 1~4줄 이 틀린거임?
2->3이 틀림 ㅇㅇ
"귀류법 증명이 없으면 공리부정시 무모순" 대우명제는 "공리부정시 모순이면 귀류법 증명이 있다"
1) 명제안에 모순 무모순 그대로 쓰면 안되고 정확한 지정이 좀 필요함
2) 좀 잘 해석해줘도 결론에 “무모순“이라는 항진명제 들어가있어서 참인거라 의미가 없음
하.. 난 솔직히 나말고 다른사람이 다틀렸다고 생각함
ㅇㅇ그니깐 대우가 그거인건 맞아
근데 “무모순“이 결론인게 의미가 없음
“무모순“은 “모순“인 상황에서도 (1차논리 하에서는) 폭발원리때문에 도출됨
모순 무모순성은 명제논리 술어논리안에서 그대로 다루면 정말 위험한 결론들이 잘 나와서 잘 번역해야함 그냥 그래서그래
여기서 깊게들어가면 수학 기초론 전공자 수준까지 가야됨
폭발원리 이딴거 왜믿음?
폭발원리는 "내 논리학 안에서 하나라도 모순이지만 참인 명제가 있으면 내 논리학은 터진다"는 원리임
결국 단 하나의 참인 모순인 명제도 허용하지 않는 결과를 낳기에 오히려 더 믿을만한 논리학을 만들어줌
애초에 폭발원리 전제 자체가 P와 not P가 동시에 참임을 가정하는건데
이 가정자체가 잘못된거아님?
ㅇㅇ 그 잘못된 가정을 하면 망한다는얘기,임
난 폭발원리식으로 모순을 인정하면 모든명제가 참이된다가 아니라. "(p and not p)"가 참이면 모든명제가 참이다 라고 받아들이고싶은데
완전성정리 검색 ㄱ
1차논리는 그 공리들을 가정하면(논리학의 3대공리 + 몇개 더) 무모순이다는게 증명되어있음
증명은 어려워서 나도 지금 공부중임.
근데 1차논리만으로는 자연수를 못다뤄서 자연수를 추가하면
괴델의 불완전성때문에 "수리체계에 무모순이면서 증명불가능한 명제가 존재한다" 또는 "수리체계는 모순이다" 둘 중 하나가 성립함.
그래서 자연수까지 다루고 싶으면 폭발원리에 의존을 해야하고
순수 논리만 다룬다 치면 "공리 하에서 모순이 없다"가 증명이 되는거고
(무모순 and 증명불가능)가 참이면 부정인 (모순 or 증명가능)이 거짓이겠네 그럼 모순도 거짓이고 증명가능도 거짓아님?
불완전성정리 보니까 무모순인 동시에 완전할수 없다 따라서 (무모순 and 완전)=거짓
부정은 (모순 or 불완전)=참, 모순은 거짓이니까 불완전이 참이네
무모순 + 불완전 대신 완전 + 모순이 참일수도있음 (공리계 정의가 틀렸다)
하지만 그걸 공리계 안에서 보일수 없다는거
그래서 그냥 보통 무모순 + 불완전이 참이라고 믿음