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