-
저녁메뉴추천좀
-
n수해서 대학가놓고 남들이랑 똑같이 캠퍼스 라잎 누리려는건.... 5
장수생 비중 높은 한의대같은데서야 뭐 가능할지 몰라도 실제로는 쉽지않음........
-
장수생 패기 메타....
-
히힛 오르비 잼밌따 이런 벌써 오르비만 세시간 했잖아??? 오늘도 이리 허무하게...
-
정시 대학 하나를 추합권(5칸)으로 쓰고 나머자 두 개를 상향 지원 했는데...
-
17분전 연세 서강 가자
-
옵붕이인거 티내게 되는건가
-
뭘 보라는 거지..? 합격 예상은 어디 사이트 추천하시나요
-
보통은 후배가 아쉽지 선배가 아쉬울게 없지요 아쉬울게 없는 선배가 자기보다 나이...
-
학번에 따라 선후배 진짜 따짐? 존재를 믿지 못하겟슴 군대도 아니고 왜 따짐?
-
-
2026 수능 대비 쌍사 기본서 게시[Docs(PDF) 지식 거래소] 2
2026 수능을 위한 세계사, 동아시아사 자료 게시를 시작합니다. 기본 개념 -->...
-
대학커뮤니티 노크에서 선발한 성균관대 선배가 오르비에 있는 예비 성균관대학생,...
-
같은 남자일때 20학번3학년 21힉번4학년이면 누가선배임
-
사탐런 생존가능?
-
인강민철 0
1,2 건너뛰고 3호부터 해도 되나요?
-
할 필요가 없음 전역하면서 갖고 나온 가방 쓰면 됨
-
조교일 하러 갈 때마다 근처에서 식사 해결해야 되는데 진지하게 맥날보다 맛있는 집이 없는거같음 ㅇㅇ
-
엑셀 돌리던 대학 13
벌써 1여 년 전이다. 내가 갓 원서를 넣은 지 얼마 안 돼서 합격여부를 기다리고...
-
응..
-
먼저 있었다고는 들었을 경제지리 옛날 한국근현대사, 정치, 법과 사회 등 과목...
-
여러분은 혹시 지하아이돌에 대해 알고 계시나요? (링크를 제시하며) 1
솔직히 순수 재미로는 지하돌 이길 취미 없음 ㄹㅇ...
-
다른 재밌는 공부를 모르는 병신 세상에 얼마나 재밌는 공부가 많은데...
-
전문가들 “수능 논·서술형 도입 필요”…국민참여위원도 공감대 17
학생과 학부모, 교육 관계자로 구성된 국가교육위원회(국교위) 국민참여위원 10명 중...
-
대학커뮤니티 노크에서 선발한 단국대 선배가 오르비에 있는 예비 단국대학생, 단국대...
-
난 왜 건대경영보다 칸수 낮게나옴 ?
-
내일모레 면접인데..
-
아직 기출 제대로 돌리기 전인 현역이라 잘 모르는데 수능에 계차수열은 이제 아에...
-
미적 100 2
미적 100 되려면 어케 해야함? 옛날부터 꿈이였음 이번에 재수하는데 지금 수학만 오지게 하는중
-
N수를 한다는건 아닌데 걍 스도쿠 푸는 느낌으로 심심할때마다 수학 실모 푸는거임...
-
근데 문제풀때마다 까먹어서 증명만 오조오억번째함
-
제곧내
-
민증 4번째 재발급하러 가는길 다다음 정류장에서 내려야지 했는데 게임한다고 내릴...
-
????????
-
소신발언) 난 대학 생활보다 수능 공부가 더 재밌었음 7
백날 술게임 해봐야 순수재미는 강케이 서바 풀기에 못 비빔 ㅇㅇ
-
날 말리지마 죽어죽어
-
드가자
-
지방 촌동네 일반고 다니는 학생인데 고3 등급 나오는 과목도 꽤 남았고 모고 등급도...
-
이유가 이상한 글을 쓰지 않아서라.. 난 이상한글밖에 안썼으니까 못깜
-
왜케 꼴보기 싫지
-
차라리 비키니 여자로 도배되는게 나을거같은데 그래도 개나 고양이로 도배하는 게 낫겠지....
-
이거 될까요? 점공 알려주실 분 구함…
-
점심때마다또야구틀고있겠네
-
드세고 고능한 적백녀. 나에게 빡통이3끼라고 매도하지만 결국은 데레데레하는 적백녀...
-
그만하는게 낫겠죠? 실패했지만 최선을 다 한거 같다는 자신도 있고 나름 저 스스로의...
-
저 말고 앞에 빠질 분인데 고려대식 658.69 이거 고대 교육학과 되나요? 점공...
-
개놀라서 바로 글 모아보기 봤는데 아무 얘기도 없길래 안 뜬거죠?
-
형은 그냥 인스타 본계를 깠어.
-
1. 오르비에 #~# 사진을 올린다 2. 산화된다.
-
기본회계 혹은 일반회계라는 표현이 더 맞는거 같은데
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..