-
왜 자석끼린 밀어내기도 하는데 철판은 당기기만하죠? 0
왜져ㅛ??
-
김범준 필노 0
진짜 당황스러울 정도의 초고퀄 제본이라 난 모든 화가 풀렸다. 권당 2만원 받아도...
-
보통 올해 수특에서 내나요? 아니면 작년도 수특에서 내나요?
-
전광훈 전한길 0
얘네둘은 근데 돈도 많으면서 왤케 후원구걸을 하지 재산을 얼마나 불리고싶은거여;
-
안녕하세요. 이번에 정석민을 듣기로 했습니다... 정석민 들으시는 분들은 강의...
-
[투표] 수리 가형 21,30 VS 현 기조 고난도 N제 0
둘이 비교하면 어느게 더 밀도있고 어렵다 생각하심?
-
치킨치즈머핀 vs 치즈제육
-
백악관, 尹 파면에 "한국 민주적 제도·헌재 결정 존중"(종합2보) 4
[워싱턴=뉴시스] 이윤희 특파원 = 도널드 트럼프 미국 행정부가 4일(현지 시간)...
-
제가 영어가 진짜 쌩노베인데 영단어장을 뜯어먹는 중학단어1800? 이거 외우고...
-
어쩌라고 ㅗ
-
저는 막연히 한계를 경험해보고 싶다는 마음으로 공부를 하고 있는데요, 문득 구체적인...
-
얼버기 2
부지런행
-
어제 에지간히 피곤했는갑네
-
ㅎㅎ 잠 깼다 1
기분 좋아졌어 아 나 진짜 대가리 꽃밭인듯
-
인권 보장 부탁.
-
계속 개소리 짓거리며 내말이 맞다고 우기는데 자고일어나면 그게 왜틀렸는지 알게됨..
-
작년 재작년에 더프쳤는데 거의 겹치려나요 풀지말지 고민인데
-
수학 N제 추천 2
죽기전에 이건 풀어봐라 하는거 있나요? 지인선 다하면 드릴할지 이해원할지 고민인데
-
으으 드러워서 내가 빡일한다 당분간 일하다가 많이 속상해할예정
-
-
발상노트 쓰는 데 시간이 너무 오래 걸려요 문제 이해하지 말고 그냥 풀이랑 예시만...
-
새르비 뭐임 6
-
하..
-
재종다녀보신분들 1
재종다녀보신분들 시대랑 강대 중에 어디가 좋을까요 추천부탁드립니당
-
여기에 수업까지 끼면 힘들어서 우울증 올 것 같은데
-
(꾸준글 1일차)
-
검고보러간다 4
드가자잇
-
지각이다.. 1
(진짜 지각임)
-
트럼프 시발아
-
-
그러하다
-
살기싫어요 5
아 과외 아치에 잡지말걸
-
세상에 없는거 같아요 으아아ㅏㅏㅏㄱ 그래도 올해 성불해야되니까 갔다올게요
-
얼버기 3
피곤해
-
왜 비오냐 2
우산없는데
-
계속 숏치라는 하늘의 계시인듯 양봉마다 숏 때릴예정
-
내신 수업이지 ㅋㅋㅋㅋ
-
잘생겼는지 어떻게 확인하냐
-
졸려서 그냥 자버렸는데 뭐 난리가 있었나요..
-
농어촌 1
이번에 만약 의대 감축된다면 농어촌한테도 영향이 큰가요? 의대증원일때도...
-
ㅇㅂㄱ 1
머리 깨질거 같아요
-
블랙먼데이냐 시발?
-
얼버기 0
ㅇ
-
얼부기 2
방가워요
-
3년전에 활동하던 곳인데 그때나 지금이나 내 사상은 거기서 거기인듯 중딩때부터...
-
힘들어죽겠다...
-
새르비 개쩌네 1
저걸못봄..
-
시민1:헌재 불질러버려 #~# 시민2:이게 말이 되냐고오오오!!!! 전광훈:아니...
-
1. ∀x (E(x)) (모든 것이 존재한다) 1의 부정은 2. ∃x (¬E(x))...
-
션티하고 이영수 중에서 누가 괜찮을까요? 이명학은 제 수준에서 보기엔 힘들것 같아서 제외합니다.
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
증명이 없다는것과 그것을 부정했을때 무모순이라는것은 아예 다름
공리를 부정하면 모순->공리가 참이라는 증명이 있다. 대우는
공리가 참이라는 증명이 없으면->공리를 부정하면 무모순
리만가설 증명이 아직 없는데 그거 부정한다고 무모순임?
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..
공리에는 참, 거짓이 없어용