[모든 참인 명제는 부정해도 무모순임 증명]
게시글 주소: https://i9.orbi.kr/00071403001
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
그걸 안다면 더 이상 아무도 모르는 놀라운 사실이라고 말할 수 없음..
-
자이 어찌저찌 1회독 끝내고 수분감 푸는데 수분감 먼저 할걸 이라는 생각이 들긴 하네요
-
현생을 많이 살아서 다시 복귀 그리고 새르비는 재미있어
-
십덕들 투표 좀 13
다 했을 거라고 믿읍니다
-
독서실에서 딸치니까 11
집오고 딱히 안마렵네 루틴이엇는데 기분이이상함
-
-
멘탈은 깨질 것 같아
-
췍디스아웃 2
나는
-
전 안 잠 2
나가야함
-
-
굿나잇
-
운 같음 뭔가 멍청해보임 운.
-
갑자기 개땡기네요
-
난이도는 그렇게 높지 않아도 스블듣고 체화하는데 정말 좋은 책이라고 생각함...근데...
-
수분감??? 뉴런시냅스 ??
-
해설 요청 받음 3
심심해 (언매 미적 물생 중에서)
-
지문을 쭈욱 납득하면서 주제잡고 기억을 못 할 것 같은 부분 중요한 부분을...
-
알랴줏용ㅇ
-
뭐할거임뇨???
-
빨테ㅡ달고시픈데 7
도와주세요 ㅠㅠ 매일밤마다 어그로도 존나 끌고잇는데 ㅠㅠ 레벨 잘 안올라가요 ㅠㅠ
-
ㅈ망한 이번생에 충분히 액땜한 결론 가능성이 높을 거다
-
수2같이 공통은 그냥 어차피 해야하니까 하는데 미적이나 과탐 같이 선택이어서 바꿀...
-
중에 볼만한게 이 두개 같음... 양적 오랜만에 해서 그런지 11번에서 절은거 너무...
-
그냥 귀여움 뭔가호감임 뭔가웃김
-
홍익대는 1
조발 안할까요? ㅠㅠ
-
미적 낮2였다가 1년동안 수학 놓고 (올해 수능 3..) 1월부터 뉴분감 하구...
-
고래돈까스토담수저가용초수끄트머리집다정소반 이 정도면 명예 아남인 ㅇㅈ?
-
암산테스트 1트 2
-
아가 자야지 4
기술적 취침 ㄱㄱ헛
-
수능들어온지 어느덧 4년차라 오르비에도 꽤 많이 보이는듯. 원래는 살짝 희귀종? 이었는데
-
의대 치대 한의대 약대 수의대 ㅇㅇ
-
아이 써글 0
주거
-
캬
-
근무지 헬무지 걸리면 별별 못볼꼴을 다 보는데... 면제부터 화초지 ㅅㅂ
-
강민철T 조교 0
강민철T 조교는 현강생들 중에만 뽑나용?? 나중에 하고싶은데 현강 들어야 하나 고민중 ㅜㅜ
-
Bb많이뿌리겠지 4
설경제보내줘
-
항우 싫어
-
짤 4개 올리고 재목에 만나서 반갑습니다,저는 수학을 가르치는 현우진 입니다 적어서...
-
어싸 나만 어려움? 10
작수 수학 81점 받은 06재수생인데 강기원 T 어싸 뒤에 10문항 정도는 답지...
-
어디선가 봤는데 투위터같은데서 신음소리 내고 변조해서 변태들한테 팔아서 돈버는사람있댔음
-
-
바이바이 6
굿나잇
-
인문 진로 1
만약 경제학과 경영학과나오면 진로를 어디로 가나요
-
선호도 조사 셋 다 같은 지역 대학이란 전제 하에 ㅇㅇ
-
-
오래하면 늘어지고 효율도 안나오는데 그렇다고 짧게 하자니 글이 좀 읽힐때까지...
-
집에오지마 베베
-
극상위권이야 당연히 과탐하고
-
어차피 과탐의대 가려먼 국수 잘해야 하잖아 과탐할시간에 국수 쫌 더 하면 되는거 아닌가 ㅋㅋ
-
이거 교수님들이 강의하시는 거임??ㄷ ㄷ ㅈㄴ 재밌어 보이는데 이거..들어보신분 어때요??
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ