[모든 참인 명제는 부정해도 무모순임 증명]
게시글 주소: https://m.orbi.kr/00071403001
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
무슨 인강을 들어야 될까요? 아니면 추천하시는 공부법 이라도.. 신택스?
-
다음닉 정했다 12
집에가지마 베베
-
시뱃이 좋다 4
아직 자퇴안햇으니까 달고있겠습니다..
-
그럼 저도 여친 자랑함 27
이름은 델로닉스 푸밀라고요 만난 지 10일 됐어요
-
ㄹㅇ 자야겠다 15
다들 빠빠
-
글 쓰는 사람은 한정적인데
-
나처럼 된다 ㅇㅇ 지금 공부 안하면 나중에 10월되서도 공부 안하고있음 어떻게...
-
수능끝나고 두달반동안 암것도 안햇단 사실을 믿을수가없음뇨
-
노진구랑 똑같이생김 ㅋㅋㅋ
-
작년 10모 20번에서도 f(x)=0이 될 수 있다는걸 못봐서 문제 못푼사람이...
-
보드카는 신이야 4
신이야
-
요즘 뭐..영어 프리토킹은 기본 같은데.. 제가 수능 영어 1등급은 그냥 뚫어도...
-
고2내신때 지구과학 했었어서 아예 노베는 아닌데 이번에 겨울방학 시작하면서 오지훈쌤...
-
혼란한 틈을 타 2
오늘 만든 옯스타 홍보
-
유튜브에 무료강의가 있더라구요..! 강의 보면서 하는게 책으로 혼자 독학하는거 보다 확실히 좋나요?
-
에반데
-
지금 상황 정리 9
1. 모 설뱃 분이 그냥 요즘 모보글에 ㄱㅁ 소리 듣고 싶어서 글 쓰는 게 좀...
-
어디서사요? 번장밖에 없나?ㅠㅠ
-
ㅅㅂ 대체 무슨 메타가 온겨
-
사탐런했는데 개념도 안돌림 영어단어 1회독도안함 1월인데 수학 미적확통만함 ㅠㅅㅂ...
-
ㅇㅈ 7
배고프다..
-
최장 연애: 중3때 60일인가 사귄거
-
일단 프리미엄 부계로 온댔고 난 에메1이요
-
나도끼워줘요…..
-
이게 뭐지 하는 글 마니마니 쓰는 사람들 잇음 나한테 피해주는게 아니라서 차단하기...
-
클럽은 1
평생 안갈 듯싶다 "안"가는 거 맞음 ㅇㅇ
-
문제를걍잡식으로많이드삼뇨 실모도과식하셈뇨 이럼좀좌충우돌멍청풀이겪어도2까진어케되는듯...
-
가지말아요 다들
-
베베
-
어릴 때 아빠랑 여행 다닐 때 모텔 많이 다녔는데 어차피 우리가 내는 거 아니라며...
-
내글 봤는데 2
90퍼가 뻘글이네
-
드레디어 9
귀엽다
-
근데 요즘 오르비에 13
이거 뭐하는 새끼지 싶은 저렙노프사 좀 보임 그냥 정신나간 사람도 있고 기만하려는...
-
클럽 삐끼는 근데 지나가는 사람한테는 다 말 거는 거 같던데요 0
누가봐도 클럽 말고 홍대음악충처럼 입고 갔고 친구는 범생이처럼 입고갔는데도 조나...
-
있니
-
티내면서 글 쓰는 건 다 어떤 사람인지 알잖아 그러니까 그럴 수도 있다본다
-
이러면 메인 갈 수 있나요?
-
하
-
ㅈㄱㄴ
-
저랑 모텔가실 남르비 있으신가요? 이상한의도아니구요저도모텔ㄱㅁ사진을올리고싶어서요...
-
으아 2
오늘 새벽은 집에 잇어야. 겟다 피곤하다리
-
ㄱㅁ레전드 0
어떤 얘가 지 연애썰로 막 카톡내용이나 그런걸로 기만을 시작함 수상한 누군가가...
-
7번말함
-
6월쯤 들으려면 지금부터 대기 걸어놔야 할까요?
-
눈 코 치아 손가락 다리 발목이 장애가 없는선에서 쓰레기임
-
나도 무서운 사람이 되겟음
-
작년 9모 다시 풀어봤는데 그때도 미적 못했는데 더 못해짐 미적 그냥 포기 마렵네
-
냥냥
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ