[모든 참인 명제는 부정해도 무모순임 증명]
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
뱃지만 받고 탈릅을..
-
이래봬도 남자임 0
키도 작은..
-
꼴보기싫음 정작 들어가보면 어그로성글 시간낭비만 ㅈㄴ시키고 보나마나 현생에서 산소낭비도 ㅈㄴ할듯
-
고3때 많이 올려봤자 한계가 너무 분명해보임..ㅠ 그리고 수시랑 정시 같이 챙기는...
-
소신발언 4
여기 순수 기만하려고 오는 애들 꽤 있는데 진짜 개병신같음 그리고 그런 불순한...
-
ㅈㄴㅂㅇㅇ닉하고 돌아다니긴할듯
-
말을 해줘 숨기 지마 넌혼 자가 아니야
-
기출변형임
-
수험생활할땐 참 재미없던 공부가 대학만 들어가고 할거없어지면 재밌어지는데 저만 그런가요
-
모두가 음 그랬군 하긴 했음 1학기에 매일같이 퍼마시다 2학기에 갑자기 사라져 버려서
-
우린 다 깠었는데 오래사귄것도 아님 ㅋㅋㅋㅋㅋ 난 이해불가…
-
본인 초5아래로 기억 아예없음 초등학교때 기억이니 많이 휘발됐을수 있고 기억나는대로...
-
가짜: 헥헥여르비쪽지보냇습니다 진짜: 댓글이든게시글이든 보이지않다가 슬쩍쪽찌를건네는...
-
다들 굿밤
-
내가 인프피라 그런거 아님
-
그냥 이러면서 헤으응 거리고 있었어요...
-
너무 지저분해 .,,,,, 신경쓰여
-
존잘존예밖에없네 2
그냥잘걸 가만히 있다가 더 슬퍼졌어
-
나는 별볼일없는 22살 노총각에 현재 수중에 푼돈밖에업는 돈없는남자인데 나랑...
-
미안 제목은 어그로고 물리는 역학만 두번하고 지구는 한번 대충 돌렸는데 그냥 사탐런...
-
참 저능부엉이임? 옹고집전이 따로 없네
-
집에가지말라하면 뭐하냐 12
집인데 이미
-
돈자랑좀함 14
99억정도 있음 전청조급임
-
좀 사라 임마
-
대학은 갔는데 할거없어서 ebs수특 수학 풀고있는사람 손
-
10학점이면 공부하는데 무리려나
-
ㄱㅁ 3
회사에서 선물로 받앗어
-
나 억울해 13
-
나보다 대학생활 재밌게 한사람은 없을거같은데 질문ㄱㄱ 15
암거나 ㄱㄱ 과학생회장 빼고 다해본듯.. 과학생회장도 반수성공아니었음 하는거였음 뭐...
-
반영되서 나와 어짜피 듄 안봐도 돼 특히 수학
-
ㄱㅁ함 2
나의 오래된 스윾치를 5년만에 찾아서 요즘 mk8dx 재밌게 하고 있음
-
돈관련 ㄱㅁ 2
난 ㅈㄴ맛있는 펩시제로 라임을 1플1으로 살수있늣 2329원의 잔고가있음
-
목소리가 진짜 변성기안온 초등학생목소리임 남성호르몬이 부족한것도아니고 골격 꽉꽉...
-
. 아무리 생각해도 잘난 부분이 하나도 없다 ㅜ
-
그냥 감? 아님 참음? 아님 로비?
-
이게 유행인거야 베베
-
생정생정생정
-
ㄱㅁ하나더함 6
동네한바퀴 돌다가 사람 있길래 호다닥 꼽껴서 다이맥스 썬더 잡음
-
축제때 한 거 재탕이긴 한데 밑글 여르비 보고 나도 해봄
-
돈자랑 ㄱㅁ질은 좀 그래 박탈감 느껴짐
-
ㄱㅁ하나함 4
최애의아이아직1화도안봄 근데결말은암 ㅁㅌㅊ?
-
제발 급함
-
??
-
으흐흐흐흐흐흐흐흐흐흐흐흐흫흐흐흐흐흐흐흐흐흐흐흐흐흐흐흐ㅡㅎ흐ㅡ흐흐흐흐흐흐흐흐흐ㅡㅎ흐ㅡ흐...
-
유일하게 하는 가챠겜이 니케인데 신캐 픽업캐 항상 30뽑이내로 뽑음 롤체 전설이도...
-
기만메타뭐임 1
뭐있지
-
기만하나할게 2
나 강연금 아직안봄
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ