[모든 참인 명제는 부정해도 무모순임 증명]
게시글 주소: https://orbi.kr/00071403001
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
좋은 현상입니다 다같이 살찌자구요
-
참아야해
-
열심히 달리기!
-
가형형님들 15
오르비에서 만나면 무서움 막 난 무시당할꺼가틈
-
또는 집착 심할거같다 하는 사람 있나요
-
메가스터디 4
메가스터디 지금 저만 강의 재생 안되나요...? 러셀 보강 영상으로도 안 틀어지는데,,,,
-
내 안의 ambition이 살아나는 느낌이 든다… 진짜 말도 안 되게 똑똑하고 대단하신 분인듯
-
아 워너 데싀 아 워너 런잇 데싀
-
조금 현타오는거 4
칼럼 좋아요수 × 2 < 처음 쓴 정치글 좋아요수
-
이거랑 해서 걍 기하 잡기술들 함 모아서 칼럼 써볼까함 사실상 xyo님 칼럼 짜집기+응용임
-
제육 볶아온나 4
배고팡
-
ㅠ
-
오해원 레어를 갖고 있었네 언제부터지...
-
사탐런 관련 궁금한데 생윤-> 사문 고정 상태에서 나머지 하나 고민입니다. 사1...
-
철퇴로 정수리를 내리쳐주세요
-
수학 N축 적용 1
N축 그냥 오르비 어떤분께 배워서 잘 모르는데 이럴때 적용하는거 맞나요..? 푸니까...
-
난 7시 큰일났구나ㅏ 난 망해써
-
주말에는 방에서 오만거 다할 수 있어서 좋네 유후
-
엔믹스 오혜원 아이브 윈터 에스파 안유진
-
새기분 3
5월에 시작해도 안늦나요?
-
막 컴퓨터 얘기하고 전공 얘기하고 술 들어가니까 내가 그러더라 ㅅ발
-
캬캬
-
거실에 0
아빠가 자고있음 화장실가면 깨려나
-
잘 4
자요
-
낭만의 언기물지 4
참가부탁
-
안되는 것을 될수도 있는 것으로 착각해서 여기까지 왔는데 안되는 것을 깨달았지만...
-
다 덮인 앞머리 있는 상태로 나가는 걸 존ㄴㄴ나 싫어함
-
행복하지마요 2
행복하려면 사랑한 날 잊어야 하잖아 가시가 박힌듯 숨쉴때마다 눈물이 흘러와 사는게 사는것이 아니죠
-
눈물이 2
주르르
-
사1 과1 하시는 분들이 많이 보이시는데 사1 과1의 장점이 뭐라고 생각하시나요?...
-
뛸 준비하기
-
오마이갓 5
불끄고 폰하니까 눈에 피로감이 으읔
-
잘거야 4
7시에 기상해야해 짜증도 자고일어나면 풀리겠지?...
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ