-
갱 챠 냐. 5 0
딩딩 딩딩딩. 딩딩 딩딩딩.
-
버스 앞에 끼어들기 하던데 그 친구들은 목숨이 세 개는 되나봐요
-
내가 대학교 입학 전으로 돌아간다면 #2 [과기대25][서울과학기술대학교] 0 0
대학커뮤니티 노크에서 선발한 서울과학기술대학교 선배가 오르비에 있는 예비 과기대생,...
-
정치메인글 챗지피티 분석 3 0
이 댓글창은 다양한 정치적 입장을 가진 사람들의 의견과 논쟁으로 가득 차 있으며,...
-
님들 이거 뭐임? 3 0
평가원기출같은데
-
칠게요 1 0
치러 갑니다
-
드디어 최애배우 새필모 나옴 2 0
옥씨부인전 많 관 부 대학관련 얘기 아닌걸로 제가 이리 신나는 모습을 못보셨을거임
-
대학 등록금 납부 0 0
나 대학 원서는 처음이라 그런데 만약에 최초합 받은 대학에 등록금 납부했다가 추합...
-
진짜 올해가 역대급 꿀인거같음
-
-
팔로워 200이당 12 1
300이 ㄱㅡㅁ테구나 ㄲㅂ
-
저도 맞팔해주세여 0 0
사랑해요
-
하다가 안될 때 사는게 맞지 않나요 너무 비쌈 인강
-
이제 약 5시간 뒤면 3 1
그가 돌아오는구만…
-
삼수 고민 9 0
재수때 독재(잇올) 다녔었고 관리면에서 솔직히 불만이 많았고 평소보다 수능은...
-
젠장 에이스 2 0
난 너가 싫다!
-
7분후에 진짜 발표해라 0 0
서강대야!!
-
나도 드디어 0 0
최초합이라는걸 해보네
-
파란색 테두리가 생김요 6 1
금테는 몇 명부터인지 알 수 있을까요
-
옯붕쿤 왜 전화 안받아 1 0
따..딱히 보고 싶다는 의미는 아니라고!
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
증명이 없다는것과 그것을 부정했을때 무모순이라는것은 아예 다름
공리를 부정하면 모순->공리가 참이라는 증명이 있다. 대우는
공리가 참이라는 증명이 없으면->공리를 부정하면 무모순
리만가설 증명이 아직 없는데 그거 부정한다고 무모순임?
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..
공리에는 참, 거짓이 없어용