[모든 참인 명제는 부정해도 무모순임 증명]
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
똥 마렵다 1
똥
-
앙대 합격생을 위한 노크선배 꿀팁 [중앙대25][최애맛집 공유 2탄] 0
대학커뮤니티 노크에서 선발한 중앙대 선배가 오르비에 있는 예비 중앙대학생, 중앙대...
-
남자도 군대 갈수있는데? 이러면 공평한거아닌가요?
-
흠 3
진짜 어렸을때 잘한다 소리 들으면서 살아오다가 어렸을때 같이 공부하고 놀고 어울리던...
-
바람피기 딱 좋은 기능같은데 없애주면 안되냐 ㅅ발
-
이 엄마 아들이면 개빡친다 고2부터 막 나갔음 고 1때 06년생이라 3모가 ㅈㄴ...
-
프사 정상화좀 3
-
문장 구사를 5살 때 겨우하고 구구단을 초5인가 초6때 겨우 외움
-
진짜로요
-
134~136 언저리였다고 엄마가 회상하심 일단 웩슬러 멘사컷이 130이래서 멘사...
-
언매 올인원 1
가볍고 한달만에 개념 다돌리기 좋네여 ㅎㅎ 언매는 뭔가 꼼꼼해야 해서 진짜 힘들 줄...
-
호일 넣고 전자레인지 돌리는 빡대가리라 울었어
-
궁금한데 가격은 얼마정도하나요
-
부럽다….
-
06 재수생님입니다. 생윤 성적은 보통 1-2 왔다갔다(2가 더 많음, 수능 2)...
-
다들 고능아네 ㄷㄷ 18
나는 연대밖에 못나온 도태한남오르비언인데 다들 대단하노 ㄷㄷ
-
싸게 싸게 가격 한 30만덕으로 판매해주세요
-
3모 백 점 한 번은 띄운적 있음 완전 첫 시험이니까 자존감 채워준듯
-
https://m.mk.co.kr/amp/2061188 3일 전에 운동장에서 조발했다네요!
-
나형 범위에 기하 없지 않음??
-
강남대성 본관인데 국어 백환 류재민 김한솔 김젬마 수학 강호길 송준석 손승연 김범준...
-
메타 틈 타서 14
맞팔구
-
19수능 국어 1컷 22수능 국어 2등급인데?
-
IQ ㄱㅁ 6
초4때 미국 초등학교에서 IQ테스트했는데 142떠서 엘리트반으로 감
-
내 주변 친구들 7
애매하게 친한 친구들은 다 ㅈㄴ 잘나가는데 찐친들은 다 ㅈ박음
-
13111 어디가나요 16
저진짜수학못해먹겠 슨!!!!!!!!!! 하… 2등급이라도 받고싶다 정말...
-
당연한소리지만 진짜 쩌는거같은데.. 테스트나 스펙 빡센가요? 다 메디컬이신가..
-
그거 아시나요? 6
옃집천사 2기가 나온데요
-
두번말안한다
-
ebs같은건 대비 어케해줌? 걍 인강보게 시킴?
-
니들도 오르비 끄고 공부해라
-
사실 고능아가 아니라 고등어입니다 군돌이 4개월남았습니다 근데그거말고가진게없습니다
-
국어 인강이 볼륨도 크고 시간 잡아먹을것 같아서 독학 고민중인데
-
약수라인에서요
-
샤브샤브 먹구 0
컬리프라이 머거야쥥
-
3모전까지만 5시간 어떤가요??
-
으응...
-
순서는 3모 5모 6모 7모 9모 10모 수능 물1 38 45 45 50 50 47...
-
슬퍼요
-
겁나 크다고 느껴짐... 뭔가 확실히 일본인하고 체격이 달라
-
152
-
기만메타머임 8
ㅌㅌ
-
96 98 100 89 89점 때 표점이 제일 높았던... 140이었음 ㅋㅋㅋㅋㅋㅋ...
-
고3때 친구 2
담임이 열심히 하면 서연고까지 ㄱㄴ하겠다 했는데 6 9 영어빼고...
-
생윤 코드원 0
이거 써본 사람있음? 내용은 좋은데 가독성이 구리다는 평이 많아서 궁금
-
전교에 수학 100점이 3명밖에 없었는데 그 중 한명이 저였음
-
재수 수능에서 더 떨어짐
-
25의대생이 가장 두려워하는건 의평원 불인증이 아니라 26의대증원 유지겠지요 1
사실응 26의대 모집정지를 누구보다 반기실 분들이 25의대생들임
-
저는 슈팅스타였는데 바함사를 자주 먹다 보니 바함사가 됐어요
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ