[공리를 부정하면 무모순]의 응용
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를 선물하세요.
-
오랜만입니다 19
다들 파이널 대비 잘하고 계시나요?
-
빡모 4-3 1
수능때 맥스 빡빡함이 이정도아닐까 예상 뭐 하나 쉽게 풀리는게 없음 27,28은...
-
열흘 2
그러하다
-
민족의 보람찬 대학에 지원하신, 혹은 지원 할 여러분 좋은 성과 있길 바랍니다. D-10 응원글
-
0회 1컷이 84, 1회 1컷이 88이던데 난 왜 0회가 더 쉽지...
-
메가패스 n수 할인 보통 11월 수능끝나고 바로 뜨나요? 4
아무래도 내년에 또 해야할거같은데, 지금 2025 11월 30일까지 들을수 있는데...
-
저녁 치킨먹을까 10
웅웅
-
도와주실 분 계신가요..???
-
( 의대 학생협 강경 입장, "내년에도 안 돌아갈 것" ) 3
https://www.news1.kr/society/education/5589469
-
'보이지 않는 스승' 17
카이관 근처에 있는곳인데 볼때마다 개웃김 아니 보이지 않으면 그게 스승임..? 직무유기아님?
-
물리 닌 진짜 디졌다
-
윗집가서 밥 훔쳐먹은거 거기 하인?비슷한사람이 말안하겠다고한대신에 사내대장부가어쩌고 이러는거
-
ㅜㅜ걍 생명 하는 사람들은 다른세계같음 물화생지중에 가장어려운데 아무래도 아이큐가...
-
님들 이거 대성 김민경 강사 서비스 종료 공지인데, 수강종료일이 24.11.30일...
-
주변이랑 엄청 비교하면서 자기 기준으로 줄세우는거 내가 얘보단 이게 더 나은 것...
-
급함
-
국어 5등급인데 누가 더 잘 맞을까요..
-
김승리도 그렇고..
-
곧 나오면 뭐들을까요
-
수능 영어 모고 0
듣기 제외 하고 풀때 듣기때 동시에 푸는 문제(18번 등)도 다 포함해서 풀면...
-
감이 안돌아오는거 같음....
-
3일전 - 6평 다시 치기 2일전 - 9평 다시 치기(수능 전 마지막 점수...
-
수능국어1은 이미 포기했지만 어쩌다가 1이 떠주면....아주 좋을거같운데
-
독서실 빌런 7
개 빡친다
-
이정도면 어3 쉬4 중4 어디인가요
-
대충 국숭 라인 상경 목표라 했을때 국탐탐 어디까지 터져도 커버가능? 사문도 사실...
-
덮 사문 1
사문 9번에 동아리가 회장,부회장도 있고 경진대회에도 나가는데 공식조직으로 볼 수 없나요..?
-
이게맞다
-
거수해바
-
안녕하세요! 이감 모의고사를 한번 풀어보고 싶어서 구해보려고 하는데요, 온라인용이랑...
-
지구과학 서브노트 내용 이해안되는 부분 있어서 질문있어요 4
여기 내용에서 해수면침강 해수면 하강 부분에서 수심이 깊어지므로~ 얕아지므로...
-
갈드컵ON
-
ㅠㅠ이
-
국어 현강 추천헤주세요 13
비문학보단 문학을 잘못합니다 현재 생각중인 선생님들은 1.김민정 2.김승리...
-
라는 나쁜 말은 ㄴㄴ
-
설공 가는데는 별 문제 없었음요? 딴 과목 1컷은 최소 받는다는 가정에
-
딸기라떼 0
가 딸요스보다 비싼 이유는 뭘까
-
너어어어무 고민된다ㅜㅜㅜ 면접이 엄청 잘봤다고 생각되지는 않는데 또 긍정회로 돌리면...
-
내신 38일 남은 시점 mdgc 자분기 캐치로직 셋 중에 뭐하는게 가장 좋을까요?...
-
반갑습니다 6
저랩유프사에용
-
어제 3실모째라서 그런가 풀다가 좃같아서 타이머 껐는데 28 30빼고는 고난도 4점...
-
Kfc 먹고싶다 1
-
한비자같은거 15분 박으면 시간분배를 어떻게 해야하지...
-
수능 시계 0
혹시 수능시계중에 바늘로 되어있으면서도 숫자로 8시 40분 이런식으로 나오는...
-
경제러는 9
더풀사탐 대성꺼 퀄 진짜 좋은듯 풀꺼 없으면 ㄱㄱ
-
영어90시간 박고 3>2만들어버려?
-
누구를 들고 갈것인가요?
-
내신강사들만 나온듯?
-
계실까요
-
약 먹으면 졸리고 휴지로 막아도 금방 젖고 신경쓰이고.. 진심 x같네요ㅠㅠ
공리가 참이라는 증명은 없다 << 맞음
하지만 공리를 부정한다면 안된다는 증명이 존재하는 경우가 있음
Ex) 배중률은 부정하면 모순나옴 (증명설명 귀찮음)
근데 동일률 부정하면 무슨일생기는지 모르겠다
아무튼 공리가 참이라는 증명이 없다에서
공리가 거짓이라고 해도 상관없다 사이에 갭이 있어서 님 말이 합당한건아님
첫 1~4줄 이 틀린거임?
2->3이 틀림 ㅇㅇ
"귀류법 증명이 없으면 공리부정시 무모순" 대우명제는 "공리부정시 모순이면 귀류법 증명이 있다"
1) 명제안에 모순 무모순 그대로 쓰면 안되고 정확한 지정이 좀 필요함
2) 좀 잘 해석해줘도 결론에 “무모순“이라는 항진명제 들어가있어서 참인거라 의미가 없음
하.. 난 솔직히 나말고 다른사람이 다틀렸다고 생각함
ㅇㅇ그니깐 대우가 그거인건 맞아
근데 “무모순“이 결론인게 의미가 없음
“무모순“은 “모순“인 상황에서도 (1차논리 하에서는) 폭발원리때문에 도출됨
모순 무모순성은 명제논리 술어논리안에서 그대로 다루면 정말 위험한 결론들이 잘 나와서 잘 번역해야함 그냥 그래서그래
여기서 깊게들어가면 수학 기초론 전공자 수준까지 가야됨
폭발원리 이딴거 왜믿음?
폭발원리는 "내 논리학 안에서 하나라도 모순이지만 참인 명제가 있으면 내 논리학은 터진다"는 원리임
결국 단 하나의 참인 모순인 명제도 허용하지 않는 결과를 낳기에 오히려 더 믿을만한 논리학을 만들어줌
애초에 폭발원리 전제 자체가 P와 not P가 동시에 참임을 가정하는건데
이 가정자체가 잘못된거아님?
ㅇㅇ 그 잘못된 가정을 하면 망한다는얘기,임
난 폭발원리식으로 모순을 인정하면 모든명제가 참이된다가 아니라. "(p and not p)"가 참이면 모든명제가 참이다 라고 받아들이고싶은데
완전성정리 검색 ㄱ
1차논리는 그 공리들을 가정하면(논리학의 3대공리 + 몇개 더) 무모순이다는게 증명되어있음
증명은 어려워서 나도 지금 공부중임.
근데 1차논리만으로는 자연수를 못다뤄서 자연수를 추가하면
괴델의 불완전성때문에 "수리체계에 무모순이면서 증명불가능한 명제가 존재한다" 또는 "수리체계는 모순이다" 둘 중 하나가 성립함.
그래서 자연수까지 다루고 싶으면 폭발원리에 의존을 해야하고
순수 논리만 다룬다 치면 "공리 하에서 모순이 없다"가 증명이 되는거고
(무모순 and 증명불가능)가 참이면 부정인 (모순 or 증명가능)이 거짓이겠네 그럼 모순도 거짓이고 증명가능도 거짓아님?
불완전성정리 보니까 무모순인 동시에 완전할수 없다 따라서 (무모순 and 완전)=거짓
부정은 (모순 or 불완전)=참, 모순은 거짓이니까 불완전이 참이네
무모순 + 불완전 대신 완전 + 모순이 참일수도있음 (공리계 정의가 틀렸다)
하지만 그걸 공리계 안에서 보일수 없다는거
그래서 그냥 보통 무모순 + 불완전이 참이라고 믿음