[모든 참인 명제는 부정해도 무모순임 증명]
게시글 주소: https://test.orbi.kr/00071403001
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
19수능 국어 1컷 22수능 국어 2등급인데?
-
IQ ㄱㅁ 6
초4때 미국 초등학교에서 IQ테스트했는데 142떠서 엘리트반으로 감
-
내 주변 친구들 6
애매하게 친한 친구들은 다 ㅈㄴ 잘나가는데 찐친들은 다 ㅈ박음
-
13111 어디가나요 12
저진짜수학못해먹겠 슨!!!!!!!!!! 하… 2등급이라도 받고싶다 정말...
-
당연한소리지만 진짜 쩌는거같은데.. 테스트나 스펙 빡센가요? 다 메디컬이신가..
-
그거 아시나요? 6
옃집천사 2기가 나온데요
-
두번말안한다
-
ebs같은건 대비 어케해줌? 걍 인강보게 시킴?
-
니들도 오르비 끄고 공부해라
-
9할이 웩슬러 130은 될거같은느낌임 비틱그만좀;;
-
사실 고능아가 아니라 고등어입니다 군돌이 4개월남았습니다 근데그거말고가진게없습니다
-
국어 인강이 볼륨도 크고 시간 잡아먹을것 같아서 독학 고민중인데
-
22수능 기하 다맞 23수능 기백
-
약수라인에서요
-
샤브샤브 먹구 0
컬리프라이 머거야쥥
-
3모전까지만 5시간 어떤가요??
-
으응...
-
순서는 3모 5모 6모 7모 9모 10모 수능 물1 38 45 45 50 50 47...
-
슬퍼요
-
겁나 크다고 느껴짐... 뭔가 확실히 일본인하고 체격이 달라
-
152
-
기만메타머임 8
ㅌㅌ
-
홍대병에 걸려서 취향이 특이해진건지 진짜 모르겠네 민트초코 슈붕 부먹이 좋아
-
96 98 100 89 89점 때 표점이 제일 높았던... 140이었음 ㅋㅋㅋㅋㅋㅋ...
-
고3때 친구 2
담임이 열심히 하면 서연고까지 ㄱㄴ하겠다 했는데 6 9 영어빼고...
-
생윤 코드원 0
이거 써본 사람있음? 내용은 좋은데 가독성이 구리다는 평이 많아서 궁금
-
전교에 수학 100점이 3명밖에 없었는데 그 중 한명이 저였음
-
재수 수능에서 더 떨어짐
-
25의대생이 가장 두려워하는건 의평원 불인증이 아니라 26의대증원 유지겠지요 1
사실응 26의대 모집정지를 누구보다 반기실 분들이 25의대생들임
-
저는 슈팅스타였는데 바함사를 자주 먹다 보니 바함사가 됐어요
-
진짜 중위권인데 했어서 오르비 실모 성적 올리는 분들 보고 박탈감 항상 느꼈었음;
-
같이먹을분
-
극내향인이라 울엇어.. 내년에 조교 지원할랬는데 ㅠㅠ
-
구치소부터 콩밥주는줄 알았는데 집밥보다 호화스럽게 먹노
-
내일 군대가는데 74
메인 한번 보내주라 하
-
넘 졸려요
-
고3 3모 백분위 94 6모 5등급 아. 국어 수직낙하
-
사탐이랑 언매만 들으면 되는데 패스 필요할 것 같음? 1
문학독서는 걍 독학서로 하고 영어는 기출문제집 풀려하는데 사탐언매는인강 들어야할 것...
-
온 세상이 시대야
-
국어랑 사탐은 공부 조금만 해도 1 하지만 수학은… 반대인 친구가 있는데 볼때마다 신기하네요
-
최진우 장난전화 1
그런건 없어요 ㅎㅎ
-
한완수로 끝내버리겟어
-
33333333333333333333333333333333333333333333333...
-
어디까지 가능했나요 낮과 최초합하니까 급 아까워짐,,
-
원래 4,5 따리였는데 8덮 한번 잘보고 9덮 좀 잘보더니 10월부터 성적 팍...
-
1 2 2 1 3평은 딱 컷 6, 9평은 2점 차이 10평은 백분위 98.5 그러고...
-
쌤너무좋아서 언매에서도 뵙고시픔,,
-
배 터질라그래 하지만 이 양을 누가 포장해줘
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ