님들아 진지하게 이거 평가좀 해주셈
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
20국어 풀면서 느낀거 10
왜클릭
-
오타가 있거나 오류를 발견하셨다면 댓글로 달아주세요~!
-
확통 기출문제에요
-
마지막장ㅅㅂ
-
지문은 개뿔 ㅅㅂㅅㅂㅅㅂㅆㅂㅅㅂㅅㅂ 이 생각만 머리에 떠 돎 ㅈㄴ 쳐 어려운 거임...
-
자기가 강사보다 성적 잘 올려줄 자신있지 않음? 난 최근수능본사람의 과외가 강사보다...
-
자신감 사교성 기르기용 동아리 있으면 좋겟는데..
-
호머하지마세요 15
24 대비할 때 3점짜리 호머하다가 수능날 3점짜리 3개 틀렸습니다.
-
공부 너무 이르게 시작했나 놀수도 없고 차근차근 뭘 하긴 하는데 권태롭네요
-
ㅅㅂㅋㅋㅋㅋㅋ
-
자퇴했고 마지막으로 본 모고 고2 3모 322133이었음 이번 달부터 독재 다녀서...
-
내일도 별로 가능성 높진 않아보임 수요일부터나 좀 기둘려보셔유
-
수학 미적 1컷 81-82일것이다 ~> 공1미3 84단 대거멸망 물리 1컷...
-
누가 그래ㅅ다가 욕 존나 쳐먹지않앗나
-
ㅇㄱㅈㅉㅇㅇ?
-
진짜 화작으로 변별이 되나요..?
-
개쩌노
-
난 시발 벌써 19살이네? 시발
-
-
시이팔 교대 진학사 200등댄데 300명 좀 넘게 점공했던데 0
254명인가 뽑는데 조졌다 시이익팔
-
그런거 없음.
-
근데 이감 어렵다는 소리 들어서 제대로 활용할 수 있을까 좀 무섭네요..
-
저 사실 남자임 18
ㅇㄱㅈㅉㅇㅇ?
-
31등에서 30등됨 오류인가?? 표본 한명 줄엇음
-
다들 생명1 내신 1학기 중간/기말 시험범위어디까지셨나요? 5
경험 한번씩만 적어주시면 감사하겠습니다 그리고 2학기때는 중간/기말 전부다 유전 포함됐었나요?
-
어느새 오르비 2년차가 된 18세 1.0린.... 그는 문득...
-
이게 군중속의 고독인가
-
개정 꽤 된거같기도하고 근데 너무 비싸……….
-
다시 해볼 수 있는 동기라도 쥐어줘서
-
오공완 4
으흐흐 기뻐요
-
혹시 충남수 정시 진학사 1등이 몇점인지 알려주실수 있으신가요?
-
몇년만 늦게 태어났으면 대학 못갈뻔함 ㅋㅋㅋㅋㅋ
-
나중에 자식 생겨서 내신 애매하면 재입학 시키는거임
-
-
대기 엄청 많앗던 것 같은데 갑자기 우수수 빠지네........ 작년 올오카랑 약간...
-
ㅈㄱㄴ
-
우리학교는 아닌데 다른 학교에선 학교측이 학생에게 권유하더라 재입학으로 내신 딸 수...
-
삼수 고민 9
재수때 독재(잇올) 다녔었고 관리면에서 솔직히 불만이 많았고 평소보다 수능은...
-
점공율 80퍼대 2
5명빼고 다 함 너희 착한녀석들이구나
-
논술도 사실상 본고사나 다름없지않나 적성고사도 그렇고
-
대학커뮤니티 노크에서 선발한 한양대 선배가 오르비에 있는 예비 한양대학생, 한양대...
-
참 신기하기도하고 ,,, 그 사람들도 나랑 헤어지고 잘살아서 다행이고 +_+
-
국어 비문학은 정석민 쌤 듣고 매월승리 풀면서 비문학 공부하려고 합니다(정석민 쌤...
-
내신반영 씨게 걸면 자퇴가 사라질 줄 아는 윗대가리들 10
다시 생각해보니 존나 웃김 지금 한국 법제상 자퇴자는 동일 급간 학교를 재입학할 수...
-
ㅈㄱㄴ
-
귀싸대기 때리시더니 경찰부르더라 간첩있다고.
-
S상까 m살까
-
맞죠..? 학생이 모를거라고 생각하나
-
BB인지 CC인지 모르겠어요... 한번만 봐주실 분 없나요
-
오르새 선생님 커리를 인강으로 쫓아가고 있는 중 인데요, 뉴런 오티 봤다가 갑자기...
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
증명이 없다는것과 그것을 부정했을때 무모순이라는것은 아예 다름
공리를 부정하면 모순->공리가 참이라는 증명이 있다. 대우는
공리가 참이라는 증명이 없으면->공리를 부정하면 무모순
리만가설 증명이 아직 없는데 그거 부정한다고 무모순임?
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..