모든 명제가 참이면 무모순임을 증명(제발관심점)
게시글 주소: 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를 선물하세요.
-
몇달만에 꾸며입어야지 청바지에 니트만 입는건대 이정도도 꾸며입는거아님??
-
술 안하는 이유 : 맛없는거 싫어함, 몸이 안받아줌 담 안하는 이유 : 뜨거운거 싫어함
-
수능 잘 보고 가면 진짜 좋을 것 같다..
-
플러팅녀 얼공한거 11
도용 맞다 ㅇㅇ 20년에 누가 오르비 클래스에 인증한거 그대로 퍼날했네 ㅋㅋ 아재요...
-
저 생윤사문하는 여르빈데 요즘 너무 외로와요 하와와
-
ㄷㄷ
-
대놓고 기만할꺼임 19
칭찬해주세요... 요즘 자존감 떨어져서 칭찬듣고 싶어요...
-
존나 서럽다 시발
-
굳이 철학관 안가도 집에서 유튜브 보면서 사주궁합 무료 해석할수있어요. 지금부터...
-
나지롱 ㅋㅋ 모르겠고 삼성 코시 가서 존나 행복함 ㅋㅋㅋㅋㅋ
-
진짜 있는듯 ㅈㄴ 웃기네 ㅋㅋㅋ
-
내일 할거 1
이영수 모의고사+해설 비기너스 수1 수열의합 스텝1,2 " 수2 극한의연속 스텝...
-
정답은?
-
얼굴인증 막차 7
ㄱㄱㄱ
-
재워조 (큼직)
-
대스날 라인업 12
스털링 개오반데; 후
-
얼굴인증 7
어떰?
-
제목 그대롭니다 사세하게 이해잘되게 설먕해주실분 ㅜ
-
정답은?
-
집중은 안 되는데 시간이 훅훅 지나가버림;;(많이 졸기도 했지만)
-
참가 대기라고 뜨면 실패인건가요.. ㅜ 심찬우 콘서트
-
쓰담쓰담 해주고싶어
-
오르비 모아보기 글을 보면 알 수 있죠
-
심찬우 콘서트 1
심찬우콘서트 인증받고 라이브만으로도 볼수있게 해주라 ㅠ 12시까지 대기타고...
-
뒷자리 친구가 누구냐고 알려달라했음
-
오르비를 끄고 잘때가 되었군요 허허
-
찬우야이! 콘서트장으로 가자
-
아마 선착순으로 거를듯요... 종강편지도 못받고 마음이 싱숭생숭하네...
-
넣고왔다 제발돼라
-
자기전 프변 0
완료
-
분명 다 들었는데 메인 화면에 왜 수강률 20% 30% 이렇게 찍히는거임?...
-
아항 2
앙
-
그니깐 피 안나온다고 뭐라뭐라 씨부리는 한남들은 죄다 죽어
-
좀 어려운거 필요해서
-
자러갑니당 1
내일봬요
-
테스 상체 폼 개박살난거 딱 인지하고 케리아 파이크박고 깐족대면서 애들 멘탈 다...
-
유씨삼대록 2
다른건 다 분석노트 읽었는데 이새낀 어캄?ㅋㅋ 그냥 실모에 가끔나오는걸로 때울까
-
심찬우 콘서트 11
아이민 몰라서 멘탈터지면서 벙찐사람들 많았을듯ㅋㅋㅋㅋㅋ
-
시립대: 과탐 가산점 7% 경희대: 과탐 과목당 가산점 4점 건국대: 과탐 가산점...
-
인생 첫 콘서트 예매인디 성공해따! >.< 심차은우 실물 보는거 두근댐.... 이제...
-
하 다시 들어가니까 대기ㅜ300명 있네 하… IMIN인가 그것도 다 치고 신청하기 눌렀는데 하….
-
소식 아시는 분 있나요
-
문해전s2 or 드릴4 생각중인데 머가 괜찮을까용? 한동안 미적 놓았더니 공통은 잘...
-
입문N제 0
투표좀여
-
정시컷 보면은 기계랑 수학이랑 비슷하던데 서성한까지 비슷한 라인인가여..?
-
저것도 낭만이라면 낭만이랄까요 수능은 내년에도 있지만 사랑은 찰나이니… 근데 일단...
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요
1. 공리는 참이라는 증명이 없다
< 연역될 수 없는 명제입니다.
그냥 나무위키에 공리는 증명없이 참이라고 받아들인다고 적혀있던데요
아하 그말이였구나
철수가 죽었다=/= 철수가 죽었다 그럼 철수는 죽었을 수도 살았을 수도 있는 양자역학적인 상태인 것이네요....엄청난 인사이트입니다.