[모든 참인 명제는 부정해도 무모순임 증명]
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
무물보 15
ㅈㄱㄴ
-
우리 옆 생활관에 30대가 있더라고요
-
무물보 12
안받습니다
-
대학커뮤니티 노크에서 선발한 경희대 선배가 오르비에 있는 예비 경희대학생, 경희대...
-
그런 생각이 들어요
-
그래도 그렇게까지 늙은건 아니에요 다들 화이팅!
-
그런걸로 하자
-
고대 신소재 3
경쟁률에 비해 점공률이 늘지를 않네요! 서울대 1단계 합격을 했으나 거의 뒷등수라...
-
본가 고속터미널쪽이고 강남역 독재다님 등원할때30분정도걸리고, 사람많은거 개극혐함...
-
오늘은 대치동 어딜가지 25
저녁 뭐먹지 히히
-
무물보 24
몇몇 질문들은 구라로 답해드려용 。◕‿◕。
-
도움과 사랑으로는 채울수없는 먼지로 가득찬 하얀색 세계 이번에는 너가 먼저 물러서서...
-
롤 요즘 너무 재미없어짐 fps 제외
-
많이 안 보이네… 나 심심한데
-
국어 언매말고 화작 선택하면 많이 불리할까요..? 25수능 언매 응시해서 노베는...
-
사러가긴너무 귀찮아
-
이투스랑 연관있는거 같던데... 메가 러셀같은데는 메가패스 할인이라도 해주는거로...
-
붙든 말든 돈 받았으니 끝난건가 ㅋㅋ
-
24수 통 50분컷 만점받고 올수 미적 망한 사람도 잇을꺼임 9
근데 솔직히 이분들은 좀 특이케이스같긴함녀
-
1등급 목표면 표점유불리 때문에 비추하고 4등급은 진지하게 확통보다 미적으로 맞기가...
-
뀨뀨 9
뀨우
-
연치나 경희치같은 상위권 치대에도 많나요
-
진로 관련 질문 받아봅니다
-
동일한 집합에서 동일한 개수의 원소를 순차적으로 뽑아내면->순서부여 동일한 개수x면...
-
3.2%가 선택했는데 그럼 선택만 해도 1등급 아님? 저점매수 ㄱ
-
훈련도감이 다른강사 무슨 포지션인가요?
-
24수능 확통 96점 받고 미적런 하신 분 25수능 미적 27-30 다 틀렸다고...
-
수능 패턴 맞출거야…
-
대학커뮤니티 노크에서 선발한 성균관대 선배가 오르비에 있는 예비 성균관대학생,...
-
눈 많이 높은건가요?? 진짜 단발 잘어울리는 여자가 이쁜거 같아서..
-
내가 작년 8월부터 수학 개념을 처음으로 들어가서 과외쌤이 미적기하는 개념도 다...
-
정시결과 나올때쯤이면 원룸 방 남는거 없을까요...? 학교뒤쪽에있는 원룸촌으로 가고싶은데
-
과탐이 사탐보다 쉬우니 어서빨리 과탐런을 해주시기 바랍니다 ㅇ.
-
세는나이기준으로
-
이거 눈 높은거임?
-
난 친수성 카패인 인간인가 소수성 카패인 인간인지 모르겠어..
-
내가 존잘, 존예가 아닌 이상 상대방 외모가 너무 뛰어나면 솔직히 불안감이...
-
어렵뇨이
-
이거 커뮤용 용어에요? 28
길티플레져 디시나 이상한 커뮤하는 애들이 쓰는 용어임? 오늘 처음 들었는데 의미는...
-
있냐요? 약폭이나 심한 폭있다면 알려주심 감사하겠습니다(문과만)
-
진짜 누굴봐도 안설레고 사귀고싶단생각 안드는데 주변에 다 사귀기 시작하니까 현타오고 외로움
-
1컷이랑 만점자 수만 보고 쉬워졌다 ㅇㅈㄹ하는게 진짜 죽빵마렵네 그럴거면...
-
너무들하네
-
얼마가 적당할까
-
확인을 어떻게 할거야 ㄷㄷ
-
여르비들아 나랑 친구하자 으흐흐
-
차원을 낮추는게빠름
-
다즈비님 물 만난 물고기 커버 어디갔지
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ