[모든 참인 명제는 부정해도 무모순임 증명]
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
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의대생들임
-
저는 슈팅스타였는데 바함사를 자주 먹다 보니 바함사가 됐어요
-
진짜 중위권인데 했어서 오르비 실모 성적 올리는 분들 보고 박탈감 항상 느꼈었음;
-
같이먹을분
-
극내향인이라 울엇어.. 내년에 조교 지원할랬는데 ㅠㅠ
-
구치소부터 콩밥주는줄 알았는데 집밥보다 호화스럽게 먹노
-
내일 군대가는데 103
메인 한번 보내주라 하
-
넘 졸려요
-
고3 3모 백분위 94 6모 5등급 아. 국어 수직낙하
-
사탐이랑 언매만 들으면 되는데 패스 필요할 것 같음? 1
문학독서는 걍 독학서로 하고 영어는 기출문제집 풀려하는데 사탐언매는인강 들어야할 것...
-
국어랑 사탐은 공부 조금만 해도 1 하지만 수학은… 반대인 친구가 있는데 볼때마다 신기하네요
-
최진우 장난전화 2
그런건 없어요 ㅎㅎ
-
한완수로 끝내버리겟어
-
33333333333333333333333333333333333333333333333...
-
어디까지 가능했나요 낮과 최초합하니까 급 아까워짐,,
-
원래 4,5 따리였는데 8덮 한번 잘보고 9덮 좀 잘보더니 10월부터 성적 팍...
-
1 2 2 1 3평은 딱 컷 6, 9평은 2점 차이 10평은 백분위 98.5 그러고...
-
쌤너무좋아서 언매에서도 뵙고시픔,,
-
배 터질라그래 하지만 이 양을 누가 포장해줘
-
79 71 79 ㅆㅂ
-
84 100 96
-
지수 문제 투척 8
ㅈㄱㄴ 최초 정답자 500덕
-
ㅈㅂ ㅜㅜㅜㅜㅜ
-
카우룽 카우룽? 0
이거 뭐더라 갑자기 생각남
-
2 1 2 1 1 2 X 1 2 수능때마다 2등급으로 자꾸 정상화됨.
-
동안이라는 칭찬이 진짜 11
외모로 아무리 봐도 칭찬할게 없을때 무난하게 쓰기 딱 좋은 말인듯
-
주변에 만점인데 조교 면접떨하고 이런사람도 있어서 궁금하네요 저도 그중 하나기도 하고..
-
화1은진짜개쓰레기과목임 10
2209 47 2211 43 2311 38?7?그쯤으로 떡락함 근데 재미원툴과목이라생각…
-
46세 노총각이 본인 너무 젊어보이지 않냐고 하던데 9
자의식 과잉임?? 본인 머리 깎으면 다들 어리게 본다고 투덜거리던데
-
반도체 계약학과 희망하는데 센서 관련한 조사탐구 활동으로 세특내용을 채워도 괜찮을까요?
-
한림의 예상컷 0
ㅈㄱㄴ 한림의 컷 어느정도 선임?
-
역대 평가원 국어 성적 11
1 1 3 4 2 2(백분위 96 2등급) X 3 3 X는 25 6평이고 현장 미응시임
-
분유땡기네 1
개맛있긴 해
-
수학은 동네학원 다녔고 공부는 고3때부터 시작했습니다 3모 73 88 5...
-
원래 필기 세로로 했는데 최적 듣고나서 가로로 바뀜 칠판 모양이 가로라 ㄱㅊ은 거 같기도
-
작년에 어문 갔다가 적성 안 맞아가지고 반수하고 싶은 마음에 불을 지폈었는데 그래도...
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ