-
1. 걸어두기만 하고 재수할 생각인데, 1학기 학고 2학기 휴학 가능한가요? 2....
-
책오면 달려야지..
-
근데 지금 당장은 스매쉬가 구마유시보다 나은 원딜임
-
3실수틀 7까먹틀 9또틀 17또틀 18어렵틀 20어렵틀 나 42점 어캐맞았냐?
-
자사고 출신이라 자기주도학습은 1년동안 죽어라 해온 전적이 있습니다 고3때 평균...
-
서폿이 중요하다니까? 17
지금 젠지를 보셈 개개인 체급은 좋기로 유명하잖음 딮기도 이랬어요 이 코인 오래타면...
-
거의 다 끝나가서 고2 3모 풀려볼 생각인데 제발 4만 떠줘라 ... 60점이상만...
-
좀 더 지켜봐야겠지만 오늘폼 진짜 별로네
-
천안은 일단 ㅈㄴ큼 서울같음 지방이 아님 여긴 원주는 밭만 잇를줄알았는데...
-
근데 사탐런 주의할 점 12
본인이 국어적인 소양이 없는 인간이라면 웬만하면 윤리 정법은 피하세요 어차피 해보기...
-
케틀럭스같은거 써서 이기는게 구마한텐 훨씬 치명적일듯
-
에휴 1
-
최대한 꼼꼼하게 원리부터 차근차근 가르쳐주는 언매 인강 하나 들으려고 하는데, 인강...
-
종합으로 수의대 쓴다고 가정하면 어떤게 더 합격가능성이 높음? 전제조건은 종합전형,...
-
5승 0패 아닐줄 알았어 젠지는
-
그리 걱정하지마셔요 95프로는 생기더라고요! 걱정마셔요 여러분
-
이거 퇴학됨??
-
물리러만큼 막 한달 안씻는 사람이 아닌 대략 3일정도 안씻은. 숙성된 채취가...
-
젠지 상대로도 저렇게 잘해버리면ㅋㅋ,,
-
ㅈㄱㄴ
-
참... 불안불안
-
수특 오류 뭐임 2
이번 수특 수1 오류 많은거 같네요
-
https://m.dcinside.com/board/sdijn/1717607?reco...
-
어떻게 해야할까요
-
사탐런을 해도 2
지1은 안전하다는 사실 흐하하
-
애플 3 아마존 2 엔비디아 2 마이크로소프트 2 알파벳A 2 아메리칸익스프레스 4 schd 5
-
이자식들 3승 2패 각잡힌것같은데..
-
'전공의 입대' 훈령개정에 의료계 잇단 반발…"철회해야" 1
[서울=뉴시스] 백영미 기자 = 전공의의 군 입대 시기를 국방부가 임의로 정할 수...
-
ㅇㅂㄱ 4
-
어느대학 몇명붙었는지 확인할수 있는 기능 있지 않았나요? 그거 어디서 확인해요?
-
생2 25수능 하디 해설 (근수능즁에서 제일 할만한 난이도) 0
편의상 A' B'은 각각 a b로 쓰도록 할게요 1) 4번째 조건을 보시고 ㄱ이...
-
나쁘지 않은거 같네요
-
N축 쓰는사람? 5
평가원문제 풀면서 n축 실제로 써본적 있으신분? 있으면 그 문제좀 알려주실 수 있나요??
-
새내기들이랑 어울리는데 많이 어렵다고 해서
-
현우진 가리기 4
현우진 가리기 하는데 0이 되는 인수가 많으면 어케 해야댐? (x-1)에 5승 같은 것들
-
그치만 공부를 잘하는건 어렵다
-
흠
-
흐무흐무흐무무
-
과탐 사탐 3
고2까지 자연계이다가 요번에 인문계로 넘어온 고3 학생입니다… 생명 지구에서 생윤...
-
상세 해설은 지문의 모든 부분을 완벽히 알 수 있게끔 해드리고 사고 교정까지...
-
재수생 사탐런 4
작년 수능 생지 3,4 받고 올해 사탐하려하는데 사문은 고정이고 하나ㄱㅏ 고민입니다...
-
내 미천한 수학실력이 하지말라함
-
뒷페 존나어려운거맞네 지금 36 수능 37 근데 지금기준으로 6점은 실수땜에...
-
결혼도 일찍하고싶다 오손도손 행복하게살고싶구나
-
인서울 끝자락인데 최초합 가능할까요,,? 진학사 칸이 많이 낮아서 별 기대안하고...
-
한떄 우리의 정글이었던 건부 카메라 잡히니까 마음이 약해지네
-
ㅋㅋㅋㅋ
-
그냥 종합대학 사범대 가도 되는 거 아님?
-
이제부터~ 웃음기 사라질꼬야~ 죄송합니다
-
전하고 비슷하거나 살짝 올랐네 경인교대 어디감?
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
증명이 없다는것과 그것을 부정했을때 무모순이라는것은 아예 다름
공리를 부정하면 모순->공리가 참이라는 증명이 있다. 대우는
공리가 참이라는 증명이 없으면->공리를 부정하면 무모순
리만가설 증명이 아직 없는데 그거 부정한다고 무모순임?
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..
공리에는 참, 거짓이 없어용