모든 명제가 참이면 무모순임을 증명(제발관심점)
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를 선물하세요.
-
질문받습니다 2
로스쿨 학생입니다. 시험이 끝나서 신나게 노는 중이고 집 가는 길에 질문 받습니다.
-
ㅇㅇ
-
그만 속자 1
먹이 주니까 계속 저러네 ㅇㅇ
-
중경외시 이상 목푠데 지금까지 (2학기중간) 평균등급 6정도 되고 10모는...
-
겠냐
-
오늘 생일이에요 13
으흐흐흐
-
딱 1시 되자마자 5초동안 까고 바로 지울거임 그뒤론 기회없음 ㅇㅋ?
-
이건 작년 수능 끝나고 정모할때 찍은 사진임 모임 이름은 에피오프였나
-
강대x 0
강대x 시즌 몇이 가장 좋았나요?
-
왜 알거갘지 3
ㅋㅋㅋ
-
해명하겠습니다. 8
-
아니 이사람이 처음엔 독서실 문? 같은걸 조금 세게 닫는다해서 아 알겟습니다 하고...
-
맞춘사람 또나옴 4
ㅋㅋㅋㅋ
-
진짜 어그로 컨설팅 하면 돈 잘 벌겠다
-
혼란스러운 오르비속 어그로 투척
-
allabout 품번 실시간으로 산화되는것을 목격..
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
정답 (10초삭) 11
사실 구라
-
3이였겠져… 9모 11이엿는데 사탐 잘 안하니까 떨어졌네…;
-
여기다가 지꺼 보낼만큼 성욕에 지배 당할 지능이면 군수고 뭐고 에바잖아 ㅋㅋㅋㅋㅋㅋ...
-
애니보다온건데 4
다시 보러가도되나
-
구라임.
-
고1이고 지금부터 겨울방학때까지 정시 수학 공부 어떻게 할까요? 여름방학때 n기출...
-
쫀밤
-
ㅋㅋㅋㅋㅋㅋㅋ
-
여기서 끝내자 다들 너무 흥분했다
-
ㅇㅇ
-
ㅋㅋ
-
해모 추천 0
이해원 모의고사 시즌 몇 가장 좋았나요?(미적)
-
콩나물생각나네
-
이러고 제끼면 2
진짜 희대의 빌런 등극
-
하와와...
-
ㅋㅋ
-
ㄹㅇ
-
위 선생님들줕 누구 추천하세요?? 겨울방학때 커리 탈려고 하는데..지금 고1이에용
-
페미니즘<<왜하는지 0.1프로만큼만 알거같으면 좋아요 1
한남이 미안해..
-
까지말까? 힌트 : 군수생임
-
알려주세요ㅠㅠ
-
질문받아요 1
22, 23 미적 100이고 AI합니다
-
옯평 하... 0
ㅋㅋ
-
통매음이 얼마나 ㅈㄴ 무서운데 어그로 끄는거 아니냐
-
메타파악 완료 0
ㅋㅋㅋㅋㅋㅋㅋ 웃을만했네
-
사실 그냥 틀린거임
-
대충 요약 4
갓개구리가 19세 여고생으로 구라치고 잠입해서 발정난 한남들한테 플러팅으로 10명...
-
할꺼면빨리 2
누구처럼 오개념있다하고이름공개안하는행동은 ㄴㄴ
-
국어 아예 노베입니다 유대종,김승리,정석민,김동욱 중에 들으려고 하는데 누가...
-
아이 신나
-
큐알은 있고 메일은 안왔는데 뭐죠 시스템이 거시기하네..
-
심찬우 콘서트 가시는 전주사람…?
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요
1. 공리는 참이라는 증명이 없다
< 연역될 수 없는 명제입니다.
그냥 나무위키에 공리는 증명없이 참이라고 받아들인다고 적혀있던데요
아하 그말이였구나
철수가 죽었다=/= 철수가 죽었다 그럼 철수는 죽었을 수도 살았을 수도 있는 양자역학적인 상태인 것이네요....엄청난 인사이트입니다.