-
아까 짬뽕 토하기 직전까지 먹어서 몸 무거워진게 느껴짐
-
https://www.dropbox.com/sh/lribbpkfooq96gs/AABJ...
-
공부할때 집중력이 이렇게 좋았으면 대학을 갔을텐데
-
개빡치게생겼네
-
먼가 그럼 천성 찐딴가봄
-
77 89 2 96 89 입결 찾아보면 평백 84가 70퍼 정도이던데 왜 오르비에선...
-
무물 시즌2 2
정상적인 질문만 부탁드립니다
-
내가 불편한가
-
어릴때 가오 1
어르신들 귀에 담배 1대 얹고 다니면 그게 참 간지였음
-
비호감고닉의 삶
-
삼수 고민 5
대학교 일단 붙어서 다니고는 있는데 메디컬 미련을 못버리겠습니다. 대학교는 일단...
-
-
근 3년 간 필통 챙기기 귀찮아서 주머니에 샤프 하나 지우개 하나 넣어놓고 필통은...
-
노잼임
-
현역때 백분위로 국어 50 (평소보다 훨 망함)이고 나머지 80정도 였음 그래서...
-
미적분 13
개미친어려운n제있음?
-
수상쩍은 애들이 한둘이 아님
-
진짜 MS는 나밖에 없구나
-
서바존나어렵네 1
브릿지랑 비교가안되노
-
전 2,4,6번이에요
-
연애로망 0
여친한테생일선물로3830억받기
-
플렉스 햇다 4
ㅂ배불러
-
비추 ㄴㄴㄴ
-
이상형짤털 4
-
휴식시간 8
이제 좀 누웟다가 애니보고 공부 찍먹하기
-
한 명 나감
-
-
5듭급입니다 미친개념 풀면서 쎈 풀고 다 풀면 미친기분 + 쎈 2회독 이렇게...
-
이거 살까 2
아이오닉5에 넣고 다니면서 차박하면 딱인데
-
가르치는것도 좋아하고.. 물욕이 많은것도 아니구..
-
걍 중도휴학하고 등록반환금 꿀꺽해 내가 ?
-
이거보고옴 1
재밌어요 한국어 더빙도 있긴한데 그냥 영어로 듣는거 추천
-
자러가요 9
굿나잇
-
진짜 갲추움 1
야발
-
이상형 짤털 16
횽아…
-
https://orbi.kr/00072418633 덕분에 칼럼 2개 뽑아냈는데...
-
아무리 계산해봐도 들을시간이 한 과목 밖에 안 나오는데
-
미기확 돌아가라 돌아가라!! 탐구도 다 원투합치고 !!!
-
헤헤 물논 음악듣기로..
-
열 나네 0
시발 4월이 4월이 아니야
-
왜 나는, 잘하는 것 하나 없으면서 사랑조차 못하는가, 하고 자신을 못마땅해 하지...
-
에반데..
-
이건 농담하는게 아님
-
-
지브리 2
-
집앞에서 연애질은 ㄴㄴ;;
-
[국어칼럼..?] 국어 고자의 독서 적응기 (feat. ADHD) 0
안녕하셔들! 샤라샵샵 인사 올립니다. 전 항상 국어가 문제였습니다. 수학은 꽤...
-
무물합시다 12
뭐든지 물어보세요 선넘질 다 받아줌
-
질문해죠 11
심심해
-
혐주의 13
ㅈㄴ 으ㅏ픔
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
증명이 없다는것과 그것을 부정했을때 무모순이라는것은 아예 다름
공리를 부정하면 모순->공리가 참이라는 증명이 있다. 대우는
공리가 참이라는 증명이 없으면->공리를 부정하면 무모순
리만가설 증명이 아직 없는데 그거 부정한다고 무모순임?
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..
공리에는 참, 거짓이 없어용