[공리를 부정하면 무모순]의 응용
게시글 주소: https://ui.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를 선물하세요.
-
21분컷~
-
보통 수능이랑 몇월 모의고사랑 비슷함?
-
https://orbi.kr/00069519205...
-
[피파]베일 신상 떳다 10
이야 신상 베일 4종 출시
-
10평 결과 꼴받네 11
언미영물지 영어 한국사 1 국어 2점 하나 지구 3점 하나 틀려서 기분 좋았는데 하...
-
이 시기 국어 기출, 어떻게 활용할까? (기출 선별본 배포 안내) 9
국어는 마지막까지 기출을 놓지 말라는 말을 여기저기서 들어보셨죠. 그런데 이...
-
감기걸렸어 3
아프다
-
더프 국어만 다 풀려하는데 별로라는 사람 많아서 괜찮은 회차 있음?
-
국내 연구팀, 액체·고체 특징 모두 가진 '전자결정' 첫 발견 13
연세대 김근수 교수팀, 국제학술지 '네이처' 게재 이론만 있던 전자결정 첫...
-
문제는 안풀거고 짬날때마다 읽을거임
-
제가 뜬금없는 거 가지고 와서 물어보는 것도 아니고 전주차 숙제나 그날 수업내용...
-
(A and not A)가 참이라면, 부정인 (not A or A)가 거짓 (not...
-
드뎌옴 ㅠㅠ 맛잇겠다
-
당해 교육청에서 연계된 작품들은 수능에는 나올 확률 거의없는거 맞지?? Ex)단가육장 우활가 등
-
서울대 정시 bb 가능한가용 비평준화 지역이라 잘하는애들 몰려서 내신 많이 빡빡함
-
가능하지 뭘 고민해
-
사문: 50점 생윤: (이하생략)
-
23학번 아는 지인이 수능 다시 준비하려고 한다고 하는게 커리 조언 받습니다 ㅠㅠ...
-
생윤 <<< 진심으로 이새끼 어캄?
-
아무런 비하도 없는데
-
"가능" 6
(저 말고 겜프릭이)
-
올해는 글렀다 생윤 사문 하면 타임어택은 없나요?
-
개념강의 -> 쎈 -> 자이스토리 -> 고쟁이or블라 -> 학교 프린트 이렇게면...
-
백건아 하이엔드?
-
??
-
손하트 17
-
자연 말구??
-
날이 너무 좋음ㅋㅋㄴㅋㅋ 따뜻하고
-
사문 적중예감 2
적중예감 풀고 해설 듣고 좀 지나서 다시 풀어보는거 어떻게 생각하나요? + 사문...
-
오전에 뻘글 ㅈㄴ 쓰고있는 거 보고 댓글 좀 달다가 할 일 하다 방금 왔는데...
-
설수리지망이에요? 한자리 날라갔네..
-
정직하게 답변 드리겠습니다.
-
1 ㄱㄴ? 서술형 4점중에 2점 인정 안되는게 이해는 안되는데 나머지 2점은 새로...
-
예전에 당근에서 받은 2024시냅스 있는데 여태 안풀다가 어삼쉬사 대체용으로 푸는거...
-
목표는 3등급 이상입니다 생명은 자이스토리 마더텅 수완 수특만 여러번 봤어요...
-
평소에 폰이나 테블릿으로 보면 눈아파서 책 못봣는데 이북리더기 아주 좋음. . ....
-
국어 - 운이 좋았다. 수학 - 답없음 찍맞 3개하고도 4등급임 답이없음 수능날...
-
오늘의 수익 4
오전 매매 좆같이해서 -30까지 찍힌거 오후에 +30만들어서 장 마감 ㅋㅋㅋ 결국은 또 tsmc
-
잘하면 더 좋아할 자신 있는데… 아무튼 화이팅
-
모순이 참이라면 26
(A and not A)=참 notnot(A and not A)=notnot참...
-
6평 69 (3) 9평 76 (4) 이후로 충격받고 2주동안 수분감 세 과목 다...
-
이글에 개추 누르기
-
제발 그 영상좀 찾아주세요 고려대 출신 남자 수능강사인데 돌아가신 걸로 기억해요...
-
작년에 서바 서바 하도 얘기하길래 구해서 풀었는데 개념은 너무 쉽고 도표를 너무...
-
내가 처음 메가패스 샀을땐 국어1타가 이원준t였는데 2
영어는 이충권 수학은 현우진(데뷔 1년차)
-
풀어봤는데 1회차 34번 틀리고 97점 일단 평소엔 듣기 포함해서 45~50분...
-
수능때 나온다면 1컷 80 정도 나올만한 걸로요!!
-
95점 10번,16번 틀림 10번 풀면서 뭔가 비타민k 생각남 독서론:짧길래 개이득...
공리가 참이라는 증명은 없다 << 맞음
하지만 공리를 부정한다면 안된다는 증명이 존재하는 경우가 있음
Ex) 배중률은 부정하면 모순나옴 (증명설명 귀찮음)
근데 동일률 부정하면 무슨일생기는지 모르겠다
아무튼 공리가 참이라는 증명이 없다에서
공리가 거짓이라고 해도 상관없다 사이에 갭이 있어서 님 말이 합당한건아님
첫 1~4줄 이 틀린거임?
2->3이 틀림 ㅇㅇ
"귀류법 증명이 없으면 공리부정시 무모순" 대우명제는 "공리부정시 모순이면 귀류법 증명이 있다"
1) 명제안에 모순 무모순 그대로 쓰면 안되고 정확한 지정이 좀 필요함
2) 좀 잘 해석해줘도 결론에 “무모순“이라는 항진명제 들어가있어서 참인거라 의미가 없음
하.. 난 솔직히 나말고 다른사람이 다틀렸다고 생각함
ㅇㅇ그니깐 대우가 그거인건 맞아
근데 “무모순“이 결론인게 의미가 없음
“무모순“은 “모순“인 상황에서도 (1차논리 하에서는) 폭발원리때문에 도출됨
모순 무모순성은 명제논리 술어논리안에서 그대로 다루면 정말 위험한 결론들이 잘 나와서 잘 번역해야함 그냥 그래서그래
여기서 깊게들어가면 수학 기초론 전공자 수준까지 가야됨
폭발원리 이딴거 왜믿음?
폭발원리는 "내 논리학 안에서 하나라도 모순이지만 참인 명제가 있으면 내 논리학은 터진다"는 원리임
결국 단 하나의 참인 모순인 명제도 허용하지 않는 결과를 낳기에 오히려 더 믿을만한 논리학을 만들어줌
애초에 폭발원리 전제 자체가 P와 not P가 동시에 참임을 가정하는건데
이 가정자체가 잘못된거아님?
ㅇㅇ 그 잘못된 가정을 하면 망한다는얘기,임
난 폭발원리식으로 모순을 인정하면 모든명제가 참이된다가 아니라. "(p and not p)"가 참이면 모든명제가 참이다 라고 받아들이고싶은데
완전성정리 검색 ㄱ
1차논리는 그 공리들을 가정하면(논리학의 3대공리 + 몇개 더) 무모순이다는게 증명되어있음
증명은 어려워서 나도 지금 공부중임.
근데 1차논리만으로는 자연수를 못다뤄서 자연수를 추가하면
괴델의 불완전성때문에 "수리체계에 무모순이면서 증명불가능한 명제가 존재한다" 또는 "수리체계는 모순이다" 둘 중 하나가 성립함.
그래서 자연수까지 다루고 싶으면 폭발원리에 의존을 해야하고
순수 논리만 다룬다 치면 "공리 하에서 모순이 없다"가 증명이 되는거고
(무모순 and 증명불가능)가 참이면 부정인 (모순 or 증명가능)이 거짓이겠네 그럼 모순도 거짓이고 증명가능도 거짓아님?
불완전성정리 보니까 무모순인 동시에 완전할수 없다 따라서 (무모순 and 완전)=거짓
부정은 (모순 or 불완전)=참, 모순은 거짓이니까 불완전이 참이네
무모순 + 불완전 대신 완전 + 모순이 참일수도있음 (공리계 정의가 틀렸다)
하지만 그걸 공리계 안에서 보일수 없다는거
그래서 그냥 보통 무모순 + 불완전이 참이라고 믿음