[공리를 부정하면 무모순]의 응용
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를 선물하세요.
-
Logica, Lux Mea!
-
푸는건가요
-
이 시기까지 배송 준비중이면 어쩌자는거야...
-
물리학의 "물" 수학의 "수" 둘다 물을 뜻함
-
시발점 > 쎈 > 고쟁이 > 뉴분감 평반고 내신 끝판왕 되는거 맞음?
-
진로는 신소재 개발쪽이에요 (신소재공학은 신소재 안 다룸)
-
난 한면 맞추는것도 힘들던데
-
재밌네요...공부시간만 된다면 내년에 물2 하고싶다
-
저같은 저능아도 좀 풀게해주세요,, ㅠㅠㅠ 10번인데 7모 22번이라뇨,,, 서러워서 못풀겠네,,,
-
공부시간 얼마나 잡아먹나요?
-
난 초호기임
-
정신과 환자를 조롱하는건 잘못됐다고 생각해요...
-
삐까뻔쩍한게 몇억은 들었을것 같은 비주얼인데 이용하는 사람이 아무도 없고 파리만...
-
엌ㅋㅋㅋ
-
다행이 100이긴 한데 이거 현장에서 풀었으면 ㄹㅇ 멘탈나가겠네ㅋㅋㅋ 특히 문학...
-
꿈돌이 진득하게 밀어주는거 너무 귀엽지 않나요ㅜㅠㅠ 대전 많이 좋아해주세요 엉엉....
-
정확한 맥락은 모르겠어서 내 마음대로 첨언. 자유주의 진영이라고 사기업에 전혀...
-
눈 더 나빠졌다고 할까봐 무서워서 못가겠음 근데 코팅 다 나가서
-
집중안하기 응안해 아몰라...
-
세뇌나 받아놓고 그 세뇌에 반하는걸 말하면 짐승처럼 공격하기나 하는주제에
-
한능검 3
나도 공군가려고 준비했었는데 요새 한능검글 많이 보이는데 공군용이죠?
-
코들고 거만해서 쓸데없이 씹선비라 정계나 언론계 컨택을 하려고 하질 않음 반면...
-
너는 왜 나대니 4
중국 fdi추이 찾아보시구요 자유주의국가들이 왜 사례가없겠니 그짓을 하면 ㅈ되는걸...
-
경제 이새끼 왜 사문 따라감?
-
평가원이나 교육청 문제를 풀때는 문학에선 틀릴지언정 독서 전체에서 보통 1개...
-
ㄷ선지가 맞는선지인데 이해가안가요 (나)의 B에 도달하는게 아니라 급팽창이전에 도달한거 아닌가요??
-
사문 실모 다 풀ㄹ고 어테하세여? 오답도 하나요..?
-
고려랑 순서 나열,개항기에서 벽 느껴진다 이제 개념 디테일을 챙겨야할듯…
-
최소한의 반례는 제시못하시면서 아무튼 통계드립치면 지가맞는줄아네 야 ㅇㅅㄲ야...
-
그럼 노예를 만들려는 시도가 무효화될까?
-
3 ,4 월에는 다같이 몰려다니다가 슬슬 5월부터 파벌 , 무리별로 다니는거...
-
글 쓸 때 애초에 분류하는 기능이 없어서 불가능하려나 아 근데 막 오르비 내...
-
방정리하기 2
-
어케 이 외모가 50대 ㄷㄷ
-
by chatgpt
-
미적 선택자중 8등 통통이 만점 4명 본인점수 미적96 ㅅㅂ 이게 맞냐고...
-
95점이다 다행 ㅎ.ㅎ
-
수입품에 대한 을국 가계의 소비지출이 gdp에 반영이 안된다면 if 생산측면의...
-
난 스카갈때 화장 1도 안함
-
9모 같이 너무 쉬운경우를 제외하고 보통 1컷 80초중반 나오는 시험지 기준임...
-
이감온파이널1차 5번에 텍스트의 의미를 능동적으로 구성하는 것이 필자와의 소통이니까...
-
뭔가 도표 안내문 이런 쉬운 문제에서도 단어로 낚시거는 경우 많아서 좀 애매하긴...
-
1)밤에 5시간만 자고 공부해야지!! 함 2)눈비비고 일어나서 국어품 ->그정도자고...
-
금란물하면 집중력이 향상되고 여러가지 이점이 있어서 수능 얼마 안 남은 시기에...
-
고민
-
지금부터는 집중안될겁니다 ㅎㅎ 그리고 눈뜨면 수능이에요 컨디션관리 잘해봅시다. 막...
-
사케베~
-
이매진 핫백 문학 난이도는 어느정도인 편인가요? 수능정도?
-
9평이랑 비교했을때 난이도 어떤거같은지요 9평보다 점수 많이 올라서 기분이 좋은데 흐흐
-
난 살아있는 지성의 화신인것을..
공리가 참이라는 증명은 없다 << 맞음
하지만 공리를 부정한다면 안된다는 증명이 존재하는 경우가 있음
Ex) 배중률은 부정하면 모순나옴 (증명설명 귀찮음)
근데 동일률 부정하면 무슨일생기는지 모르겠다
아무튼 공리가 참이라는 증명이 없다에서
공리가 거짓이라고 해도 상관없다 사이에 갭이 있어서 님 말이 합당한건아님
첫 1~4줄 이 틀린거임?
2->3이 틀림 ㅇㅇ
"귀류법 증명이 없으면 공리부정시 무모순" 대우명제는 "공리부정시 모순이면 귀류법 증명이 있다"