[모든 참인 명제는 부정해도 무모순임 증명]
게시글 주소: https://orbi.kr/00071403001
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
난 매운거라면 바로 노예가 되버림
-
나 잘생김 3
jar이 생김
-
엄마 미안해 3
나 오르비해 ㅠ
-
하남자 TMI 14
난 매워서 진매를 못먹는다
-
누난교수나는학생
-
사실 초 엘리트 ms 영재반들의 활약임
-
이거 그래서 채팅에다가 영혼담는 거 어케하는 거임? 0
막 우악이이익하면서 그럴수 있어 괜찮아! 이게 최대한의 영혼을 영끌한거다
-
라면먹어야겠다 진매로 간다
-
가렌.. 0
-
화해시킴
-
거의 코끼리임 맞아보실 분
-
빠르게 수능을 완주해내겟다는 뜻도 잇다만 남들 신경 안 쓰고 내 페이스 유지하면서...
-
뿌직 헤헤
-
음악 얘기 보고 ptsd 왓음순간 눈이 뒤집혓음
-
잠이부족해서 그런게 분명
-
팬티 달래주는 중임
-
엉덩이에 누워잇음
-
뉴비입니다. 5
3덮 치고나서 오르비 몇번 들어왔다가 어느순간 이렇게 새벽까지 보고 있네요. 처음엔...
-
내 손이랑 발이랑 코랑 분신 보면 키 190은 찍어야하는데
-
미쳤다 ㅇ이건
-
특히 손 발은 존나 큼
-
뻥임뇨
-
왜 나는 근데 몸무게가 이러지
-
뻥임
-
재수생 달린다
-
뻘글장인 찾아서 함 물어봐야겟음
-
정글링해야겟다 0
ㄱㄱ
-
뻥임
-
비가 언제와요? 5
벚꽃은 못보겠군
-
나 키 1cm임 3
뻥임
-
이거 외워야함 9
1001=7*11*13ㄹㅇ임,
-
북향이라 그런가 밤에는 아직도 겨울같다
-
나 고1때는 210cm는 찍엇는디
-
데이트하러가기로함 11
바지랑 데이트임
-
비무장지대에 있는 유일한 마을이라네요,,,
-
남자면 좋은 점 4
분신이 잇음
-
제 최애짤임 페이커 쪼낙만큼 좋아함 진짜 너무 귀여워 해보신분 있으면 후기좀 알려주셈
-
아 메인 저격이구나 13
근데 내 저격임
-
벚꽃 벌써 다 떨어지는거임? 봄 온 지 얼마나 됐다고
-
이해가 안 간다고
-
지금 나가면 위험하다.
-
맞다 수학에 All in
-
이 노래를 들으며 담배를 펴보아요
-
자라 인마 0
뭔 새르비여 어제 4시에 자고 독재에서 지옥을 맛보고옴
-
시발정상인가
-
몸에서 닭냄새남 이러다 날개도 생길 듯 우야노 우야노 우야농
-
매독 공부중 4
방금까지 쯔쯔가무시 했음 공부한들 뭐가 달라지나 싶기도
-
제발 내년은 7
수학이랑 딸이랑 겜만 할 수 잇는 나로 만들어다오 그러려면 올해를 잘 보내야겟지
-
끝 6
그만하께여
-
언제부터 재수 삼수를 쾌적하게 트라이하는걸 제도가 보장해주는게 당연했음? 하고...
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ