-
아무리 불수능이어도 1컷 70점대는 가능성 매우 낮음 5
국수가 1컷 70점대인 마지막 수능이 11 가형인데 그때보다 수능이 훨씬 고인물화된...
-
아니 그게 무슨 소리니 튤립튤립아
-
킬러 배제정책 배제
-
속마음을 숨기는 버릇이 있어서 명확하게 전달을 잘 못해요
-
[속보] 윤석열 파면 조기대선 영향으로, 6월모의평가 5/27로 앞당겨져…...
-
예체능 이번 모의고사 19211인데 국어는 항상 고정1등급에 간간히 하루 리트...
-
이 노래 4
질리기전에 어서 신곡을 내도록.
-
미치겠네
-
과외 곧 시작 3
화상 키자마자 바로 정치얘기 히시는거 아니겠죠
-
수학 N제 2
6모전까지 풀 수학 N제 추천해주세요 6모 1후반등급 목표입니다 !
-
-
문 정권때보다 남녀 갈등은 완화됐던거 같기도... 근데 그때 영향 쎄게 받았던...
-
나오면 컷 얼마정도일꺼같음?
-
뉴진스 2
재판 이길줄알고 응원했는데.. 차라리 어도어에 몇달 수납당하다가 명분더생기고 무슨...
-
-
ㅈㄱㄴ 어떻게 될 가능성이 높음?
-
애인이랑 법적으로 묶이고싶음
-
두 눈을 의심했음
-
병원인데 걍 들어가있자
-
메탈슬러그 뭐가 제일 명작임?
-
공휴일로 인해
-
1. Lim(x=a)f(x) 함수가극한값을 가질 조건을 구하시오. 2.함수...
-
이민 가면 그만이야 하는데 그딴식으로 나라 맘에 안 들면 회피 ㅇㅈㄹ하면서 이민 가면 잘 살거같음?
-
브이 3
쁘이
-
윤석열 탄핵될 만한데 앞으로 여소야대 형국이면 걍 나라 ㅈ댄다고 보면 됨ㅇㅇ 근데...
-
한완수 기출? 3
1. 한완수 기출문제집인가요? 2. 인강 선생님 한완수 해설 있나요?(꼭 들어야하나요?)
-
그러면 이성이 비이성을 다시 이길날이 올까? 일단 말을 관철시킬려면 많은 조건이...
-
삭제후탈퇴엔딩 ㅋㅋ 지 주인마냥 질서있는 퇴진 하노 ㅋㅋㅋㅋㅋ
-
이런거 나올법한데
-
가끔 어빠이럼 엨ㄱㅋㅋㄱㅌㅋㅋ
-
이재명 한명이 싫으신거에요 아니면 민주당 전체가 싫으신거에요 전자를 얘기하고있는거 같긴한데 맞낭ㅛㅇ
-
윤 드릴테니 찢만 언되면 됩니다~~
-
윤석열 욕한다고 7
이재명 지지자가 아님 아니 시발 독서문제 이따구로 풀면 다틀려요 생각을 좀 합시다
-
러셀 vs 잇올 잇올도 급식 신청 가능한가요?
-
윤석열 계엄한 날에 부모님한테 계엄령 터졌다고 하니까 지랄하지 말고 자라는 소리 들음 2
아마 우리 부모님도 45년만에 계엄령을 다시 보게 될 줄은 몰랐을듯
-
여가부 폐지시킨다느니 단일화니 온갖 지랄 똥꼬쇼를 다 해서 이대남 표 겨우겨우...
-
더프 현장응시 0
3월은 집에서 치고 4월은 학원에서 쳐도 성적표에 지난 성적?? 기재해주는 칸에...
-
대한민국 유일 탄핵대통령 배출학교 타이틀을 내려놓게 되었습니다
-
-
고려대 멘토링 팀 Hitch-up이 3모 이후 멘토링 해드립니다! 0
안녕하세요, 저희는 전원 고려대학교 재학생으로 구성된 교육봉사 소모임 Hitch-...
-
[속보] 문재인 "헌법으로 민주공화정 지켜내‥모두 국민 덕분" 3
헌법재판소가 윤석열 전 대통령을 파면하자, 문재인 전 대통령이 "헌법과 정의의...
-
예상했던 대로 됐네 걍
-
일단 답은 5번
-
-
-
어지럽네
-
ㅠㅠ
-
좀 더 큰거 없나
-
ㅇㅇ
-
일의 순서와 목적을 구분 못하는 거랑 같은 듯. .. 브레인크래커 1강만 봐도...
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
증명이 없다는것과 그것을 부정했을때 무모순이라는것은 아예 다름
공리를 부정하면 모순->공리가 참이라는 증명이 있다. 대우는
공리가 참이라는 증명이 없으면->공리를 부정하면 무모순
리만가설 증명이 아직 없는데 그거 부정한다고 무모순임?
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..
공리에는 참, 거짓이 없어용