[모든 참인 명제는 부정해도 무모순임 증명]
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
https://5du.pl/xngmk
-
맞팔구 2
저렙 탈출 기원함뇨
-
야이 지지배 4
가지마 베베
-
ㄱㅋ
-
사실 전에도 많이 보였는데 그땐 그냥 ㄱㅁ치고 넘어갔어
-
기만 좀 함 2
암산테스트 한무트라이해서 74 찍음 숫자도 딱 74임
-
옯찐따라서 댓글달수가없음ㅋㅋ 이미지 첫인상 이런메타 1년전에도 돌았던거같은데
-
?
-
공군7월입대 생각 중이라 군수 성공전제하에 전역하면 4월이여서 1학기는 못 할 것...
-
전 한 명만 받아서 그냥 레전드 천재만들기<—로망인데 3개이상씩도 하시나요
-
존경스러움 ㅇㅇ 비꼬는게 아니라 진짜 멋있음 나랑 비슷한 나이에서 그런 패기와 깡과...
-
친구들과 성인용품점에 감 아쉽게도 빈 손으로 나옴
-
아직 참아야하는데 연막 하나하나 치기 성가셔요 약간. 쓸수있는 글내용에 제한이...
-
모르면 패스함
-
너무 이쁘다
-
좋아 아주좋아 2
그럼 이중에 여기있는 오르비언 중에 나랑 맞팔할 사람 누가...
-
전 군대가는 친구들 부럽.. 핑계라면 핑계일 수 있는데 원래는 공부 열심히 했고...
-
별로 부럽지도 않고 그런 의도가 티 안날거라 생각했는지 참 궁금하다
-
연애하면 장점 5
집에 가지마 베베
-
그림 라이트 유저면 챗gpt가 나으려나 자연어 바꿔주는건 마음에 드는데 노블ai...
-
이미지 써주세요 16
거마워요!!@
-
션티 영어 현강 0
영어만 등급대가 너무 낮은데 4등급 나오는데 찍맞 제외하면 5등급까지 갈수도 담당...
-
슬슬 도는 새르비에 행복해하는 감자까앙 (구 솝몬)
-
숙제가 적어서 병행하기조앗슴
-
담배 마약 도박 ㅇㄷ시청 난 너무 클린하게 산듯
-
써주세염
-
오늘 첫 오르비 시작했는데 이미지 궁금해요! ㅎㅎ
-
개학하고나서 주나요?
-
학잠보단 과잠이지 14
학잠은 뭔가뭔가임뇨
-
이상한거에재미들림 수학을개좋아해서 그냥수학관련질문이면 아주재밌음.
-
도망친곳에 낙원은 없다 <-이거 진지하게 맞는말인듯.. 본인 윤성훈 적중예감 아무리...
-
6모 이후에 학사가는거 에바임?
-
929.05점이면 붙을만한가요? 통합선발 인문이요
-
정시가 맞다 6
수시로 높게 못 가겟다
-
다들 첫야동언제임 10
난초5
-
잘게 4
다들내일보자 굿밤
-
사실 당연함 사람을 물면 안됨
-
앗 아 아아 앗
-
피방에서 봤는데 프리드로우에 나오는 동까 앎? 그거랑 개똑같이 생긴 사람이 드립...
-
나는 떠난다 21
잘 있거라
-
수영탐탐 다 다니고 싶은데 쳐내기 가능함 ????
-
저도 한때는 경영학과 출신인 멋있는 CEO 또는 CFO가 되고 싶단 생각을 해본...
-
아무거나
-
햄스터가 되어서 3
귀엽게 2년 바짝 살고 가고 싶다
-
레어장 언제 열려
-
나도 ㅇㅈ 2
하지마 베베
-
이거 진짜임? 4
이런 인사이트를 가졌다고
-
정신차려정신차려정신차려
-
ㅇㅈ 8
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ