[공리를 부정하면 무모순]의 응용
게시글 주소: https://orbi.kr/00069516306
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를 선물하세요.
-
ㅇㅇ
-
다시 정리함 17
모순(A and not A)거짓 (A and not A)가 거짓이면 A나 not A...
-
물리 시간 0
역학이 약해서 비킬러 17문제 정도는 15분컷 내고싶은데 물리 시간단축 어케해야하나요..,ㅠ
-
수능이 정말 한 달도 안 남은 상황이 되었습니다. 이제는 어느 과목이든 마무리...
-
모순 -> 어떤 명제가 거짓 대우명제는 모든 명제가 참-> 무모순
-
언매 미적 정법 사문 << 딱 보면 무슨 생각 듦? 3
실수픽 아인교
-
점메추 해드려요 17
고고
-
수시로 대학 갈래~....
-
내신이긴하지만 짤렸다 힝 수학에 밀렸어 수학나빠
-
4규인가 플로우인가 진짜 개똑같은 문제 있음 0으로 쭉 오다가 접하게 갈아타는거
-
(0) 자료 소개 2005학년도 평가원부터 2013학년도 평가원 문항 중 수능 직전...
-
군대 한 번 더 갈테니까 초딩 때로 돌려보내주세요 ㅠㅡㅠ
-
-
동급이란건 알지만 선호하는 대학 학과 픽 해주세요 과기대는 서울에 있고 에리카는 안산에 있어요
-
왜 답 낼 때는 안 본 거니...?
-
모순 -> 어떤 명제가 거짓 대우명제는 모든 명제가 참-> 무모순
-
1. 적어도 하루 한 번 밖에 나가기 2. 병원 꾸준히 다니고 약 잘 챙겨먹기 3....
-
음 역시 귀엽군
-
가보자 가보자
-
내용이 영 찝찝해서 찾아봤더니 이구동성으로 흉몽이라고 함 ㅇ ㅏ
-
서바이벌 파이널 1회 93점. 1컷 84. 쉬움 스피드러너 1회 96점. 28번 틀...
-
불변의 진리 1
부모님은 두달에 한번 볼때가 사이가 가장 좋다 같이 살면 사이가 안좋아진다
-
한지 vs 사문 4
외우 는거 잘 못해요
-
-
전적대 톡방 6
3년째 안 나가는중
-
스트레스때문에 미치겠음 이미 미친걸지도
-
국회도 정 상 화
-
이게 뭐노 구겨진 거도 아니라 못 봤었는데
-
어... 7
-
김영편입 캠퍼스 추천해주실 만한 곳 있을까요? 강남단과 고려하고 있긴한데 훈수...
-
임정환 쌤 하트를 푸는데… 6 9모는 못해도 2-3은 떴는데 하트가 6이 떠서요…...
-
N수생한테 수능 앞두고 수능 망쳐라/망했으면 좋겠다/반드시 망친다/N+1수해라...
-
‘전역’ BTS 제이홉 “헌신하는 국군 장병들, 사랑해달라” 2
그룹 방탄소년단(BTS)의 제이홉(정호석)이 군 복무를 마치고 전역했다. 제이홉은...
-
Logica, Lux Mea!
-
푸는건가요
-
이 시기까지 배송 준비중이면 어쩌자는거야...
-
물리학의 "물" 수학의 "수" 둘다 물을 뜻함
-
시발점 > 쎈 > 고쟁이 > 뉴분감 평반고 내신 끝판왕 되는거 맞음?
-
진로는 신소재 개발쪽이에요 (신소재공학은 신소재 안 다룸)
-
난 한면 맞추는것도 힘들던데
-
재밌네요...공부시간만 된다면 내년에 물2 하고싶다
-
저같은 저능아도 좀 풀게해주세요,, ㅠㅠㅠ 10번인데 7모 22번이라뇨,,, 서러워서 못풀겠네,,,
-
공부시간 얼마나 잡아먹나요?
-
난 초호기임
-
정신과 환자를 조롱하는건 잘못됐다고 생각해요...
-
삐까뻔쩍한게 몇억은 들었을것 같은 비주얼인데 이용하는 사람이 아무도 없고 파리만...
-
엌ㅋㅋㅋ
-
다행이 100이긴 한데 이거 현장에서 풀었으면 ㄹㅇ 멘탈나가겠네ㅋㅋㅋ 특히 문학...
-
꿈돌이 진득하게 밀어주는거 너무 귀엽지 않나요ㅜㅠㅠ 대전 많이 좋아해주세요 엉엉....
-
정확한 맥락은 모르겠어서 내 마음대로 첨언. 자유주의 진영이라고 사기업에 전혀...
공리가 참이라는 증명은 없다 << 맞음
하지만 공리를 부정한다면 안된다는 증명이 존재하는 경우가 있음
Ex) 배중률은 부정하면 모순나옴 (증명설명 귀찮음)
근데 동일률 부정하면 무슨일생기는지 모르겠다
아무튼 공리가 참이라는 증명이 없다에서
공리가 거짓이라고 해도 상관없다 사이에 갭이 있어서 님 말이 합당한건아님
첫 1~4줄 이 틀린거임?
2->3이 틀림 ㅇㅇ
"귀류법 증명이 없으면 공리부정시 무모순" 대우명제는 "공리부정시 모순이면 귀류법 증명이 있다"
1) 명제안에 모순 무모순 그대로 쓰면 안되고 정확한 지정이 좀 필요함
2) 좀 잘 해석해줘도 결론에 “무모순“이라는 항진명제 들어가있어서 참인거라 의미가 없음
하.. 난 솔직히 나말고 다른사람이 다틀렸다고 생각함
ㅇㅇ그니깐 대우가 그거인건 맞아
근데 “무모순“이 결론인게 의미가 없음
“무모순“은 “모순“인 상황에서도 (1차논리 하에서는) 폭발원리때문에 도출됨
모순 무모순성은 명제논리 술어논리안에서 그대로 다루면 정말 위험한 결론들이 잘 나와서 잘 번역해야함 그냥 그래서그래
여기서 깊게들어가면 수학 기초론 전공자 수준까지 가야됨
폭발원리 이딴거 왜믿음?
폭발원리는 "내 논리학 안에서 하나라도 모순이지만 참인 명제가 있으면 내 논리학은 터진다"는 원리임
결국 단 하나의 참인 모순인 명제도 허용하지 않는 결과를 낳기에 오히려 더 믿을만한 논리학을 만들어줌
애초에 폭발원리 전제 자체가 P와 not P가 동시에 참임을 가정하는건데
이 가정자체가 잘못된거아님?
ㅇㅇ 그 잘못된 가정을 하면 망한다는얘기,임
난 폭발원리식으로 모순을 인정하면 모든명제가 참이된다가 아니라. "(p and not p)"가 참이면 모든명제가 참이다 라고 받아들이고싶은데
완전성정리 검색 ㄱ
1차논리는 그 공리들을 가정하면(논리학의 3대공리 + 몇개 더) 무모순이다는게 증명되어있음
증명은 어려워서 나도 지금 공부중임.
근데 1차논리만으로는 자연수를 못다뤄서 자연수를 추가하면
괴델의 불완전성때문에 "수리체계에 무모순이면서 증명불가능한 명제가 존재한다" 또는 "수리체계는 모순이다" 둘 중 하나가 성립함.
그래서 자연수까지 다루고 싶으면 폭발원리에 의존을 해야하고
순수 논리만 다룬다 치면 "공리 하에서 모순이 없다"가 증명이 되는거고
(무모순 and 증명불가능)가 참이면 부정인 (모순 or 증명가능)이 거짓이겠네 그럼 모순도 거짓이고 증명가능도 거짓아님?
불완전성정리 보니까 무모순인 동시에 완전할수 없다 따라서 (무모순 and 완전)=거짓
부정은 (모순 or 불완전)=참, 모순은 거짓이니까 불완전이 참이네
무모순 + 불완전 대신 완전 + 모순이 참일수도있음 (공리계 정의가 틀렸다)
하지만 그걸 공리계 안에서 보일수 없다는거
그래서 그냥 보통 무모순 + 불완전이 참이라고 믿음