[모든 참인 명제는 부정해도 무모순임 증명]
게시글 주소: https://old.orbi.kr/00071403001
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
여긴 AA면 합격 보장 수준이라 좀 뭔가 잘못된거같음
-
대신 애니 볼 때는 link**를 애용합니다
-
그냥 귀여움 뭔가호감임 뭔가웃김
-
홍익대는 1
조발 안할까요? ㅠㅠ
-
정말 이 때 고민 많이 했는데
-
해도 스토리나 게시물 안 올리는 사람 만나셈 난 전남친 디엠 깟을때 나 - 1시간전...
-
미적 낮2였다가 1년동안 수학 놓고 (올해 수능 3..) 1월부터 뉴분감 하구...
-
그만 알아보자.
-
많은듯 음악하던 애랑 잠깐 사겼다가 헤어졌는데 (3-4주…) 반년 지나고 친구가...
-
고래돈까스토담수저가용초수끄트머리집다정소반 이 정도면 명예 아남인 ㅇㅈ?
-
나 갈게 8
안녕.
-
네 하사 전역한 여르비입니다.
-
얼싸가좋다 3
얼씨구
-
암산테스트 1트 2
-
그날 이후로 난 맨날 네 꿈만 꿔
-
지게차 모는 상남자들이 가는 곳인데 ㅋㅋ
-
아가 자야지 2
기술적 취침 ㄱㄱ헛
-
수능들어온지 어느덧 4년차라 오르비에도 꽤 많이 보이는듯. 원래는 살짝 희귀종? 이었는데
-
의대 치대 한의대 약대 수의대 ㅇㅇ
-
아이 써글 0
주거
-
온실화초 1
1.o 2.x(걱정많음) 3.o 4.x(지방토박이) 5.o(예정) 6.x(옛날에는...
-
캬
-
근무지 헬무지 걸리면 별별 못볼꼴을 다 보는데... 면제부터 화초지 ㅅㅂ
-
Bb많이뿌리겠지 4
설경제보내줘
-
항우 싫어
-
으랴으럇 일루왓 11
너 일반항이 뭐야? 모르겠다고??? 그럼 알때까지 항을 낳아라 으랴으럇 팡팡 누구...
-
짤 4개 올리고 재목에 만나서 반갑습니다,저는 수학을 가르치는 현우진 입니다 적어서...
-
작수 수학 81점 받은 06재수생인데 강기원 T 어싸 뒤에 10문항 정도는 답지...
-
어디선가 봤는데 투위터같은데서 신음소리 내고 변조해서 변태들한테 팔아서 돈버는사람있댔음
-
-
바이바이 6
굿나잇
-
인문 진로 1
만약 경제학과 경영학과나오면 진로를 어디로 가나요
-
ㅈㄱㄴ
-
선호도 조사 셋 다 같은 지역 대학이란 전제 하에 ㅇㅇ
-
-
원나잇했는데 잘못한건가여 ㅠ
-
따라가기엔 여사친 없으면 ㄱㅊ
-
금수저 되는 법 12
부모님을 부자로 만든다 감사합니다
-
요즘은 온실 속 화초같은 남자가 대세죠
-
오래하면 늘어지고 효율도 안나오는데 그렇다고 짧게 하자니 글이 좀 읽힐때까지...
-
호텔에서 남친이랑 가운입고있는 사진 올리면 흠칫하긴함 ㅋㅋㅋㅋㅋ 내가 하남자라서 그른가
-
집에오지마 베베
-
극상위권이야 당연히 과탐하고
-
긴 글 죄송 연고대가 목표였는데 이번에 정시로 중경시 공대 정도 가게 되었음....
-
어차피 과탐의대 가려먼 국수 잘해야 하잖아 과탐할시간에 국수 쫌 더 하면 되는거 아닌가 ㅋㅋ
-
이거 교수님들이 강의하시는 거임??ㄷ ㄷ ㅈㄴ 재밌어 보이는데 이거..들어보신분 어때요??
-
자러가야겠구나
-
왜 올리는지 이해 안 가는 거 나만 그럼??? 그니까 같이 여행 간 사진 올리는 건...
-
온실화초 7
1. O(아직과외안함) 2. O(아기물개) 3. O(아무래도 그렇지?) 4....
-
언매 공부 0
사실 전 화작러임.. 화작 미적 화1 생2였음ㅋㅋㅋㅋㅋ 놀랍게도 같은 반에 이 조합...
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ