모든 명제가 참이면 무모순임을 증명(제발관심점)
게시글 주소: https://iu.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를 선물하세요.
-
댓글로 질문에 대한 답변을 달아주면서 느낀 건데 그냥 진짜 잘 됐으면 좋겠어요 늘...
-
남녀노소 안 가리고 연애상담 해주다보니까 연애심리 마스터 해 버림....문제는...
-
배고픈데
-
오르비 지우고 생활해야겠다... 공부가 집중이 안되는 듯 화욜 저녁에 봐용
-
님들은 의식적으로 쓰심? 전 매우 ㅇㅇ
-
이게 맞나
-
졸려죽겠다 1
밤낮 바꿔야하는데 곧 잠올듯
-
수학 실모 3페이지 한시간동안 쳐보고있는새끼는 처음이네
-
후
-
대화 오래 했네
-
하..
-
이게 맞나?
-
상계 지문 이거 왜 다 경제라 함? 9모 사회는 공정거래법 제외하고 RPM만 떼놓고...
-
ㅅㅂ
-
가사를 음미하면서 들어보시길 추천드립니다! 저는 " 완벽하지 않아 기쁜 걸 "...
-
개구리가 뭐죠 2
??
-
큐브 질문받은 문젠데 3번 선지 (나)에 자발적 문화 접변이 어디 나타나나요 ?...
-
그래도 ~~ 좀 뿌듯한걸?
-
완장이애미뒤진페도짤올리는거부터걍좆같아서런침 걍심연이노
-
이번년도처럼 메타인지가 잘돌아갔던 때가 없었던거 같다
-
생태계+유전 50일만에 마스터 가능할까요………. 기말이 12월 17일인데 방학때...
-
c8.. 8라운드동안 3퇴장 도대체 넌 뭐니 명장 맞지? 그와중에 메리노 슈팅;;
-
나! 다들 좋은밤 되세용!
-
다른과목에 비해 국어는 진짜 더럽게 안올라요ㅜㅜ 공부했는데도...
-
이상형 6
-
요즘 저런거 다 ai인가요
-
비문학 독해시간이 극적으로 짧아지는듯 짧은지문 수십개 와바바박 던져주고 타임어택 하는거라 그런가
-
와 시발 좆댔다 0
살리바 퇴장…
-
개 이쁘네
-
P의 탄성 퍼텐셜 에너지의 최댓값이 A의 운동에너지의 최댓값이라고 하던데 탄성퍼텐셜...
-
1컷 72 드가자
-
다들 잘 지내려나..
-
만표도 뚫었으면
-
내 추측이긴 한디 약간 우진이형은 ???: 아니 ㅅㅂ 이거 맞는데 왜 안 나와 문제...
-
잘자용!
-
대화했음
-
운영 빡세게 해서 변별할거 같음
-
공황장애인데 0
외국 못나가는중 공황장애라
-
아주의에 갈 것.
-
이제 진짜 잔다 3
8시엔 일어나야돼
-
내 유일한 목표다
-
뭔가 되게 본질적으로 물어보는 느낌이라서 좋은 문제인 것 같아요
-
잘 때 핸드폰은 거실에 놓고 잠 일어나자마자 폰 보면서 뒹굴거리지 않고 바로 행돌할수 있게
-
2시에 자야징 2
-
지금 안자는 남르비들 쪽지줘~
-
바득바득 정신차리고 풀어도 화이트 두개 블랙 세개 틀려있고…. 아님 요즘 데브도...
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요
1. 공리는 참이라는 증명이 없다
< 연역될 수 없는 명제입니다.
그냥 나무위키에 공리는 증명없이 참이라고 받아들인다고 적혀있던데요
아하 그말이였구나
철수가 죽었다=/= 철수가 죽었다 그럼 철수는 죽었을 수도 살았을 수도 있는 양자역학적인 상태인 것이네요....엄청난 인사이트입니다.