[모든 참인 명제는 부정해도 무모순임 증명]
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
야동얘기 똥얘기 딸얘기밖에없네 딸바보임거의 누가보면 이상한사람인줄알겟네;; 빨리...
-
ㄱㅁ 하나 함 8
공짜로뽑음
-
잠깐 ㄱㅁ좀 할게요 14
쾌변함
-
땅우 닮으심 ㅋㅋㅋㅋㅋㅋ 근데 ㄹㅇ 고능하시던데 cpu가 다르신듯
-
내 주변에선 한명도 못봐서 궁금
-
화생으로대학가기 9
그분은뭐하고살까 궁금 옛날에 개많이보였는데 언젠가탈릅하고안보임
-
야레야레 3
못 말리는 아가씨
-
아니 왜케핫해 7
관심 자제좀
-
레전드기만하나함 7
본인 오늘 이로치 이상해씨 잡음 ㅁㅌㅊ?
-
즐거운 극한계산
-
https://orbi.kr/00071635152/%E3%85%87%E3%85%88
-
제곧내
-
성격이라도 평균이래
-
예전에 어떤분이 리퀘 받고 그리셨던 것처럼 한번 해보고싶은데 어떻게 하는거지
-
냉장고 열어봣더니 10
집에 있는거라곤 가지 마 배배
-
기만 하나 더 5
오르비 11월 중반? 이후부터 제대로 햇는데 지금 27렙임
-
글 쓸 때 있음 하지만 의도를 속이고 쓴 적은 없음 헿
-
여르비 ㅇㅈ 4
사실 저 여르비임..
-
근데진자먼일임 0
-
https://5du.pl/xngmk
-
맞팔구 2
저렙 탈출 기원함뇨
-
야이 지지배 4
가지마 베베
-
ㄱㅋ
-
사실 전에도 많이 보였는데 그땐 그냥 ㄱㅁ치고 넘어갔어
-
기만 좀 함 2
암산테스트 한무트라이해서 74 찍음 숫자도 딱 74임
-
옯찐따라서 댓글달수가없음ㅋㅋ 이미지 첫인상 이런메타 1년전에도 돌았던거같은데
-
?
-
공군7월입대 생각 중이라 군수 성공전제하에 전역하면 4월이여서 1학기는 못 할 것...
-
전 한 명만 받아서 그냥 레전드 천재만들기<—로망인데 3개이상씩도 하시나요
-
존경스러움 ㅇㅇ 비꼬는게 아니라 진짜 멋있음 나랑 비슷한 나이에서 그런 패기와 깡과...
-
친구들과 성인용품점에 감 아쉽게도 빈 손으로 나옴
-
아직 참아야하는데 연막 하나하나 치기 성가셔요 약간. 쓸수있는 글내용에 제한이...
-
모르면 패스함
-
너무 이쁘다
-
좋아 아주좋아 2
그럼 이중에 여기있는 오르비언 중에 나랑 맞팔할 사람 누가...
-
전 군대가는 친구들 부럽.. 핑계라면 핑계일 수 있는데 원래는 공부 열심히 했고...
-
별로 부럽지도 않고 그런 의도가 티 안날거라 생각했는지 참 궁금하다
-
연애하면 장점 5
집에 가지마 베베
-
그림 라이트 유저면 챗gpt가 나으려나 자연어 바꿔주는건 마음에 드는데 노블ai...
-
이미지 써주세요 17
거마워요!!@
-
션티 영어 현강 0
영어만 등급대가 너무 낮은데 4등급 나오는데 찍맞 제외하면 5등급까지 갈수도 담당...
-
슬슬 도는 새르비에 행복해하는 감자까앙 (구 솝몬)
-
숙제가 적어서 병행하기조앗슴
-
담배 마약 도박 ㅇㄷ시청 난 너무 클린하게 산듯
-
써주세염
-
오늘 첫 오르비 시작했는데 이미지 궁금해요! ㅎㅎ
-
개학하고나서 주나요?
-
학잠보단 과잠이지 14
학잠은 뭔가뭔가임뇨
-
이상한거에재미들림 수학을개좋아해서 그냥수학관련질문이면 아주재밌음.
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ