-
안그래도 돈 필요해서 알바시간 늘리고 싶었는데
-
힘들다 7
그러게 현역 때 열심히 했어야지
-
3월더프2나왔고 개념기출 일회독 다했습니다 지금 수특풀고 있구용 근데 진짜 모든과목...
-
자체 pdf리더 앱을 통해 라도 주면 좋겟다 책 무거운데 패드만 들고다니고 싶다
-
부산이라 모름
-
아. 5
비오는데 회색후드입고잇올갔어요 우산도 없어서 약국으로 대피함 아버지 콜 불러서 빨리...
-
그대신 누구들을지 정했으면 그 강사랑 똑같이 읽고 문제를 풀 수 있도록 공부해야함...
-
비 너무 싫어 2
-
병원 다녀왔어요 4
외과쌤 사정없이 고름 부위 후벼버림
-
전 메가패스 있는데 서로 공유하실 분 있나요???
-
보통 수특은 0
언제 끝내나요? 한바퀴 기준
-
얼버기 전에 10
ㆍ
-
이미지t 미친개념 듣고있는데 강의 듣고 연습문제 푸는데 안 풀리는 문제는 얼마나...
-
자살하고싶늠
-
재수생 순공시간 5
재수생분들은 순공시간이 보통 얼마나 되나요?
-
나만 인강들으면 2
몸 베베 꼬고 집중못하나 난 독학서 효율이 다좋은듯 인강은 자꾸 집중못해서 돌려봄
-
과외생 3
1시 수업인데 오늘 아침에 질문 몰아서보냄 때릴까
-
오늘 과외 2
준비안하고 갔는데 다행히 잘 마쳤다 아직 1개 더 남앗어ㅜㅜ
-
갠적으로 제로 스토리가 젤 재밌었음
-
영어 쉬웠네요 채점 저는 여기서 확인했어요 검정고시 영어 정답
-
수성구 1
새로생긴 아파트들 좋네 과외생 집 부럽다ㅜㅜ
-
시대 정규반 1
시대 정규반은 상시 모집인가요? 6모 이후로 시대 정규반 들어갈 수 있나요?
-
영어도 끝이네요 ㅎㅎ 영어점수 확인하세요!! 검정고시 답안 확인
-
-
난이도 어렵다고는 들었는데 상방 뚫는 n제 시즌에는 사서 풀만한가요?
-
N제중 뭐가 제일 좋은가요..?
-
우리학교 교사가 설명을 뒤집어자ㅣ게 못합니다 그래서 수업땐 단체로 자체자습으로...
-
아침부터 심심해
-
-
어이 사문러들 5
이 사탐런하는 허수 좀 도와주세요.... 물리한테 두들겨맞고 사문런하려는데 임정환...
-
요즘 말투 바뀜 10
아이고 안씀
-
[FIM] 54번 풀이(180630가+181130나) 2
난이도 : 8/10 겉보기 난이도는 최고난도이지만, 의외로 경우의수가 쉬워서 풀이는...
-
해장 추천 1
국물위주로 ㄱㄱ
-
-
피곤하고 잠오면 어떻게 해결할까요
-
보통 어떻게 하나요
-
39도 2
타이레놀 먹어도 ㅈㄹ 몸이 골병듬... 여러분들은 건강 잘 챙기시길
-
ㅈㄱㄴ
-
[앵커멘트] 광주에서 대규모 수학능력시험 부정이 적발됐습니다. 관련된 수험생만...
-
언매 웬만하면 다 맞으시는 언매황님이 계시다면 인강 강사 추천 부탁드립니다 작수...
-
ㅈㅅㄴ
-
『오줌발사』 2
-
근데 검정고시는 탈락할 수 있는 난이도가 아니었음
-
쌍사 시너지 미쳤다는데 ㅈㅉㅇㅇ? 지엽적인거 많아요? 해보고 싶함...
-
히히
-
구문해석은 되는데 지문 독해가 잘 안되는 거 같아서 뭘 들으면 좋을ㅋ가요? 메가였으면 좋겠습니다
-
1. 어떤것을 잊으면 병이다 1의 대우명제는 2. 병이 아니면 모든것을 잊지않는다...
-
뭔가 복영에 복영을 보는 느낌임 왤케 이질감 들지 그냥 금요일 수업 틀어주는거일텐디..
-
-
4덮 0
더프도 문학 ebs 작품 나와요?
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
증명이 없다는것과 그것을 부정했을때 무모순이라는것은 아예 다름
공리를 부정하면 모순->공리가 참이라는 증명이 있다. 대우는
공리가 참이라는 증명이 없으면->공리를 부정하면 무모순
리만가설 증명이 아직 없는데 그거 부정한다고 무모순임?
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..
공리에는 참, 거짓이 없어용