[모든 참인 명제는 부정해도 무모순임 증명]
게시글 주소: https://m.orbi.kr/00071403001
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
다들
-
생글은 단강좌 결제했는데 그때는 패스의 존재자체를 몰랐고… 생감까지는 무조건 들을...
-
(서울대 합격 / 합격자인증)(스누라이프) 서울대 25학번 단톡방을 소개합니다. 0
안녕하세요. 서울대 커뮤니티 SNULife 오픈챗 준비팀입니다. 서울대 25학번...
-
전화추합 생각하시면 지금쯤 무조건 패턴 바꾸세요 습관이 무섭다고 절대 졸면 안되는...
-
설연순 알지? 기다리고있을게
-
공부가잘안된다
-
이틀이나 더 기다려야하는데!!!! 오늘 5시에 해주세요
-
두가지 의미로 해석할 수 있는데 “왜 오르비 하는지 알겠다”
-
옯만추 특 8
그니까 쟤가 그런 글을 쓰고 다녔다는거지? 라는 생각부터 듬
-
살려줘요
-
언매 선택분들 15
혹시 단권화 하셨나요?
-
손톱깎는새끼였음 좀 집에서 깎으라고
-
난한의대좋아 7
-
약사 같은건 성격 상 지루해서 못 할 듯 나는 한의사는 신념이랑 충돌 의사 연봉이...
-
대치동 가야지 0
오랜만이다
-
불인증 가지고 한참 시끄러웠는데 요즘은 또 조용하네용 머 새로 나온 소식이 있나요..?
-
오르비에는 서울대생이 많을 것 같아 질문드립니다. 서울대에도 온라인(비대면)으로...
-
의치만큼 입결이 최상위권도 아니고 병원 있는 상권만 잘 잡으면 월 수익 빠방하게 잘...
-
종로 문구점 4
샤프 종류 많은데 추천해주세요!1
-
예?????????
-
퀘스트마냥 마뇽의 투구 100개 모아오면 경험치 확정으로 주고 그런게아님 이 커리...
-
걍 존나 재미도없고 애미도없음 언매도임 얘도 엄매없는듯
-
하... 이거 체화하면 도움될순 있겠죠 좀 생소해서 글 읽으면서 떠올리기 힘들고 우당탕탕임
-
지금 공산당의 노예가 되게 생겼는데 공부가 잡히냐? 28
유동규는 대장동 내부고발자. 이재명의 최측근임 투표함에 가짜 투표지 들어있으면 그...
-
그런 건 딱히 없고 그냥 재밌음 나중에 돈 벌어서 차 사면 수동 스왑할 것임
-
자전거가 수동기언데 변속이 ㄹㅇ 재밌긴함
-
241128 현장에서 품
-
아니 아빠가 1종 수동따라해서 수동신청했는데
-
KT VS DNF
-
진짜 기상 4
ㅇㅇㅇ
-
어떻게하는거지..;;
-
[칼럼] 수능 국어에서 양과 질, 양적 변화와 질적 변화 1
본격적으로 설명하기 앞서 저는 이원준선생님에게 국어를 배웠고 제가 쓴 글과 부분적...
-
본인 인셍 최종 목표 16
일 안 하고 외출도 안하기 집에서 영화보고 게임하고 술 먹고 요리하고 그만뒀던...
-
난 지문 완전히 다 읽고 문제푸느넫 친구들은 지문 읽는 도중에 와리가리한다는거듣고충격먹음ㄷㄷ
-
양심고백합니다 4
스윙스 업글5 한번도 들어본적 없읍니다 Work는 너무 웃겨서 종종 듣읍니다 감사합니다
-
치타는 달린다 3
9월부터 달린다....
-
이거 예지몽임뇨??
-
전북치 성적우수 ㅇㅈ 22
수석이다!!
-
시대재종 장학 2
백분위합 어느정도 되야 조금이라도 받나여?
-
레전드킹맛도리임
-
1종 수동출격 8
간다
-
경영정보 0
친구가 경영정보 다니는데 학과 자체가 애매하다는 말이 있어서 고민이네요......
-
평생 일 안 할래 흐아앙
-
약사 이거 진짠가요? 13
-
딱 2학년때만 할 수 있는건가요 학교마다 다른가
-
공부 못하고 군대 안가고 노래 못하고 얼굴도 시원찮아도 캐릭터 하나 야무지게 뽑아서...
-
날소개햇소
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ