[공리를 부정하면 무모순]의 응용
게시글 주소: https://ebsi.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를 선물하세요.
-
여기에는 쓸 슈가 없네요
-
용기t 어카냐..
-
걍 할말이없음 이 구석탱이에 이 조직을 쳐 숨겨놨네? ㅎㅎ 앞으로는 더 꼼꼼하게...
-
아직도 안 나온 거 같은데
-
갑자기 든 생각 4
한석원은 본인 모고가 빡빡이 모고로 불리는걸 알고있을까
-
대성패스로 끝낼수있을거 같은데
-
하~중: 브릿지, 교육청 중~상: 손끝, 적중예감 시즌프리 상: 사만다, 적자생존...
-
노가다 8시간하니까 학원 선생들이 부럽다
-
감성적인 그런건 아니고요 그냥 저보다 잘하는 사람들이 차 막혀서 지각했으면 좋겠사와요.. 으히히..
-
으아아아아아아아아아아아아아아아아아아아아아아아아아아아 4
아아아아아아아아아아아아아아아아아아아아아아아아아아아아아아아아아아아아아아아아아아아아아아아...
-
19만 지르면 4
19만 지르면 패스가 생겨 배송도 해줘 19만 지르면~ 너도 내년이 있을 거 아냐...
-
천만덕 가쥬아
-
첫 문제는 길이 보이는군.
-
윤성환 느낌 나네
-
이제 정들었던 화1을 떠나보내려고합니다.. 메가 대성 상관 없습니다 인강 지1이면...
-
전쟁좀 평화롭게 합의 봐라
-
경영하고 파경많이 다른가요? 아님 비슷한데 커리만 조금만 다른거임??
-
히히 0
뿌지직
-
이원준+정석민 조합은 신이네
-
지금까지 수특, 수완, 모고 8개년 기출 모음집 같은 거로만 공부를 했는데 탐구...
-
걸리적거리네 ..
-
조금씩만 도움을 주시면 큰 덕코가 됩니다.
-
대통령실 "사실 4000명 의대증원 필요…틀렸다면 근거 갖춘 안 갖고 오길" 11
의대 증원을 두고 8개월째 의료계와 대치 중인 대통령실은 17일 의대 증원의...
-
수학수학수학 0
김범준쌤 이번에 인강 런칭하신다길래 궁금하기도 하고 이창무쌤이랑 비교해서 어떤가요????
-
국어-김승리 유대종 정석민 김젬마 수학-이미지부터 한석원~김범준까지 영어-이명학 션티 이영수
-
어느날 보면 살 튼 자국이 늘어난 것 같을때
-
나는 결정해 방향
-
삶에 중요헌개 없다고 느끼는것과같나
-
빅리그 존재를 이제 알아서 벼락치기 중인네 개빡세네… 3
어쩐지 아수라 학습 안내서에 소설이 없더라…
-
뇌에 과부하온듯 7
공부 시작한지 4시간밖에 안됐는데 벌써...어쩌지
-
대성 신규강사 2
실루엣 추측가는분 있나요?
-
생명과학 0
생명 2 목표이고 최저러라 주말엔 하루종일 할 수 있고 평일엔 3시간 정도? 공부할...
-
뭐가 더 강의력 고트인가요 그동안 도표는 감으로만 풀고 다 맞았는데 수능 들가기 전...
-
내년에 메가는 필요 없다
-
김동욱 선생님이 장클에서 국어 실모도 두번 연달아 치면 피지컬 올라간다는데 해보신분 계신가요?
-
내일부터는 진짜 달린다
-
유기야 나한테 왜그래
-
김범준쌤 평가 7
그냥 고트임 ㅋㅋㅋ 보닌 2학년 11모 수학3이었는데, 겨울방학때 대깨치고, 수학...
-
언어이해 교수진에서 안보이는데
-
ㅅㅂ 사야되냐 안사도 되겟지?
-
난 2일에 한번 싸
-
애매한 것 같아서 물어봅니다
-
설날 의미있게 보내기 연말 의미있게 보내기
-
이거 왜틀림...? 빡대가리 맞습니다... 근데 진짜 모르겠어요 ㅠㅠ
-
오늘첫끼 2
햄부가 + 또버거
-
현재 내 목표: 서강대 화학...
-
연세대 건축공학과 논술시험 치른 수험생입니다 사실 저도 문제를 미리 받아봤고...
공리가 참이라는 증명은 없다 << 맞음
하지만 공리를 부정한다면 안된다는 증명이 존재하는 경우가 있음
Ex) 배중률은 부정하면 모순나옴 (증명설명 귀찮음)
근데 동일률 부정하면 무슨일생기는지 모르겠다
아무튼 공리가 참이라는 증명이 없다에서
공리가 거짓이라고 해도 상관없다 사이에 갭이 있어서 님 말이 합당한건아님
첫 1~4줄 이 틀린거임?
2->3이 틀림 ㅇㅇ
"귀류법 증명이 없으면 공리부정시 무모순" 대우명제는 "공리부정시 모순이면 귀류법 증명이 있다"
1) 명제안에 모순 무모순 그대로 쓰면 안되고 정확한 지정이 좀 필요함
2) 좀 잘 해석해줘도 결론에 “무모순“이라는 항진명제 들어가있어서 참인거라 의미가 없음
하.. 난 솔직히 나말고 다른사람이 다틀렸다고 생각함
ㅇㅇ그니깐 대우가 그거인건 맞아
근데 “무모순“이 결론인게 의미가 없음
“무모순“은 “모순“인 상황에서도 (1차논리 하에서는) 폭발원리때문에 도출됨
모순 무모순성은 명제논리 술어논리안에서 그대로 다루면 정말 위험한 결론들이 잘 나와서 잘 번역해야함 그냥 그래서그래
여기서 깊게들어가면 수학 기초론 전공자 수준까지 가야됨
폭발원리 이딴거 왜믿음?
폭발원리는 "내 논리학 안에서 하나라도 모순이지만 참인 명제가 있으면 내 논리학은 터진다"는 원리임
결국 단 하나의 참인 모순인 명제도 허용하지 않는 결과를 낳기에 오히려 더 믿을만한 논리학을 만들어줌
애초에 폭발원리 전제 자체가 P와 not P가 동시에 참임을 가정하는건데
이 가정자체가 잘못된거아님?
ㅇㅇ 그 잘못된 가정을 하면 망한다는얘기,임
난 폭발원리식으로 모순을 인정하면 모든명제가 참이된다가 아니라. "(p and not p)"가 참이면 모든명제가 참이다 라고 받아들이고싶은데
완전성정리 검색 ㄱ
1차논리는 그 공리들을 가정하면(논리학의 3대공리 + 몇개 더) 무모순이다는게 증명되어있음
증명은 어려워서 나도 지금 공부중임.
근데 1차논리만으로는 자연수를 못다뤄서 자연수를 추가하면
괴델의 불완전성때문에 "수리체계에 무모순이면서 증명불가능한 명제가 존재한다" 또는 "수리체계는 모순이다" 둘 중 하나가 성립함.
그래서 자연수까지 다루고 싶으면 폭발원리에 의존을 해야하고
순수 논리만 다룬다 치면 "공리 하에서 모순이 없다"가 증명이 되는거고
(무모순 and 증명불가능)가 참이면 부정인 (모순 or 증명가능)이 거짓이겠네 그럼 모순도 거짓이고 증명가능도 거짓아님?
불완전성정리 보니까 무모순인 동시에 완전할수 없다 따라서 (무모순 and 완전)=거짓
부정은 (모순 or 불완전)=참, 모순은 거짓이니까 불완전이 참이네
무모순 + 불완전 대신 완전 + 모순이 참일수도있음 (공리계 정의가 틀렸다)
하지만 그걸 공리계 안에서 보일수 없다는거
그래서 그냥 보통 무모순 + 불완전이 참이라고 믿음