[공리를 부정하면 무모순]의 응용
게시글 주소: https://iu.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를 선물하세요.
-
국정원 지하에서까지 그런짓을… 에휴
-
전 관독에서 악깡버하는데… 진짜 몸 안좋을때도 맨날 버티는데 안좋다는건 알지만.....
-
아 뭔 자신감이지.. 12
왜 원광치대는 될 것 같냐 너무 기대하면 실망하는데
-
????????????? ????????????? 진짜 뭐지
-
아까 스나 글 쓴사람인데 이 점수는 노양심인가요? 10
화작 2컷 간당 미적 100 영어 1 사탐 2개 3, 4 등급 앞의글 답변해주셔서...
-
예상해보는것도 메타인지에 속하는건가요
-
야 솔직히 스벅 자바칩 프라프치노 미만잡 아니냐? 31
반박시 초알못(초코를 잘 모르는 이) ㅋㅋ
-
언매 vs 화작 2
둘의 차이점이 시간인가요? 고2 국어 모고 3등급 나오는데 뭘 하는게 좋을까요?...
-
인생 ㅈ같다 0
내신 좆같다 진짜
-
행복하다 수능때까지만 열심히하자
-
생1 교육청 0
교육청이랑 평가원 난이도 차이 심한가요?? 지금 3개년치 교육청+평가원 싹 다...
-
국어 1~2 왔다갔다 하시는분들 실모 지금 몇개 푸시나요 9
1주일에 2개씩 푸는데 적은걸까요
-
‘주 44시간, 월급 3000만원’ 한국 의사들, 베트남 병원 수십명 지원 8
[파이낸셜뉴스] 한국 의사들의 베트남 진출이 활발해 지고 있다. 16일 조선일보에...
-
님이 지금 응시한 시험지는 붙는 성적이고 재시험 시험지는 유형이 다르니 다른...
-
이제는 뭔가 안쓰러움.. 과연 무슨 사연이 있는걸까..?
-
연세대 수험생 "집단소송"…전형료 32억 받고도 부실관리 논란 1
연세대학교 수시 논술 문제 유출과 관련해 수험생들이 논술시험 무효를 청구하는...
-
무슨요일에 들으시나요?? 저는 원래 수욜마다 들었다가 사정때매 이틀 미뤄서 금욜에 듣는데
-
컨디션 영 별로이면 걍 조퇴때리나요?아니면 걍 끝까지 악깡버하나요
-
포괄적 권리(자유, 평등, 행복추구권)라고 보나요?
-
연세대 수험생 ‘양심 선언’…“논술문제 3개, 다른 수험생에 문자로 전달” 15
2025학년도 연세대 수시모집 자연계열 논술시험 문제 유출 논란과 관련해 ‘시험지를...
-
국어 별로 못하는데 검토까지 다해도 20분 남네...
-
38점 뭣.. 봇치는 지구과학을 몬해
-
공포영화 보러옴 2
으흐흐
-
6시간 잤다고 뻗는 게 말이 되나 운동 좀 해놓을걸..
-
인류는 개@%@$임
-
경희대 봉사시간 보나요? 봉사활돝 대학에서 안본다길래 1학년때 헌혈도 안하고 그래서...
-
“월 수입 5000만원?” 100만 유튜버된 ‘효린’…사진 속 ‘골드버튼’ 실체 1
[헤럴드경제= 박영훈 기자] “100만 유튜버 월 수입 5000만원?” 가수 효린이...
-
대충 화작2컷 미적100 사탐2개 서성한이상 낮공 자연대 가능하려나
-
이감 푸니까 진이 빠지는듯… 시간도 부족하고; 2-3일에 한번씩은 풀어야겠음
-
언매고 9모 100 9덮 92 였어요 지금 수탐 급해서 수탐만 죽어라하는중
-
이제 국어지문같은거는 손도 못대겠고 영어도 집중력이 씹창났어 탐구도 이제 텍스트자체를 잘 못읽겠고
-
폭발원리 1
이게 뭐야? 도서관 가서 찾아보면 나오려나..
-
나도 그렇고 ㅋㅋㅋ 운동이든 게임이든 공부든 열정적이긴 한듯 ㅋㄱ
-
수능끝나고 퇴소하면 걍 인스타 싹다 언팔치고싶은데,,
-
덕갈하고싶다 3
덕코 갈취 하고 싶다라는 뜻
-
한기호 "北은 1만명 파병, 우리도 우크라에 참관단 보내자" 17
(계룡=뉴스1) 허고운 기자 = 우리 군이 우크라이나 전쟁에 '참관단'을 파견해야...
-
오늘 아직 핫식스 0캔
-
수능 전날이나 전전날에 이감 풀면 머리만 아프고 현타 올 것 같은데 수능 직전에 풀...
-
쿠쿠리가 오르비에 무한동력장치 심어놓은듯 ㄹㅇㅋㅋ
-
아니 진짜 정시n수가 논술최저도못맞출거같은게말이되냐고 11
하진짜씨발어캄?
-
ㅋㅋㅋㅋ 8
ㅋㅋㅋㅋㅋㅋㅋㅋ
-
한국 의사들 "베트남으로 갈래요"…외국인 의사 영어시험 수십 명 응시 3
베트남에 진출하는 우리나라 의사가 크게 늘어날 것으로 전망된다. 최근 한국...
-
특히 영어는 현역이 더잘하는거같음 어떨때는
-
이거 뭔가 효과없는데? 싶다가도 딱 1~2주만 참고 계속 쓰면 걍 삶의 질이 달라짐...
-
진짜 폭발원리, 상대성이론, 열역학 다 싸그리 ㅄ임 7
인류는 그냥 ㅄ집단임
-
씨발입갤 ㅋㅋㅌㅌ
-
내가 저번에 작년인가 흉기난동 관해서 개소리 씨부렸던 거 보강함 3
저 당시 경제 불경기에 취업난 때문이라고 했던 거 같은데 추가로 요소를 더해 보자면...
공리가 참이라는 증명은 없다 << 맞음
하지만 공리를 부정한다면 안된다는 증명이 존재하는 경우가 있음
Ex) 배중률은 부정하면 모순나옴 (증명설명 귀찮음)
근데 동일률 부정하면 무슨일생기는지 모르겠다
아무튼 공리가 참이라는 증명이 없다에서
공리가 거짓이라고 해도 상관없다 사이에 갭이 있어서 님 말이 합당한건아님
첫 1~4줄 이 틀린거임?
2->3이 틀림 ㅇㅇ
"귀류법 증명이 없으면 공리부정시 무모순" 대우명제는 "공리부정시 모순이면 귀류법 증명이 있다"
1) 명제안에 모순 무모순 그대로 쓰면 안되고 정확한 지정이 좀 필요함
2) 좀 잘 해석해줘도 결론에 “무모순“이라는 항진명제 들어가있어서 참인거라 의미가 없음
하.. 난 솔직히 나말고 다른사람이 다틀렸다고 생각함
ㅇㅇ그니깐 대우가 그거인건 맞아
근데 “무모순“이 결론인게 의미가 없음
“무모순“은 “모순“인 상황에서도 (1차논리 하에서는) 폭발원리때문에 도출됨
모순 무모순성은 명제논리 술어논리안에서 그대로 다루면 정말 위험한 결론들이 잘 나와서 잘 번역해야함 그냥 그래서그래
여기서 깊게들어가면 수학 기초론 전공자 수준까지 가야됨
폭발원리 이딴거 왜믿음?
폭발원리는 "내 논리학 안에서 하나라도 모순이지만 참인 명제가 있으면 내 논리학은 터진다"는 원리임
결국 단 하나의 참인 모순인 명제도 허용하지 않는 결과를 낳기에 오히려 더 믿을만한 논리학을 만들어줌
애초에 폭발원리 전제 자체가 P와 not P가 동시에 참임을 가정하는건데
이 가정자체가 잘못된거아님?
ㅇㅇ 그 잘못된 가정을 하면 망한다는얘기,임
난 폭발원리식으로 모순을 인정하면 모든명제가 참이된다가 아니라. "(p and not p)"가 참이면 모든명제가 참이다 라고 받아들이고싶은데
완전성정리 검색 ㄱ
1차논리는 그 공리들을 가정하면(논리학의 3대공리 + 몇개 더) 무모순이다는게 증명되어있음
증명은 어려워서 나도 지금 공부중임.
근데 1차논리만으로는 자연수를 못다뤄서 자연수를 추가하면
괴델의 불완전성때문에 "수리체계에 무모순이면서 증명불가능한 명제가 존재한다" 또는 "수리체계는 모순이다" 둘 중 하나가 성립함.
그래서 자연수까지 다루고 싶으면 폭발원리에 의존을 해야하고
순수 논리만 다룬다 치면 "공리 하에서 모순이 없다"가 증명이 되는거고
(무모순 and 증명불가능)가 참이면 부정인 (모순 or 증명가능)이 거짓이겠네 그럼 모순도 거짓이고 증명가능도 거짓아님?
불완전성정리 보니까 무모순인 동시에 완전할수 없다 따라서 (무모순 and 완전)=거짓
부정은 (모순 or 불완전)=참, 모순은 거짓이니까 불완전이 참이네
무모순 + 불완전 대신 완전 + 모순이 참일수도있음 (공리계 정의가 틀렸다)
하지만 그걸 공리계 안에서 보일수 없다는거
그래서 그냥 보통 무모순 + 불완전이 참이라고 믿음