[모든 참인 명제는 부정해도 무모순임 증명]
게시글 주소: https://orbi.kr/00071403001
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
내가 작년 8월부터 수학 개념을 처음으로 들어가서 과외쌤이 미적기하는 개념도 다...
-
정시결과 나올때쯤이면 원룸 방 남는거 없을까요...? 학교뒤쪽에있는 원룸촌으로 가고싶은데
-
과탐이 사탐보다 쉬우니 어서빨리 과탐런을 해주시기 바랍니다 ㅇ.
-
-
세는나이기준으로
-
이거 눈 높은거임?
-
김현우네는 가끔 괜찮게 생긴 사람들 목격되던데 인원 더 많은 강기원 수업은 진짜 없음
-
난 친수성 카패인 인간인가 소수성 카패인 인간인지 모르겠어..
-
내가 존잘, 존예가 아닌 이상 상대방 외모가 너무 뛰어나면 솔직히 불안감이...
-
어렵뇨이
-
이거 커뮤용 용어에요? 23
길티플레져 디시나 이상한 커뮤하는 애들이 쓰는 용어임? 오늘 처음 들었는데 의미는...
-
나는 루카리오면 되는데 현실을 왜 바라봄?
-
있냐요? 약폭이나 심한 폭있다면 알려주심 감사하겠습니다(문과만)
-
진짜 누굴봐도 안설레고 사귀고싶단생각 안드는데 주변에 다 사귀기 시작하니까 현타오고 외로움
-
1컷이랑 만점자 수만 보고 쉬워졌다 ㅇㅈㄹ하는게 진짜 죽빵마렵네 그럴거면...
-
너무들하네
-
얼마가 적당할까
-
확인을 어떻게 할거야 ㄷㄷ
-
카페인 치사량 2
250mg/kg임. 몸무게 1kg당 250mg 섭취하면 높은확률로 사망함 정확히...
-
여르비들아 나랑 친구하자 으흐흐
-
차원을 낮추는게빠름
-
다즈비님 물 만난 물고기 커버 어디갔지
-
일단 우리지역에서는 짱이긴 한데... 다른지역에서는 어때?
-
셀룰라이트 더넣어줌?
-
수1 수2 미적 개념만 간단하게 떼는거 비추일까요? 예비고2입니다
-
국어 현역 3목표로 하고 수영탐 벅벅벅벅벅
-
예비고3(수시최저러)이고, 2-2학기 내신이 지1 전범위였어서 Oz...
-
걍 날잡고 전과목 작수 풀까
-
지듣노 1
-
보통 그런가? 맛있는거 먹거나 하고싶은거 하면 풀림?난 왜 안그러지
-
ㅈㄴ 화나네 5
많이 쉬워져??? 풀어보고 얘기해라
-
사탐런하고싶은데 계약학과 경대모공은 과탐2개 필수응시였던거같은데 사탐가능한 계약학과 있나요?
-
애니송 1초듣고 맞추기 하니까 또 마렵네 근데 다시 보기 시작하면 재수 확정이라 참겠음..
-
!!충남대학교 약학과에서 25학번 새내기를 찾습니다 !! 0
!!충남대학교 약학과에서 25학번 새내기를 찾습니다!! 2025학년도 충남대학...
-
포켓몬 잡고 왔다 11
기분굿 ㅎㅎ
-
설약 컷 0
설약 407.7 될까요? 그냥 설약 쓸 걸 그랬나 궁금하네요
-
나만 인생 도태된거야? ㅠㅠ
-
하지만 안 그래도 친구 없었는데 스스로 고립이 되...ㅜㅜ
-
흐흐 기분 좋다 1
오늘은 한잔 해야겠다
-
11세 남학생 4년간 성폭행...아기까지 낳은 美교사 6
https://n.news.naver.com/article/008/0005142906...
-
저 데쓰 윤리까지 현돌 풀었는데 다 마잣숴요 하하하
-
생윤력 올리려고 하루에 5번 씻으면 되는거임?
-
스블부터 듣고싶은데 걍 허들링 러하 복습이나 할까 19->33만원은 좀...
-
-
그 오르비언이 떠오른다
-
https://link.yeolpumta.com/P3R5cGU9Z3JvdXBJbnZp...
-
며칠에 한번 씻으면 되나요 아직 1일 1샤워하는 노베이스라 바로 한달 안씻기는 어려울거같아요ㅠㅠㅠ
-
380번... 0
-
그냥 수시처럼 학점 잘따고, 스펙 쌓고 하면 취업이 되지만 정시파이터처럼 고시생은...
-
맥북이 자주 먹통이 된다는걸 아는 사람이 몇이나될까? 내가 바보인지 일단 나는 몰랐었음…
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ