-
난 뉴런보다 한완수가 더 좋은거같은데
-
토나올것 같음 0
하 ㅠㅠ
-
사탐의 신 3
이 되어볼게
-
오늘 해야할거 0
국어 올오카 (독서) 엮어읽기 66p,82p 올오카 (문학) 강의내용 복습 엮어읽기...
-
[속보]우원식 “대선과 동시에 개헌 국민투표 추진하자“…개헌 승부수 4
우원식 국회의장은 6일 “이번 대통령 선거일에 개헌 국민투표를 동시에 시행할 것을...
-
마닳2 까지 집에 있눈뒈
-
대학갔더니 동기들에의해 씹덕타락화하고 있어요
-
오르비도 좀 그런 느낌이고 현생 친구들 보면 그런애들이 너무 많음 ㅋㅋㅋ 솔직히...
-
공통 어렵게 주면 상위권 통통이들은 표점 안락사인거임
-
방접 했었네.. 내가 군대 온 사이에 무슨 일들이..
-
알았냐 보통 설의법이라 하지 설의적 표현은 생소하네
-
문이유 몰아듣기 드가자
-
작년 미적 2830 찍맞쉽게+22 실수유발(실력자들도 틀리게) 콤보 써서 어거지로...
-
복효근 에서 ‘얼음 위에 누가 저렇게 돌을 던졌을까’ 답을 요구하는 질문은 아니라...
-
배기범 개빡치네 5
ap7 v2 저저번주 금요일에 개강한다고 해놓고 아직까지 ot도 안 올리는건 진짜 뭐지
-
서울대 컴공 또는 첨융 희망하는데 과탐으로 생2지2 선택해도 될까요? 원래는 물2를...
-
난 슬슬 올거 같음
-
D-11 8
할수있다 할수있다
-
기출봐야지
-
확통 공통평균 높여야댐.. 공통 잘하면 확통은 금방이니 다른 과목에 투자...
-
2배속 어떰
-
앙그루트 0
생수
-
존나어렵네시발 4
일본어나 먼저 해야지
-
ㅇㅇ 내가 증명임
-
1주만에 푼거 감안해도 5개중 3개 틀렸네........ 아니 어떻게 그게 자부심이었냐고 아 ㅋㅋㅋ
-
대입논술을 공부하거나 경험이 있다면, 짧은 설문에 참여해주세요!2024학년도부터...
-
남자가 선연락 치면 어느정도의 호감은 있는거 아니냐 2
남사친 여사친 관계가 다 그런거 아녔어?
-
막상 내가 갈 때 되니까 군필분들이 존경스럽고 대단하게 느껴지네..
-
그만큼 다른 자격증들이 대따 어려움. 심지어 공인중개사 1차 민법도 수능 정법보다 훨씬 어렵다.
-
대통령의 권한(국방,외교에 한함)을 줄이고, 국회에서 내각(내치)을 구성하도록 하되...
-
차단할 뻔한적은 세 번 있었긴 해
-
수학 (하) 베이직쎈의 기초문제 다량 투하,,, 널 포기할 수 없다
-
응 바로 몽블랑 아이쇼핑으로 런
-
어머님 저는 독서 문학만 가르칩니다(전 교육과정에서 화작해서요)속닥속닥 하면 바로 꺼지라 하겠지?
-
-
학교갈까 2
심심한데
-
. 2
.
-
내안을 파고드는 가시이이이이이가되어어어어어
-
아무 것도 안하게 되네 이 위는 내가 갈 수 없는 곳일 것 같음
-
세지vs정법 2
사문은 끼고 할거임여 ㅊㅊ좀 이유잇음 댓글 부탁드림니다 생윤은 점수가 안정적이지...
-
그냥 강사분 기출만 풀어도 충분한가요?? 제가 생각중인 이상적인 방법은 강사분...
-
전 게시물의 여러 의견들 감사합니다! 조금 더 제 상황을 보충한다면 더 다양한...
-
구라같냐 이눔들아..!!
-
매주 현강가서 기원‘s weight lifting function, 역함수 해석...
-
6P2도 계산 한참 해매는데 어카쥬... 수학하 베이직쎈부터 진짜해야하나
-
내신 자체휴강 ㅆㅂ ㅋㅋㅋㅋ
-
정시 파이터로 살면서 내신 한 번도 안 해봐서 뭐 해야할지 감도안옴 ㅋㅋ
-
으어 ㅠㅠ 중간고사 준비하기 싫음 ㅍ_ㅍ 하지만 나는 안해도, 내 과외생들에게는...
-
배기범쌤 교재 4
강의 안들으면 못사넹..
-
어캄 띠바
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
증명이 없다는것과 그것을 부정했을때 무모순이라는것은 아예 다름
공리를 부정하면 모순->공리가 참이라는 증명이 있다. 대우는
공리가 참이라는 증명이 없으면->공리를 부정하면 무모순
리만가설 증명이 아직 없는데 그거 부정한다고 무모순임?
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..
공리에는 참, 거짓이 없어용