[공리를 부정하면 무모순]의 응용
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를 선물하세요.
-
꿈돌이 진득하게 밀어주는거 너무 귀엽지 않나요ㅜㅠㅠ 대전 많이 좋아해주세요 엉엉....
-
정확한 맥락은 모르겠어서 내 마음대로 첨언. 자유주의 진영이라고 사기업에 전혀...
-
눈 더 나빠졌다고 할까봐 무서워서 못가겠음 근데 코팅 다 나가서
-
집중안하기 응안해 아몰라...
-
세뇌나 받아놓고 그 세뇌에 반하는걸 말하면 짐승처럼 공격하기나 하는주제에
-
너는 왜 나대니 4
중국 fdi추이 찾아보시구요 자유주의국가들이 왜 사례가없겠니 그짓을 하면 ㅈ되는걸...
-
경제 이새끼 왜 사문 따라감?
-
평가원이나 교육청 문제를 풀때는 문학에선 틀릴지언정 독서 전체에서 보통 1개...
-
ㄷ선지가 맞는선지인데 이해가안가요 (나)의 B에 도달하는게 아니라 급팽창이전에 도달한거 아닌가요??
-
사문 실모 다 풀ㄹ고 어테하세여? 오답도 하나요..?
-
고려랑 순서 나열,개항기에서 벽 느껴진다 이제 개념 디테일을 챙겨야할듯…
-
최소한의 반례는 제시못하시면서 아무튼 통계드립치면 지가맞는줄아네 야 ㅇㅅㄲ야...
-
그럼 노예를 만들려는 시도가 무효화될까?
-
3 ,4 월에는 다같이 몰려다니다가 슬슬 5월부터 파벌 , 무리별로 다니는거...
-
글 쓸 때 애초에 분류하는 기능이 없어서 불가능하려나 아 근데 막 오르비 내...
-
by chatgpt
-
수입품에 대한 을국 가계의 소비지출이 gdp에 반영이 안된다면 if 생산측면의...
-
난 스카갈때 화장 1도 안함
-
9모 같이 너무 쉬운경우를 제외하고 보통 1컷 80초중반 나오는 시험지 기준임...
-
뭔가 도표 안내문 이런 쉬운 문제에서도 단어로 낚시거는 경우 많아서 좀 애매하긴...
-
1)밤에 5시간만 자고 공부해야지!! 함 2)눈비비고 일어나서 국어품 ->그정도자고...
-
금란물하면 집중력이 향상되고 여러가지 이점이 있어서 수능 얼마 안 남은 시기에...
-
고민
-
지금부터는 집중안될겁니다 ㅎㅎ 그리고 눈뜨면 수능이에요 컨디션관리 잘해봅시다. 막...
-
사케베~
-
이매진 핫백 문학 난이도는 어느정도인 편인가요? 수능정도?
-
9평이랑 비교했을때 난이도 어떤거같은지요 9평보다 점수 많이 올라서 기분이 좋은데 흐흐
-
난 살아있는 지성의 화신인것을..
-
반대로 못봐도 스트레스 안받을거임
-
언매 태도교정 필요
-
수면 1
제가 2시부터 7시까지 5시간정도 자는데도 졸려서 중간중간 쉬는 시간에 20분씩 한...
-
뇌안에 논리가 없어서그럼 논리를 만드는 논리도 없어서 그럼 논리를 만드는 논리를...
-
살모벅벅해도 안되고 시험장만 가면 계산꼬이고 발상 잘 안됨... 항상 10점씩은...
-
이상치다 하고 유기할까
-
일어나니까 20분 지나있네
-
왜 나는 출근을 하는가
-
6평 지칭어호칭어 1틀 9평 2틀 실모 평균 2틀 음...... 기본적인 개념은 다...
-
주위에 어떰
-
강의 10분 전 4
프세카 on
-
문제를 다 맞췄어도 뭔가 지문자체가 겉핥기식으로 이해한 느낌들면 되게 찝찝하지...
-
화학 중화 공부 안 해서 젤 안 나온 번호로 찍었는데 이게 맞누 생명은 공부 안 한...
-
그런 사설 회차 아시는거 있을까요? 작수에 ㅈㄴ 충격먹었어서
-
결국 최후의 승자가될 가설은 정해져있고 그 가설이 검증받으면 이론이 되어 모든...
-
오지훈은 지문 안읽고 풀겠네ㅋㅋ
-
올해 9평보다 쉬웠어요?? 풀세트로 풀어본 적이 없어서 감이 안 오네
-
시험 난이도에 상관없이 원점수 80점 전후에서 고정이었는데 고2 때 이후로 90점대...
-
학과 상관없이 학교 최대한 올리면 인문 계열로 지원할 때 ㅇㄷ까지 가능할까요ㅠㅠ...
-
6모 97--10모 89 (백분위) 항상 평가원이든 교육청이든 1컷 주변에서...
공리가 참이라는 증명은 없다 << 맞음
하지만 공리를 부정한다면 안된다는 증명이 존재하는 경우가 있음
Ex) 배중률은 부정하면 모순나옴 (증명설명 귀찮음)
근데 동일률 부정하면 무슨일생기는지 모르겠다
아무튼 공리가 참이라는 증명이 없다에서
공리가 거짓이라고 해도 상관없다 사이에 갭이 있어서 님 말이 합당한건아님
첫 1~4줄 이 틀린거임?
2->3이 틀림 ㅇㅇ
"귀류법 증명이 없으면 공리부정시 무모순" 대우명제는 "공리부정시 모순이면 귀류법 증명이 있다"
1) 명제안에 모순 무모순 그대로 쓰면 안되고 정확한 지정이 좀 필요함
2) 좀 잘 해석해줘도 결론에 “무모순“이라는 항진명제 들어가있어서 참인거라 의미가 없음
하.. 난 솔직히 나말고 다른사람이 다틀렸다고 생각함
ㅇㅇ그니깐 대우가 그거인건 맞아
근데 “무모순“이 결론인게 의미가 없음
“무모순“은 “모순“인 상황에서도 (1차논리 하에서는) 폭발원리때문에 도출됨
모순 무모순성은 명제논리 술어논리안에서 그대로 다루면 정말 위험한 결론들이 잘 나와서 잘 번역해야함 그냥 그래서그래
여기서 깊게들어가면 수학 기초론 전공자 수준까지 가야됨
폭발원리 이딴거 왜믿음?
폭발원리는 "내 논리학 안에서 하나라도 모순이지만 참인 명제가 있으면 내 논리학은 터진다"는 원리임
결국 단 하나의 참인 모순인 명제도 허용하지 않는 결과를 낳기에 오히려 더 믿을만한 논리학을 만들어줌
애초에 폭발원리 전제 자체가 P와 not P가 동시에 참임을 가정하는건데
이 가정자체가 잘못된거아님?
ㅇㅇ 그 잘못된 가정을 하면 망한다는얘기,임
난 폭발원리식으로 모순을 인정하면 모든명제가 참이된다가 아니라. "(p and not p)"가 참이면 모든명제가 참이다 라고 받아들이고싶은데
완전성정리 검색 ㄱ
1차논리는 그 공리들을 가정하면(논리학의 3대공리 + 몇개 더) 무모순이다는게 증명되어있음
증명은 어려워서 나도 지금 공부중임.
근데 1차논리만으로는 자연수를 못다뤄서 자연수를 추가하면
괴델의 불완전성때문에 "수리체계에 무모순이면서 증명불가능한 명제가 존재한다" 또는 "수리체계는 모순이다" 둘 중 하나가 성립함.
그래서 자연수까지 다루고 싶으면 폭발원리에 의존을 해야하고
순수 논리만 다룬다 치면 "공리 하에서 모순이 없다"가 증명이 되는거고
(무모순 and 증명불가능)가 참이면 부정인 (모순 or 증명가능)이 거짓이겠네 그럼 모순도 거짓이고 증명가능도 거짓아님?
불완전성정리 보니까 무모순인 동시에 완전할수 없다 따라서 (무모순 and 완전)=거짓
부정은 (모순 or 불완전)=참, 모순은 거짓이니까 불완전이 참이네
무모순 + 불완전 대신 완전 + 모순이 참일수도있음 (공리계 정의가 틀렸다)
하지만 그걸 공리계 안에서 보일수 없다는거
그래서 그냥 보통 무모순 + 불완전이 참이라고 믿음