[모든 참인 명제는 부정해도 무모순임 증명]
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
과외생으로 들어가는 조건이 어려움 가려서 받더라 키 180이상 잘생기고 mbti는...
-
작년에 내신준비로 박선우 시드 개념완성만 구매해 들었는데 올해는 홍준용으로 가볼까...
-
본인스펙: 낮평~ㅈ반고 자연계 내신 평균 1후반 (2.4>>1.3 상승곡선)...
-
아직 못 잊어서 보는데 더 괴로워지네 다시 만날 수 없는 사람이니까 그만 들어가봐야지 나만 힘들어
-
장난까냐
-
고슴도치 10
어디감
-
90점만 넘기면 되므로 걍 단어 공부만 돌리다 갈 듯
-
그동안 ㅈㄴ 꼬여만 봤어서 그냥 순탄하고 걱정할 거 없이 좀 망해도 괜찮은 삶이...
-
먹고 싶을 듯 난에다가 찍어서
-
오티를 가요
-
국정원 문학 비문학 달리고 문법만 전형태쌤 인강 들은 다음에 그릿 심화편 사서 풀고...
-
얼버기 1
14시간 잤다 ㅎㅎㅎ
-
나도 내가 수능 못봤단 말은 안함
-
린이가 맞팔구함 6
ㄱㄱ
-
선생님 여기는 공산당이 집권하면 의대보단 치대가 나을까요??? 같은 글이 메인가는 곳이에요
-
쉬운 회차 개못할때도 있고 어려운 회차 개잘할때도 있고 컨디션차이도 아니었음 그냥...
-
ㅠㅠ
-
책값은 왜이리 아깝죠?…
-
한완수 한완기 교사경까지 돌리고 드릴 1 2 3 4 5 6 돌리고 수특 수완 풀고...
-
갑자기 로그아웃 당하기 11
산화당한줄 알고 깜짝 놀랐네요.......
-
난 기하베이비란말이야..
-
베스토 프렌드 커뮤에서 만남 내 인생에 정말 많은 도움을 줌 그렇지만 나쁠 확률이 훨신 높음
-
솔직히비문학은 들어서될게아니기도 하고 맨날문학에서만 쳐틀려서요 언매도 좀 ㅊㅊ 해주세요
-
붙으면 어디가 더 나을까요?전공 활용, 대학 수준, 생활 편의 등등 고려해서요강동구에서 가야 해서요
-
서바 국어 비문학 비판문제에 선지 자체가 논리적 오류인 선지 나와서 이거 오류...
-
동국 1
입학처분들 출근 안 하신듯
-
편입 티오 1
군대가서 편입 준비 하려고 하는데 2028 개정 수능에서는 반수생이 거의 없을 거...
-
물리2 화학1으로 서울권의대 노리는건 어떤가요??? 10
새가슴이라ㅡㅡ 설의나 서울권의대 노리면 아무리 잘봐도 불이익이 있으려나요???
-
✊약속의 조발✊ 2
✊약속의 조발✊ 빨리해줘사람죽을것같아
-
다들
-
생글은 단강좌 결제했는데 그때는 패스의 존재자체를 몰랐고… 생감까지는 무조건 들을...
-
(서울대 합격 / 합격자인증)(스누라이프) 서울대 25학번 단톡방을 소개합니다. 0
안녕하세요. 서울대 커뮤니티 SNULife 오픈챗 준비팀입니다. 서울대 25학번...
-
전화추합 생각하시면 지금쯤 무조건 패턴 바꾸세요 습관이 무섭다고 절대 졸면 안되는...
-
설연순 알지? 기다리고있을게
-
공부가잘안된다
-
이틀이나 더 기다려야하는데!!!! 오늘 5시에 해주세요
-
두가지 의미로 해석할 수 있는데 “왜 오르비 하는지 알겠다”
-
옯만추 특 8
그니까 쟤가 그런 글을 쓰고 다녔다는거지? 라는 생각부터 듬
-
살려줘요
-
언매 선택분들 15
혹시 단권화 하셨나요?
-
손톱깎는새끼였음 좀 집에서 깎으라고
-
난한의대좋아 7
-
약사 같은건 성격 상 지루해서 못 할 듯 나는 한의사는 신념이랑 충돌 의사 연봉이...
-
대치동 가야지 0
오랜만이다
-
불인증 가지고 한참 시끄러웠는데 요즘은 또 조용하네용 머 새로 나온 소식이 있나요..?
-
오르비에는 서울대생이 많을 것 같아 질문드립니다. 서울대에도 온라인(비대면)으로...
-
의치만큼 입결이 최상위권도 아니고 병원 있는 상권만 잘 잡으면 월 수익 빠방하게 잘...
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ