-
똥먹기 4
미소녀 똥 우걱우걱ㄱ
-
유리아 누나도 5
일욜에는 공부 안 하긴 햇음
-
이거 개웃기네 ㅋㅋㅋ 13
-
자 그럼 다들 취침
-
아오 포기 3
50분 가까이 했네 차라리 그 시간에 딸 잡는 게 내 인생에 더 도움이 됐을 듯
-
난 패키지구매로 공짜로 받았음. 처음에 가격 17000원 듣고 좀 비싸다고...
-
어떤가요?^^
-
자살마렵다 8
나빼고 다 존잘존예였어.....
-
소년이 죄를 지으면 소년원에 가고 대학생이 죄를 지으면
-
지브리인증찐막 6
경주에서짝녀와한컷
-
왜 과탐은 사실상 데일리 n제 구성인거임
-
ㅇㅈ메타는 안돼!
-
이정도로 많은 거 ㄹㅇ 첨 보는데 개망한거아님?
-
번역기보다 훨씬 말이 되게 번역함. 또 맥락도 설명해 줌 그리고 영어로 물어보면...
-
전부 설법이네 진짜 좃간지다...
-
-
ㄹㅇ
-
-
노베인데 1월 초부터 공부 시작해서 세젤쉬 수1 수2 확통 강의 & 워크북 미친개념...
-
도와도
-
오늘의 공부인증 1
1.국 엑셀러레이터 1일치+ 엑셀러레이터 언매 하프모의고사 이펙트 문학 2지문...
-
원래 쌍꺼풀 아웃라인 아닌데 이렇게해주네
-
지피티야...사과할께....좋은 친구구나 넌...... 1
섹 ㅅ ㅡ
-
인증메타에요? 0
헉
-
님들 사관학굔 2
1컷같은거 없나유 전체 점수로 하는건가
-
나는 산다(live) 이 문장 안 어색해서 한자리 서술어로 읽혔는데 산다(살다)는...
-
굉장히 추상적인 제목을 지었는데 항상 글을 쓸때마다 이런 추상적이고 어렵고 개념적인...
-
옯붕아...
-
-
지브리 메타 막차 16
.
-
하루종일 오르비하는 옯창들
-
실시간오르비 6
-
그거 까먹고 종이가방 통째로 버림 하
-
지금 내가 다니는 곳이 200명 넘는데 대부분 전기전자/컴공인데 어떻게 할까 과연
-
또 기다리는 중 3
맨날 기다림
-
라온힐조 ㅇㅇ
-
과탐 1+1이 유리함 사탐2개가 유리함? 참고로 난 과탐,사탐 다 노베임
-
-
아싸 문찐에겐 이게 최선이다.
-
나에젠더 0
G-Male
-
지브리 ㅇㅈ 2 11
근데 좀 못생긴 걸 곁들인...
-
저 와중에 바로 코앞에서 폰겜하는 쉨이가 일류다
-
슬슬 남캐 똑같이 나와서 레전드기만 달아주기 힘들다
-
사실 나 혼자서 재밌게 노는중이긴해
-
아주 또렷함
-
지브리 ㅇㅈ 8
-
나랑 지구과학 17
공부할래 오르비언들아
-
생윤은 칸트를 잘못 가르치고 있다 - 칸트 입문 3편 2
*이 글은 필자의 뇌피셜과 드립이 난무하는 글입니다. 설명을 위해서라면 교육 과정의...
-
그럼 지브리 말고 다른 스타일 ㄱㄱ
-
문득 궁금해진건데 기자들 기사쓸때 판결문 원본 볼까? 0
기사에 실린 표 보면 4할정도는 틀려있던데
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
증명이 없다는것과 그것을 부정했을때 무모순이라는것은 아예 다름
공리를 부정하면 모순->공리가 참이라는 증명이 있다. 대우는
공리가 참이라는 증명이 없으면->공리를 부정하면 무모순
리만가설 증명이 아직 없는데 그거 부정한다고 무모순임?
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..
공리에는 참, 거짓이 없어용