[모든 참인 명제는 부정해도 무모순임 증명]
게시글 주소: https://orbi.kr/00071403001
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
나만 못봤냐 1
ㅈㄴ궁금하네
-
갈게요 6
내일 봐요!
-
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
-
결혼할때는 외모 이외에 18
다른 조건들도 같이 볼까요?? 아님 남자들은 여자 나이, 외모 이 2가지만 볼 확률이 높은지
-
그저 신 2
-
모두 화이팅
-
대북갱킹문프박사 2
-
너넨 성격이 문제지만 난 성격'도' 문제임
-
학교 고르셨나요.. 너무 고민됨.....
-
보일러를 틀어도 손은 여전히 추우니까 가끔 손 너무 시려서 덜덜 떨리기도함.....
-
동안이라는 칭찬이 진짜 11
외모로 아무리 봐도 칭찬할게 없을때 무난하게 쓰기 딱 좋은 말인듯
-
외대 2
외대 점공 기준 5등인데 최초합 가능할까여?
-
같은 학교에 두번 입학하게 되어 참으로 기쁘구나 반수 기회를 두번 준 것에 대해 감사히 여긴다.
-
알텍풀다 잠깐 쉬러 오르비들어왔는데 군대 가시는 분이 추천글에 올라와있네요 잠시 제...
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ