-
아 토할거같아 2
씨발
-
선넘는 조언도 환영이오 어떻게 시발비갤보다 점수가 낮소
-
언젠간 오르비의 글을 바탕으로 블로그를 써야지 하고 생각은 하고 있다만 2
내 국어사 블로그는 영원히 쓰일 리 없을 듯 이놈의 귀차니즘
-
ㅇㅈ 5
머리 예쁘징//
-
이매진 매월승리 간쓸개 이감모고 다 하는거 개오바인거 같긴한데... 이감 안하면...
-
수능 때 생윤치는 애들 이겨야하는데.. 부족할까요 근데 원래도 자이 하나 풀고 수특...
-
아랍상 두부상 7
대충 눈코입 뽝!이면 아랍상임? 무쌍에 순하게 생기면 두부상인가
-
치킨 시켜서 맥주 까는 낙으로 일주일 버팀 행복해서 눈물날것같다. 오직 순간을...
-
.
-
왜냐면 이제부터 기다림이 24시간이 넘을 때마다대가리를 존나 쎄게 쳐서 제 머릿속을...
-
https://orbi.kr/00062221739 링크에 들어가기만 해도 노트북이...
-
아랍녀 두부(외상x)남 커플 뭐가 더 많음?
-
그냥 저 시험 잘밨어영 뽀뽀해주세영 하면 될 거 같은데 저능아니 뭐니 이런 어휘로...
-
두명아 빨리 좀 나가주지 인스타 스토리용인데 ㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠ
-
의대는 확실히 일반고가 더 나은거 같고 공대는 수시로 동실력이라고 가정했을때 어디가 더 유리함?
-
‘대수적 수’(algebraic number)란, 모든 항의 계수가 정수인 다항식의...
-
뉴비도 오세요
-
점수 몇점에서 몇점까지 진동하셨나요 가장 최근에 푼 실모인 히카 22회...
-
수원인데 오실 4
여기 좋음
-
둘다 내취향으로 생겼는데 이미 둘이 맨날 밥먹고 술먹음 에휴다
-
나랑 만나서 머함;
-
이게뭐노
-
최근의 먹부림2 1
는 사진찍은게 별로 없넹
-
현역 고3 문과생입니다.. 올해 3모 확통 69점으로 3등급 나왔고, 공통은...
-
옯만추 할 사람 10
나는 삘 오면 진짜 가
-
음… 좋아좋아
-
소신발언) 1
삼도극 무등비가 있었다면 내가 25수능 수학 1등급이었을 것.
-
소수점 둘째짜리 호감도 32
-
오르비 ㄹㅇ 음 7
ㄹㅇ 글 쓰는 사람만 쓰네 맨날 보던 사람이 대부분이고 저렙노프사 뉴비들 전멸인데 거의
-
현역은 현역끼리 놀고 n수는 그냥 자기들끼리 섞여서 노는 듯 사실 어느 정도부턴...
-
ㅅㄱ
-
2년 쉬었다 다시 보는거라 개념약간 헛갈림 삼도극 시발점 목달장 로스쿨 사탐런 수학...
-
안녕하세요... 이 고민을 말할 곳이 없어서... 어디다가 올리지 고민하다...
-
도표 없는 물2생2함
-
응응 안 써줄게
-
사랑도안돼 그렇다고 슈퍼핵인싸도 아님 공부라도 해야 한학기끝에 뭐가 남음 ㅅㅂ...
-
씻을게 2
찝찝해서 물리포기
-
나는 호감도 몇임 10
나 호감 아닌가.. 나 싸우지도 않앗고, 나 나 아무것도 안햇는데,,
-
상처받을거면 나과가 제 철칙임
-
하투하 이안이 진짜진짜진짜 너무 예쁨 아이돌 관심 없는데 인스타에 뜰때마다 멍때리고 쳐다봄
-
의문사 ㄹㅇ 호감이네 19
화학하는 존예 기여미
-
디코 오셈 1
1시에
-
아 배고파서 1
오르비언들 먹어버리기
-
현돌 김종익 4
현돌 실개완vs 김종익 잘노기 누가 더 나을까요??
-
화학보다재미있는과목을만들어주던가
-
편안하고,, 분쟁도 없는,,오르비는 나에게 집같은 곳,,ㅡ
-
현돌 생윤 질문 0
실개완에 수능특강 정리 들어가있나요?
-
나랑 친한사란 호감도 써주고 실없는 농담따먹기하고 서로 오르비에 이름...
-
컴공 무물 2
예 안녕하십니까 질문해주시면 성심껏 답해드리겠습니당
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
증명이 없다는것과 그것을 부정했을때 무모순이라는것은 아예 다름
공리를 부정하면 모순->공리가 참이라는 증명이 있다. 대우는
공리가 참이라는 증명이 없으면->공리를 부정하면 무모순
리만가설 증명이 아직 없는데 그거 부정한다고 무모순임?
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..
공리에는 참, 거짓이 없어용