[모든 참인 명제는 부정해도 무모순임 증명]
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
레전드 고대생 발생 26
연잡대는 복종의 정수리를 보이도록.
-
제설 제설 제설 제설 제설 제설 제설 제설 제설 제설 제설 제설 제설 제설 제설...
-
국어 과외 단가 8
이번에 국어과외가 들어왔는데 대상은 재수생 5등급 노베이고, 비문학만 기초부터...
-
이상민 측 "수사기록 의도적 유출…불법 사안" 반발 1
[이데일리 최오현 기자] 이상민 전 행정안전부 장관 측이 12·3 비상계엄과 관련한...
-
현역때는 69수능1 서바도 두세번 2인거빼고 1 이랫는데 요즘 강k보니까...
-
잇올 백색소음 0
ㄹㅇ임 이거 볼륨만 존나 크게 해서 틀면 됨
-
“자위하는 남성에 벌금 최대 1만 달러”…美서 발의된 황당 법안 8
미국의 한 주의회 상원의원이 ‘남성 자위 금지법’을 발의해 그 배경에 관심이 쏠리고...
-
안녕 4
곰방와
-
국일만식 해설 1
국일만 노베7일차인데 최대한 국일만이랑 내스타일이랑 섞어서 풀고 문제다풀고 문제에서...
-
1억6천만원에 동료 목숨 판 정보사…다시 떠오른 ‘간첩죄’ 1
‘블랙요원’ 명단 유출한 정보사 군무원 중형 선고받았지만, 간첩죄 적용 안 돼...
-
인버스 단타성공 0
앗싸
-
문과 수학 2등급을 ㅈ으로 봄
-
고2 69모 1틀 백분위 100 10모 쿨쿨졸아서 백98 아무리 컨디션나빠도...
-
왤케짜치지
-
[속보] 헌재, 중앙선관위 사무총장도 증인 채택
-
서연고 서성한 3
중경외시 건홍
-
사수생 오티는 어떨까 12
여태까지 대학이 다 맘에 안 들어서 오티 같은거 가본적도 없는데 비록 친화력이...
-
님들 태블릿 뭐씁? 10
???
-
[속보]헌재 ‘투표자수’ 검증 신청 기각…신원식 안보실장 증인 채택 1
[헤럴드DB] [헤럴드경제=박지영 기자][속보]헌재 ‘투표자수’ 검증 신청...
-
언럭키현우진 출격 1도안절고 관심법으로 학생 틀린 풀이까지 맞추며 7문제설명? 걍ㅇ
-
서울대 발표 0
나는 상관 없는 일이라 씁…
-
6
-
도서판매 0
문학개념어와 논리적 해석 4000원 어휘끝 수수능2500원 이해황...
-
지2 교과서 4종 + 해설서 n회독 오지훈쌤 풀커리(개념 + 기출) 기출은 n회독...
-
재수생 커리 0
안녕하세요 작수2025수능 수학 턱걸이 3등급입니다. 올해 다시 한 번 수능에...
-
과외생으로 들어가는 조건이 어려움 가려서 받더라 키 180이상 잘생기고 mbti는...
-
작년에 내신준비로 박선우 시드 개념완성만 구매해 들었는데 올해는 홍준용으로 가볼까...
-
본인스펙: 낮평~ㅈ반고 자연계 내신 평균 1후반 (2.4>>1.3 상승곡선)...
-
아직 못 잊어서 보는데 더 괴로워지네 다시 만날 수 없는 사람이니까 그만 들어가봐야지 나만 힘들어
-
장난까냐
-
고슴도치 10
어디감
-
90점만 넘기면 되므로 걍 단어 공부만 돌리다 갈 듯
-
그동안 ㅈㄴ 꼬여만 봤어서 그냥 순탄하고 걱정할 거 없이 좀 망해도 괜찮은 삶이...
-
먹고 싶을 듯 난에다가 찍어서
-
오티를 가요
-
국정원 문학 비문학 달리고 문법만 전형태쌤 인강 들은 다음에 그릿 심화편 사서 풀고...
-
얼버기 1
14시간 잤다 ㅎㅎㅎ
-
나도 내가 수능 못봤단 말은 안함
-
린이가 맞팔구함 6
ㄱㄱ
-
선생님 여기는 공산당이 집권하면 의대보단 치대가 나을까요??? 같은 글이 메인가는 곳이에요
-
쉬운 회차 개못할때도 있고 어려운 회차 개잘할때도 있고 컨디션차이도 아니었음 그냥...
-
ㅠㅠ
-
책값은 왜이리 아깝죠?…
-
한완수 한완기 교사경까지 돌리고 드릴 1 2 3 4 5 6 돌리고 수특 수완 풀고...
-
갑자기 로그아웃 당하기 11
산화당한줄 알고 깜짝 놀랐네요.......
-
난 기하베이비란말이야..
-
베스토 프렌드 커뮤에서 만남 내 인생에 정말 많은 도움을 줌 그렇지만 나쁠 확률이 훨신 높음
-
솔직히비문학은 들어서될게아니기도 하고 맨날문학에서만 쳐틀려서요 언매도 좀 ㅊㅊ 해주세요
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ