님들아 진지하게 이거 평가좀 해주셈
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
-
1일1퍼리 1일차 11
꾸준글
-
나도한다 만덕 19
정확히 10분뒤 마지막댓글에 만덕 2시 43분 ㅇㅇ
-
.
-
나랑사귈사람 9
덩치좋은남성우대
-
다 이긴 판이였는데 아오 상성아
-
오랜만이네요 1
일본 소도시에서 온천여행으로 일주일 정도 쉬다왓음 벌써 다시가고싶네 나중에 사진도올릴게요
-
그렇게 설벳달고 꺼드럭거리고 말았단 얘기입니까?
-
50번째 댓글 만덕줌 75
ㅇ
-
뭔가 국어 칼럼러는 이미 많은 느낌이랄까나
-
선착순 5명 이미지 31
-
ㅅㅂ어제 26만이었는데 뭐야 ㅜㅜㅜ 댓글그만쓰고더녀여갯다
-
새르비 글쓰려고 10일기다렷는데
-
공익 복무 할 거 같은데..금융권 진출이나 법조계로 나아가는 데에 걸림돌 있나요?
-
화1꿀과목인뎅 4
ㅇ 에휴..
-
엔딩곡도 들어야하는데
-
에쎄 슈팅레드 0
이거 요물이네 ㅋㅋㅋㅋㅋ 계속 슈레필듯
-
자괴감오짐
-
자기전까지이미지적어드림 23
ㄱㄱ
-
오르비뉴비인데 4
여기분들 좀 음?침한거 같아요 푸ㅠㅠㅠ
-
개강 언제쯤 하나요
-
잘탄다 ㅋㅋ
-
저는사실 이수린입니다
-
-
걔 좀 호감이었는데
-
안그래도 비행기 탈 때 조금 무서웠는데 최근 항공사고 보고 더 심해짐 담주에...
-
ㅈ냥이 따라할 거임 11
나한테 프사 떠넘긴 놈 ㅗㅗ
-
혼자있고 싶어서라면 언제까지 기다릴 수 있을거야
-
너무정신없었음 ㄹㅇ
-
이세상어디가숲인지 15
어디가늪인지 그누구도말을 않네 나원래진짜눈물없는사람인데 작년에한번 아침에 밥먹으면서...
-
로맨스 ㄹㅇ 1도 없더라..
-
새벽 노추 0
-
나는 내가 5
빛나는 별인 줄 알았어요
-
-
프사 떠넘기고 자러 갔네
-
뭐가더어려움 난 후자가 더어려웠던거같음 시간관리도 안되고
-
저의 지역에서는 대부분이 대구로 대학을 갑니다 근데 저는 서울로 가게되었습니다....
-
아뻘글안써야겠다 1
ㄹㅇ이
-
맞팔구 2
-
크크크크
-
롤하러갈게 베베 3
ㅂㅂ
-
가끔 개미털기 시전
-
쌍사어디감? 2
뻘글장인 1티어
-
어떰
-
난도순위가 어케됨? 그리고 복추는 어떤느낌임? 월욜부터 복추 들어갈것 같은데 궁금하네
-
N티켓부터 다시 푸러야지…
-
이런 빠글빠글한거 넘 이쁘다❤️❤️❤️
-
ㅇㅈ 5
아! 이데올로기!
-
뻘글 잘싸 베베
-
오케이계획대로되고있어 14
으하하하하
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
증명이 없다는것과 그것을 부정했을때 무모순이라는것은 아예 다름
공리를 부정하면 모순->공리가 참이라는 증명이 있다. 대우는
공리가 참이라는 증명이 없으면->공리를 부정하면 무모순
리만가설 증명이 아직 없는데 그거 부정한다고 무모순임?
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..
공리에는 참, 거짓이 없어용