[모든 참인 명제는 부정해도 무모순임 증명]
게시글 주소: https://orbi.kr/00071403001
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
얼마나 남들과 달리 사느냐가 꼭 수명만이 아니라 생명력의 척도가 될 수 있다고 생각함
-
잘생기고 키 큰 남자한정
-
어쩔 수 없네요
-
다음카페로 시작(2000) 오르비 1.0(2001) 오르비 8.1(2003) 오르비...
-
눈만 뜨면 그대가 참 보고 싶어요
-
뭔가 최대한 특별한 인생을 살고 싶음 어떻게 보면 콤플렉스 같은 거일지도
-
한동훈 오세훈 도지사 홍준표 안철수 나경원 ㄷㄷ
-
중근을 가지면 나조건 자체가 성립이 안돼요 q(x)는 p랑 똑같은 과정으로...
-
의대생님들 복귀 하시나요????
-
샤워 2
4일동안 안함 ㅁㅌㅊ
-
시덥잖은 드립 말고 진짜 말 잘 이어가는법 없을까...
-
자진해서 맨 앞에 앉았는데 근데 난 정시파이턴데...
-
고민된다 걍 교복샷만 찍음 안되나 어려운디
-
https://orbi.kr/00072750950/ 이젠 무슨 글을 써 볼까요
-
4시간 박아서 미적 별2-3개짜리 13문제풂ㅋㅋㅋㅋㅋㅋ 내일부턴 수엊시간에 사탐해야겟다
-
오늘도 발버둥 치는 나..
-
3학년 2학기 내신 다들 어떻게ㅜ하셨음? 솔직히 전 찻 수능이거 최저떨에 대한...
-
개쉬운 지구수행이었는데 그림 잘못봐서 마그마 생성과정 2개 다틀리고 그림연결시키는건...
-
이때까지 늘 수학햇는데 좀 어려워지니까 쌤 목소리때매 집증도 안 되고 한 시간에 한...
-
[단독] 중국인 2명, '수도권 방공 핵심' 수원기지서 전투기 촬영하다 적발…"'국정원 드론촬영'때와 유사" 9
경기도 수원의 공군기지 내부와 전투기 등을 무단으로 촬영한 혐의로 중국인 2명이...
-
오늘 온다매 0
-
이게 이제 곧 10년 전 일이 되네요.
-
인싸 대학생 만나면 불편할걸
-
잉단 대학생은 지 현생 살아야 되잖아 둘다 걍험해본 입장에서 학생 심리상담 멘토링...
-
지역은 서울입니다 작수 50인데 논리가 부족한 거 같아서요 쪽지 주세용 화학 생명 과외
-
보통 확통하면 그냥 사탐두개끼고가나요?
-
오우 감동인데
-
이제 슬슬 영어랑 사탐도 해야겠구만
-
엄마 아프시대요...어제도 집에만 계셨다네요
-
아방한 옷 좋아한다했는데 아방한? 그게뭐지 ㅇㅈㄹ했는데 갑분싸댐 ㅜㅜ
-
현 고2이며, 모의고사 기준으로 성적이 낮은 편 입니다.. 마닳을 구매해서 빡세게...
-
오르겠지…????
-
1. 농어촌 폐지 혹은 조건을 메가패스 사용 금지, 학원 이용 금지하고 농어촌 넣은...
-
대학생이 더 나은 것 같은데
-
이름이뭐에요 0
전화번호뭐에요
-
어른의 무게 2
이틀 놀기 위해 하루동안 삼 일 치 일을 하는 인생
-
중요해요?? 저 음악 C받을거같은데…. 운좋으면 B고….. 교과 학종 둘 다...
-
https://orbi.kr/0003787754/ 원래는 ㅋ을 6개 연속으로 쓰면...
-
사탐 5
생윤 사문 1등급 목표인데 국수 하느라 6모전까지 리밋+기출 정도 할 생각인데 너무...
-
과탐 2개 백분위 각각 98 98이어도 연의, 성의, 카의, 고의 정시 일반전형...
-
큐브 큐 초기화 됐구나 10
22번 주섬 주섬 꺼내야지
-
수1 수2는 기출 난이도가 고냥고냥 계단 밟아 올라가는 느낌이라면 미적은 암벽등반...
-
1등급 다 백분위96이라고치면 고대경제학과 최초합 안전빵으로 가능하나요? 아니면...
-
저는 입학할 때는 아싸였는데 인싸 쪽에 발을 걸쳐라도 볼 수 있게된 게 발표강의...
-
시간낭비 개오지네
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ