[모든 참인 명제는 부정해도 무모순임 증명]
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
Oh 옯쀳삐 넌 위2로가 필요해, My son. ☆
-
어제 집들이로 어른들이랑 사촌 와서 운동 안갔는데 그 관성으로 오늘도 하기 싫은거...
-
요즘 버스나 지하철에서 디시 트위터 펨코 대놓고 하는 사람 꽤 많아졌지 않음..?...
-
모솔있냐 29
있으면 7ㅐ추 눌러라 일단 나부터
-
가챠 실패 이슈로 인해 알파 피메일이라도 노려보겠습니다
-
미필
-
외모가 됐든 인싸력이 됐든 외모는 그냥 DNA빨이니까 당연하고 꼴랑 오티 정도에도...
-
심찬우 커리 9
심찬우 커리를 타면 몇월까지 기출만 하는건가요?
-
나 빼고 대부분 다 존잘 키크고 핵 씹 알파메일임. 믿을 거라고는 아무것도 없는 더러운 세상!!
-
사과대? 아니면 어문?
-
바로 당신
-
-
솔직히 와꾸보다 6
26수능이 더 중요하면 7ㅐ추 눌러볼까?
-
댓글 남겨주시면 쪽지할게요
-
님들 급함 2
뉴런 수2 듣는데 모르는 개념이 나왔습니다 2023학년도 사관학교 14번인데 함수...
-
6시간도 못자는 빡빡한 생활+룸메랑 안맞거나, 룸메가 비위생적이거나, 단체생활이...
-
진심이다
-
-
공익들 대답해랏
-
흠 5
굿즈사고싶다 하지만 참는다 목표달성시 사야겠다
-
대학 붙고 싱글벙글하면서 애들 사진 찍는데 막 가서 낌 근데 아무도 사진 안 보내줌..
-
중앙대 가면 그냥 반수 안하고 다닐테니까 좀 보내줘라 제발
-
ㅇㅇ
-
영어로 바로 읽히는것까지 억지로 한국어로 변환시키니까 읽는숙도도 느려지고 더 이해가...
-
차단했다 하
-
기만 오지네 진짜....
-
누나 있는 분들 7
누나랑 친하게 지내시나요 친하면 나이 얼마나 차이나는지도 좀
-
난 나같은 찐따존못아싸도태남이 많은곳이 좋아… 여긴 내가 있을 곳이 아니네…
-
눈에 뭔갈 넣는다는 게 거부감 듦
-
이게 뭐에요?
-
난 원데이 렌즈 3년도 못끼고 눈 뒤질거같아서 못끼는데 써클렌즈 ㅈㄴ 눈 건조하고...
-
미필ㅇㅇ 닥후?
-
전여친 연락옴 3
게임하게 스팀 아이디 알려달라네 ㄲㄲ
-
전 이거 좀 써서 맘에 들지는 않던데 먹을 수는 있는데 이걸 왜먹나 하는 느낌임 좀...
-
거지라 꿈도못꿨다
-
어떤사람이 저희집와서 제 눈 가리고 끌려왔어요 ㅠㅠㅠ 13
여기 지금 바다 근처인것 같은데 공장같은곳이에요 ㅠㅠㅠㅠ
-
기분 울적하면 연대 환산점수 96.48달달 외우면서 이미 연대가는 상상함...
-
올해 화작에서 언매로 바꿔서 공부 시작하려는데 고민이네요... 둘중에 누가 더...
-
질문 받아요 6
버스에서 심심한데 질받 ㄱㄱ
-
-
?
-
울의 국수탐 평균 6.5. 뭐임...
-
러셀 수업 하나 의무수강 해야되서 그냥 별 기대없이 문접원 들어봤는데 진짜...
-
재종학원을 위해서라니
-
시간을 날리는 셈이니
-
사실 오티 5
이번주에 이미 갔다왔는데 학교별로 다른데 우리학교는 수시정시 따로인걸로
-
독서는 김동욱 일,취 하고 성적안오르거나 시간남으면 이원준쌤 브크, 기출문제집은...
-
모솔=(연애) 노베이스 노베면 678등급..? 이렇게 생각하자니 어.. 심각한데
-
아님 진짜 드문 경운가여?
-
오리비 교체함요 2
다들 죽었다길래…….
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ