[모든 참인 명제는 부정해도 무모순임 증명]
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
다양한 장르로 섞어서 쉐킷 이거 쓰고 마감하고 잘 거임
-
사탐런했는데 개념도 안돌림 영어단어 1회독도안함 1월인데 수학 미적확통만함 ㅠㅅㅂ...
-
아니 롤할라그랫는데 16
집에가지마 쓰다가 시간 다갔네
-
전 한 명만 받아서 그냥 레전드 천재만들기<—로망인데 3개이상씩도 하시나요
-
친구들과 성인용품점에 감 아쉽게도 빈 손으로 나옴
-
이미지 써주세요 18
거마워요!!@
-
근데 요즘 오르비에 13
이거 뭐하는 새끼지 싶은 저렙노프사 좀 보임 그냥 정신나간 사람도 있고 기만하려는...
-
모두 감사합니다 15
따듯함을 느끼고 가요
-
본인 목소리특 14
변성기 애매하게 와서 목소리도 애매 저음 고음 다 안되는 이상한 잼민목소리이에요 흑흑
-
친구끼리 여행가는데 비행기 시간 안 맞아서 모텔을 예약 한명이 샤워를 하겠다며...
-
아직 참아야하는데 연막 하나하나 치기 성가셔요 약간. 쓸수있는 글내용에 제한이...
-
전 군대가는 친구들 부럽.. 핑계라면 핑계일 수 있는데 원래는 공부 열심히 했고...
-
하
-
잠깐 ㄱㅁ좀 할게요 14
쾌변함
-
나도 ㄱㅁ하고 싶네 12
집에 ㄱ지ㅁ 베베 하고 싶네
-
소신발언 12
여기 순수 기만하려고 오는 애들 꽤 있는데 진짜 개병신같음 그리고 그런 불순한...
-
학잠보단 과잠이지 14
학잠은 뭔가뭔가임뇨
-
베베
-
ㄱㅁ 달아주세요 13
그냥 받고 싶어요
-
집에가지말라하면 뭐하냐 12
집인데 이미
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ