님들아 진지하게 이거 평가좀 해주셈
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
닭집 강등가냐 1
ㅋㅋ
-
오른쪽이 공대 사탐이 맞아야 하는 백분위고 왼쪽이 공대 평백이에요 국영수 평백 볼...
-
아 내 돈 쓰기 싫어서 12
엄카로 메가패스 100만원 결제했더니 바로 전화오네 지금 전화 안받고 씹는중
-
그렇게 수험생 때는 죽어도 하기 싫던 영어를 편입때문에 인생에서 최초로 제대로...
-
2506은 미적평이 공통 불이고 2411은 공통 평이 미적 불인데
-
2월부터 할건데 얼마나걸리심? 확통 딱3컷인데 ㄱㅊ나요?
-
자아분열 래퍼가 되고 있어
-
이번수능 풀수있을까료
-
어땟어요??
-
근데 노크 저건 0
웬만한 대학 다 되면서 시립대는 왜 없는거임?
-
탁구신동 기록보관소를 쓰면
-
똥색 1명남음 6
똥칠할사람 선착 1인
-
!!ヽ(゚д゚ヽ) (ノ゚д゚)ノ!! !!ヽ(゚д゚ヽ) (ノ゚д゚)ノ!!...
-
다들 예쁘고 잘생기셨음 연대도 그랬고 성대도 그랬고 서강대도 그랬음 서울대 과잠...
-
홍대 재학생 선배가 알려주는 자취하기 좋은 동네 2탄! 0
대학커뮤니티 노크에서 선발한 홍익대 선배가 오르비에 있는 예비 홍익대생, 홍익대...
-
참 좋았을텐데 집독재 진짜 ㅈㄴ 어렵구나 같이 공부하는 사람이 없으니 너무 힘들다
-
민증 재발급할때 4
전에 민증발급때 쓴 사진 재탕하면 빠꾸당함..? 재발급 전에 한지 반년 좀 넘었는데 또 잃어버림 하
-
대학커뮤니티 노크에서 선발한 한국외대 선배가 오르비에 있는 예비 한국외대학생,...
-
안철수가 여성가족부폐지 딱 7글자만 sns에 적어도 대통령 되는데 이새끼 그런...
-
나 취업함 13
외국계 logistic 기업에서 Vehicle Container Management...
-
대학커뮤니티 노크에서 선발한 성균관대 선배가 오르비에 있는 예비 성균관대학생,...
-
그냥 책만 열심히 읽는거로 할까 다 알고있는거라 좀 그렇네 그냥 엔제실모나...
-
진짜 걍 생각하는건데 22
오르비에 생각보다 외모가 준수한 인간이 많은거같음 약간 상당히 의외임 응
-
조발을 하라!! 쾅쾅쾅쾅
-
걍 레전드네 진짜 아무것도 안 하고 월급루팡중임
-
2트 제발 끝까지 릴레이 (노래명.바람기억)
-
근무지에서 공사하는데 드릴소리랑 용접소리 못박는 소리 이거 못견딤 지난주부터...
-
잼민이 봤음 뭐지
-
건대는 이미 조발 희망 버림
-
잠자는게 좋다 1
깨있는거보다 자는게 정신적으로 좋다
-
현우진 뉴런 듣는 목적이 뭐임 뭘 얻으려고 듣는거임 실전개념?? 기출분석??...
-
경희대가 가성비 좋은게 11
입결에 비해 사회적 위상이나 인식이 너무 좋음 문프의 대학이라 그런가 입시 잘...
-
버스 놓쳤다 아 3
알바 늦겠네 십
-
선호도 차이가 거의 50 ㄷ 50이던데 중경외시 버전의 연vs고 랄까
-
ㅈㄱㄴ
-
합격증 좀 빨리 받고 싶어
-
고3이고 국영수 시간 쏟으려고 사탐런 사문 생윤 공부 중입니다. 목표는 건대...
-
바선생이 내 침대에서 뚜들겨 자고있음 어카지
-
중소 정도까지 내려오니까 망하는 회사 많아져서 요즘따라 회사나 사업부 사고팔고...
-
제발 연세야
-
서울과기대 합격생 왈.왈.왈 연고생이 “공대면 다 똑같어~~” 이거랑 경 다니는...
-
각자 진영가서하세요
-
아까 말 나와서 풀어봄 13
21년 10월 22 수2 22번이 그립기도 하고(241122 제외)
-
ㅇㅈ 9
내 나이 19세. 페북 스토리로 저격 먹다 오랜만에 페이스북 들어갔는데 저격 있길래...
-
건대 6일 2시 경북 7일 4시 경희 1월 24일 6시 아따 뒤지게 느리네
-
저는 수능 전에 나는 충분히 실력이 있기 때문에 아는 문제만 다 맞히면 된다 아는...
-
서울과학기술대학교 합격생을 위한 노크선배 꿀팁 [과기대25] [동아리 추천] 0
대학커뮤니티 노크에서 선발한 서울과학기술대학교 선배가 오르비에 있는 예비...
-
얌전히 지방의로 가라.
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..