-
한 10명중에 9명이 일본에게 안좋은 감정이 있는거 같네요.. 새벽에 삘타서...
-
안심하셈 4
친구 생길 일 없어서 오르비 안 나감
-
꺼야게씀
-
다들 키빼몸 몇인가요? 22
요즘 전 줄여서 113까지 줄였어요
-
리그-코파 다 바르샤가 먹을 것 같고 바르샤가 갑자기 챔스 떨어진다면 챔스가 오히려...
-
수시제도를 폐지하겠어
-
근데 그럴일없음
-
그랬음 해
-
일요일에 몰아봐야지
-
국어황
-
덕코좀 0
덕코좀
-
의대 목표 최저러고 작수 12112 생1 원점수 45, 17,19찍맞 지1 원점수...
-
핥아먹기 10
빨아먹기
-
당장 이런 게으른 출제를 선택하기도 너무 좋음 이런 스타일로 너덧개 깔아두면 줄세우기는 너무 잘되니
-
오르비 무익함
-
다리찢기 쫙쫙 잘하고싶다
-
걍 챔스도 탈락해라 이딴 실력으로 무슨 아스널을 이기냐 에휴 홈에서 2대 1승 원정...
-
다른건 다 한.남평균에 훨씬 못 미치더라
-
굿빠이 8
탈퇴사유:
-
너무배고프다 0
힝구
-
ㅇㅇ
-
전 -10인데
-
맛있음? 매번 품절이던데
-
2등은 노려볼 수 있으려나 레알은 챔스병행에 코파결승전도 있는데...
-
저가쓰는거는 영양가없는 재미없는 글밖에 없으니깐 팔로우 취소 하는것을추천드려요제발
-
난 항상 -10인데..다리가 길어서 그런가?ㅋ
-
올해는 무조건 가줄게
-
물리하는 사람도 없음 여기밖에 없다규
-
그 애니 재밌나요 타카기양 좋아하는데
-
최근에 입문했는데 realize 너무 띵곡인거시에여
-
와 눈 타는줄 개뜨거워
-
단위는 킬로미터긴 함
-
디씨 기하갤이랑 오르비
-
좌전굴 좀 침
-
에휴 2
하고 자야겠다
-
심심해 4
심심..
-
오겜, 수리남, 폭삭 속았수다 등 다 안 봄
-
어떻게지내 1
잘지내?
-
문제는 술마실 친구가없음
-
퀴즈 정답 7
사랑과 거짓말
-
사실 오래전부터 10
오르비 노잼 됐는데 그냥 관성처럼 하는거임
-
근데 친구가 없음
-
다소 내용이 많음. 설렁설렁 쓸 거라서 요청받은 육진방언 글은 다다음주 중으로 끝날 듯.
-
남자가 되고 싶다 12
-
네 제목 어그로 아니고요. 진심입니다. 쌉실수 07년생도 아닐 뿐더러, 저는...
-
오르비 노잼
-
ㅇㅈ메탄가 5
무한새로고침on
-
난 2018년이후로 깨진적 없음 갤럭시 S3 세번정도 깨고 그 후 S7인가 이것도...
-
순수개그캐 그 자체라 너무 재밌었는데 갑자기 안 보임...
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
증명이 없다는것과 그것을 부정했을때 무모순이라는것은 아예 다름
공리를 부정하면 모순->공리가 참이라는 증명이 있다. 대우는
공리가 참이라는 증명이 없으면->공리를 부정하면 무모순
리만가설 증명이 아직 없는데 그거 부정한다고 무모순임?
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..
공리에는 참, 거짓이 없어용