[공리를 부정하면 무모순]의 응용
게시글 주소: 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를 선물하세요.
-
아 ㅋㅋㅋㅋㅋㅋ 상대평가라고요 ㅋㅋㅋㅋㅋㅋ
-
도도가 23 화1 5분 물1 10분 남겼고 고정 적백이었는데 이번 영상에서 물2...
-
강기본 다 들었는데 바로 강기분 들어가도될까요 아님 혼자 매3비매3문같은거 계속...
-
-
안녕하세요, 디시 수갤·빡갤 등지에서 활동하는 무명의 국어 강사입니다. 오늘은...
-
반포 래미안 원베일리 40평대 초반에 사는 친구 있는데 2
금수저임? 시골츙이라서 모르겠네
-
혀녁 때 사문 열심히 해서 내신도 1받고 모고도 웬만하면 1떴는데 수능날...
-
오늘 몇문제나 풀수있을까
-
뉴런 수강 질문 1
고3이고 방학때 ㅅㅂ점이,개념원리 2회독 한 상태인데 여기서 자이 한번 풀고...
-
얼버불 2
-
장난하나
-
이과생이었고 사탐 배워본 적 없고 작수 3,2 떴습니다.. 국수에 시간 투자를 많이...
-
오늘 하루도...힘 내야지...
-
술 먹고 1
지금 기어들어가기
-
이런 새자슥들 1
술좀그먼먹였으면좋겠어요 하소연할곳이없어서하소연해요 정말너무한것같아요 ㅠ
-
뭐가더 빡셈
-
몰래 회동했었는데
-
참 슬퍼 ㅠ
-
사탐 문외한이어서 몇분에게 조언 구했는데(감사합니다..) 결론적으로는, 제가 목표로...
-
-
어른이셔서 잘 해결된거같아 좋네요
-
오르비 잘자요 0
코코낸내
-
사탐을 하게되면 쌍사밖에 생각 없는데 작년처럼 나오는게 운이 좋은거기도 하고 올해는...
-
지금 비옴 0
-
안녕하세요 제목 그대로인 노베이스에서 재수 한다고 마음 먹고 하고 있습니다 ....
-
-
아조시가 학생들 노는데서 놀기 좀 그렇자너
-
졸려 자러가야지 1
바이바이 잘자요
-
한완기 수학1 미개봉 팝니다. 반택포 2.3입니다. 중고나라,번개장터에서 거래 가능합니다.
-
-
가끔 저를 그냥 팔로우 하시는 분들은 무엇..?
-
똥에서 설사가는느낌이지만 지2는 수능날 모르면50분을줘도 못푸는과목이라 화1갑니다...
-
다자는구나 4
내소중한오르비가,,,
-
잘자여 1
~~
-
의사선생님들 10
저 어렸을때부터 숨쉬면 심장이 자주 아팠는데 이유가 뭘까요 지금도 아픔 바늘로 찌르는 느낌
-
[소개 및 성적인증] https://orbi.kr/00071877183 안녕하세요...
-
그럼 Deers are jumping in the Kwanak mountain. 임?
-
한 35쯤에 요절하겠지 건강도 안좋아서
-
지금처럼 누워만있을까 ㅋㅋ
-
메리 솔크입니다~
-
아 쪽팔려 6
하 왜물어봤지
-
포기하면 편해 5
룰루랄라
-
-
M자탈모가오기시작했음
-
왜 근육통이 없지 등도 그렇고 요즘 상체가 잘 안먹는구만
-
캬캬 주식 하따 5
-
갓다가 돈만 뜯길까봐 겁남
-
오른닮앗대..
-
앞으로 옯보검은 2
옴뇸뇸~~님이시다!
-
길게연애한건아님 걍 좀… 썰이많은거지
공리가 참이라는 증명은 없다 << 맞음
하지만 공리를 부정한다면 안된다는 증명이 존재하는 경우가 있음
Ex) 배중률은 부정하면 모순나옴 (증명설명 귀찮음)
근데 동일률 부정하면 무슨일생기는지 모르겠다
아무튼 공리가 참이라는 증명이 없다에서
공리가 거짓이라고 해도 상관없다 사이에 갭이 있어서 님 말이 합당한건아님
첫 1~4줄 이 틀린거임?
2->3이 틀림 ㅇㅇ
"귀류법 증명이 없으면 공리부정시 무모순" 대우명제는 "공리부정시 모순이면 귀류법 증명이 있다"
1) 명제안에 모순 무모순 그대로 쓰면 안되고 정확한 지정이 좀 필요함
2) 좀 잘 해석해줘도 결론에 “무모순“이라는 항진명제 들어가있어서 참인거라 의미가 없음
하.. 난 솔직히 나말고 다른사람이 다틀렸다고 생각함
ㅇㅇ그니깐 대우가 그거인건 맞아
근데 “무모순“이 결론인게 의미가 없음
“무모순“은 “모순“인 상황에서도 (1차논리 하에서는) 폭발원리때문에 도출됨
모순 무모순성은 명제논리 술어논리안에서 그대로 다루면 정말 위험한 결론들이 잘 나와서 잘 번역해야함 그냥 그래서그래
여기서 깊게들어가면 수학 기초론 전공자 수준까지 가야됨
폭발원리 이딴거 왜믿음?
폭발원리는 "내 논리학 안에서 하나라도 모순이지만 참인 명제가 있으면 내 논리학은 터진다"는 원리임
결국 단 하나의 참인 모순인 명제도 허용하지 않는 결과를 낳기에 오히려 더 믿을만한 논리학을 만들어줌
애초에 폭발원리 전제 자체가 P와 not P가 동시에 참임을 가정하는건데
이 가정자체가 잘못된거아님?
ㅇㅇ 그 잘못된 가정을 하면 망한다는얘기,임
난 폭발원리식으로 모순을 인정하면 모든명제가 참이된다가 아니라. "(p and not p)"가 참이면 모든명제가 참이다 라고 받아들이고싶은데
완전성정리 검색 ㄱ
1차논리는 그 공리들을 가정하면(논리학의 3대공리 + 몇개 더) 무모순이다는게 증명되어있음
증명은 어려워서 나도 지금 공부중임.
근데 1차논리만으로는 자연수를 못다뤄서 자연수를 추가하면
괴델의 불완전성때문에 "수리체계에 무모순이면서 증명불가능한 명제가 존재한다" 또는 "수리체계는 모순이다" 둘 중 하나가 성립함.
그래서 자연수까지 다루고 싶으면 폭발원리에 의존을 해야하고
순수 논리만 다룬다 치면 "공리 하에서 모순이 없다"가 증명이 되는거고
(무모순 and 증명불가능)가 참이면 부정인 (모순 or 증명가능)이 거짓이겠네 그럼 모순도 거짓이고 증명가능도 거짓아님?
불완전성정리 보니까 무모순인 동시에 완전할수 없다 따라서 (무모순 and 완전)=거짓
부정은 (모순 or 불완전)=참, 모순은 거짓이니까 불완전이 참이네
무모순 + 불완전 대신 완전 + 모순이 참일수도있음 (공리계 정의가 틀렸다)
하지만 그걸 공리계 안에서 보일수 없다는거
그래서 그냥 보통 무모순 + 불완전이 참이라고 믿음