모든 명제가 참이면 무모순임을 증명(제발관심점)
게시글 주소: https://orbi.kr/00069266946
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정하면 무모순
논리학 3대공리
1. 동일률(A=A)
2. 무모순율(not(p and not p))
3. 배중률(not p or p)
동일률 부정
[(A=A)를 부정]<->[(A=/=A)가 참]
[(A=/=A)가 참]->무모순
무모순율 부정
[(not(p and not p))를 부정]<->[(p and not p)가 참]
[(p and not p)가 참]->무모순
[(p and not p)가 참]<->[모든명제가 참]
[모든명제가 참]->무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
현역이 고민 0
안녕하세요 3모 털리고 온 현역입니다 국어에서 특히 많이 털렸는데 비문학 지문을...
-
약간 난해한 거는 작수 생각나기도 하고… (가) 시는 2209 생각나기도 하네요
-
교육청 낼 0
독재 학원에서 자율로 치게 해준다는데 푸는게 좋겠죠?
-
모고때마다 했던거같은데
-
우리존만한화1좀살려주세요 https://orbi.kr/00072598111
-
주기가 2an 총 구간 길이 3 근이 2n개 한주기에 근 1개 --> 2an 이...
-
자연이랑 이제곧 ai한테도 따잇당할 휴먼인데 한번사는거 우주로 나가봐야겟어
-
풀만한가여
-
개씹가성비
-
으흐흐
-
좀 너무하다는 생각까지 들었지만 나머지가 쉬워서 오버슈팅에 시간좀쓰고 다풀긴했는데...
-
3모 결과 2
-
고3꺼푸니깐 기가 다 빨린다
-
. 4
-
담임쌤 마주하기가 부끄럽다 부모님한테도 죄송하고… 중간고사 끝나고 5월에 개열심히...
-
햄감자네 ㅋㅋ
-
그거떠오르고 바로풀엇는데 기출인지 연구소문제인지 흠
-
몇등급인가요 ㅋㅋㅋㅋ 아 쇤베르크에서 다 날린게 회복이 안되네...........
-
못 보고도 글 쓰는 이상한 사람은 나밖에 없나봄
-
4시 40분에 끝나고 5시 바로 앞에 학원 학원 갔는디 카드 잃어버려서 학원쌤이...
-
결국은 독해력 문제인데 ㅠㅡㅠ
-
3모 수학... 4
찍맞 없고14 20 21 22 29 30 틀 76인데 미적분 못다한 개념이랑 쎈...
-
우울해 3
우울우울
-
한지 골때리네 3
정답이 2번인데 ㄴ이 4개라 ㄴ만 제끼면 답이 나옴
-
고2 과외 중이여서 고2 기출은 돌렸거든요... 근데 올해껀 진짜 레전드 말도...
-
3모 어땟나용? 0
퀄은 또 어떤 거 같나욥?
-
공통 미적 수능으로 부등식만들어주세요
-
What's up, guys? This is Ryan from Centum...
-
이번 3모 언매 38번의 '유리하다' 보니까 22수능이 생각나는군요 1
3모 22수능 또 문제 풀이에 크게 중요하진 않았지만, '끓는'의 음운변동은...
-
ㅈㄱㄴ
-
과외 수업 준비 겸 풀어봤는데 저는 학생 때 다른사람의 생각이 궁금해서 많이 찾아...
-
3모 해설강의 0
보통 어디서 언제 올라오나요?
-
영어 공부 평소에 하나도 안합니다 점수는 70후반에서 80초 왔가갔다 합니다 이번...
-
영어공부해야겠다
-
품번 추천 좀 1
오네가이시마스
-
작년엔 7시 즈음엔 웬만한데서 다 올라왔던 거 같은데
-
치고왔는데 매기니까 진짜 국어78수학71 이지랄 하....... 고3 모고도...
-
(확통 처음이라 양해좀해주세요) 세 학생 a,b,c를 포함한 7명의 학생이 원...
-
1주일하고 이정돈데 이래도 사문안하냐
-
먼가 판단미스가 좀 나서 계산이 길엇음, 확통 셤지 가져와서 계산햇음.먼가 실수가...
-
파란색은 직접 적은거 보라색은 머릿속 생각 빨간색은 동시에 봐야하는 자료가 멀리...
-
지금까지 국어 21111111인데 ㅅㅂ 81점 2등급 각이잔아..
-
현역 3모 2
언매83 미적76 영어73 지구47 2231이려나?
-
안녕하세요 '지구과학 최단기간 고정 1등급만들기' 저자 발로탱이입니다. 지난 1년간...
-
작수가 쉬웠던건지 이번게 어려웠던건지…..
-
ㄱㄱ 확통제외
-
오늘 개념 다 끝내고 자야겠다
-
에피는따야지
-
ㅈㄱㄴ
-
학!력!미!달!
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요
1. 공리는 참이라는 증명이 없다
< 연역될 수 없는 명제입니다.
그냥 나무위키에 공리는 증명없이 참이라고 받아들인다고 적혀있던데요
아하 그말이였구나
철수가 죽었다=/= 철수가 죽었다 그럼 철수는 죽었을 수도 살았을 수도 있는 양자역학적인 상태인 것이네요....엄청난 인사이트입니다.