-
아직도 서울 ㅡㅡ
-
plz
-
손
-
리젠이 멈췄다 2
-
11시 22분.
-
근데 이제 좀 일감이 많아서 피곤해짐 =_=.... 그래도 좋아하는 일과 공부를 할...
-
반으로 갈라져서 시네
-
50점 맞으면 되는 거 아닌가?
-
주변에 몸매 상당한 친구 있으면 저런 애랑 자보고 싶다거나 만지고싶다거나 벗겨보고...
-
기술적취침 0
-
현우진쌤 카르텔 얘기한거때문에 못쓰겠다.. 리바이벌 제본할까 생각했는데 중고나라가서 찾아야겠다
-
사관 86점, 경찰 87점 사관은 뭔가 안어려운 느낌이였는데 4개나 나가고 경찰대는...
-
물리 고정에 화생지중 뭐할지 모르겠노 화학은 일단 ㅂㅅ과목이니까 거르고 생명 아니면...
-
-
학벌은 1
중경외시가 컷인거 같아
-
소주 7병 3
맥주 1.6L ㅎ
-
고3들 3모 보고 충격먹엇나봐
-
아..
-
-
대체뭐지
-
과외생을 위한 필기노트 10
교재에 개드립치는걸 좋아하는편
-
아쉽네 ㅠㅠ
-
-
있음? 진지함.
-
진로과목에서 다른 과목들은 다 A인데 체육만 전 학년 다 B거든요 이러면 고대...
-
이동준 나진환 홍준용 권현석
-
왜 문상 2개 밖에 안날라옴? 날 속이고 합격증 슈킹한거니???
-
이게 진짜 고닉의 힘이구나 고닉의 파급효과
-
고전짤과 함께
-
-
나이스
-
브이 3
-
6모 이후에 내신 공부 계획까지 다 짜놨는데ㅠ 파워 J라서 진짜 현기증나요ㅠㅠㅠ
-
ㅈㅅㅇㅂ자꾸 12
좆소일베로 읽힘 오르비 가입할때부터 그랬음
-
점수로 고려할 건 사탐 / 과탐 변표 유불리밖에 없죠?? 확통이냐 미적이냐가...
-
한과목 당
-
-
본인 주사 발견함 14
사람이ㅠ좋아짐 사람ㅜ♡
-
맞나요?
-
근육은없다고할떄 어떤형임? 통통 보통 뚱 슬림 등등중 외적인 이미지 ㅇㅇ
-
독서 2
강민철 듣다가 김승리로 옮겼는데 김승리처럼 표상하면서 쭉 흐름타는게 요즘 독서에는...
-
뭐가나음? 서성한 공대가고싶은데
-
기숙에 과잠 2
기숙 다니는데 지금 시기에 과잠입고 다니는 거면 과잠만 받고 바로 학원으로...
-
기숙 0
기숙 추천 부탁드려요
-
무잔이다 5
그는 죽지않아
-
김현우 스탠다드 4
스탠다드 책만 푸는거 괜찮나여
-
아파서 일주일째 책 못피는중임ㅇㅇ 그냥 앉는것 자체가 힘듦 중간고사 20일 남음 아...
-
으로 닉 바꾸고 하니프사함 ㅅㄱ
-
자동차 소리 신경쓰이지 않음?
-
과탐 사탐 동일시간 투자한다 했을 때 과3사1임 아님 과4사1임? 과탐을 특출나게...
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
증명이 없다는것과 그것을 부정했을때 무모순이라는것은 아예 다름
공리를 부정하면 모순->공리가 참이라는 증명이 있다. 대우는
공리가 참이라는 증명이 없으면->공리를 부정하면 무모순
리만가설 증명이 아직 없는데 그거 부정한다고 무모순임?
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..
공리에는 참, 거짓이 없어용