-
항우 싫어
-
짤 4개 올리고 재목에 만나서 반갑습니다,저는 수학을 가르치는 현우진 입니다 적어서...
-
어싸 나만 어려움? 10
작수 수학 81점 받은 06재수생인데 강기원 T 어싸 뒤에 10문항 정도는 답지...
-
어디선가 봤는데 투위터같은데서 신음소리 내고 변조해서 변태들한테 팔아서 돈버는사람있댔음
-
바이바이 6
굿나잇
-
인문 진로 2
만약 경제학과 경영학과나오면 진로를 어디로 가나요
-
선호도 조사 셋 다 같은 지역 대학이란 전제 하에 ㅇㅇ
-
집에오지마 베베
-
어차피 과탐의대 가려먼 국수 잘해야 하잖아 과탐할시간에 국수 쫌 더 하면 되는거 아닌가 ㅋㅋ
-
이거 교수님들이 강의하시는 거임??ㄷ ㄷ ㅈㄴ 재밌어 보이는데 이거..들어보신분 어때요??
-
자러가야겠구나
-
왜 올리는지 이해 안 가는 거 나만 그럼??? 그니까 같이 여행 간 사진 올리는 건...
-
언매 공부 0
사실 전 화작러임.. 화작 미적 화1 생2였음ㅋㅋㅋㅋㅋ 놀랍게도 같은 반에 이 조합...
-
위에 그림 모작한거임 애가 좀더 화난것처럼 됐는데 암튼 공부하던 시간 그대로...
-
공직선거법에 투표지 접어야 넣을 수 있다고 명시되어있다.
-
누난선생나는학생바로쓰자조퇴서 지베가지마 베베
-
언 확 생윤 사문 백분위 97 98 1 99 99여도 cc면 설경 빡세죠?
-
챙길때는 세상이 암울해보이고 한숨만나오고 토할것 같고 학교 선생들 면상 후두려쳐...
-
몇 번까지 돌 것 같음? 최초합 점공 안들어온 사람 부모님이 수만휘에 연상경최초합...
-
복습 하는법?? 2
재수생인데 요즘 수학만 해서 영어, 국어 복습 어떻게 해야할지 모르겠어요 공부...
-
우르프 하실 분 0
제곧내
-
안녕하세요 반수해서 이번에 대학 옮기려는 사람입니다 찾아보니 개강전에만 하면 된다는...
-
걔 여친은 한번보면 다외워서 노트필기를 안한다고햇던애임 세상에참신기한애들많음
-
온실 화초 0
아닌듯
-
언미쌍지인데 이번에 언미생윤사문으로 바꿔서 시대들어가는데 커리 추천좀... ㅜ...
-
연초테스트 레츠고 10
1. X 2. O 3. O 4. O 5. 카투사>>>>>>>>공군 6. O 7. O 8. O
-
국평오 체감하는 방법 12
롤하기
-
벌써 2월이라니 ㅜㅜㅜㅜㅜ 몇달동안 뻘공부한거땜에 미치겠다 하…제발 작년으로 시간을...
-
는 모르겠고 짤이나 감상하고 가세여
-
부모님앞에서도 종종함
-
다시 찾아오려는데 레어가 지금 먹통이네
-
안녕하세요. 개강을 앞두고 방학 기간 동안 무엇을 하면 좋을까 고민하던 중, 칼럼을...
-
외화유출범 등장 2
아.
-
고3때 공부존나관심없고 안할때 6모 45144정도가 이과 반5등이였는데ㅋㅋㅋㅋㅋㅋㅋ
-
하나쯤은 있어줘야 편한데
-
뭐 제일 추천하심?? 내년에 할 예정인데
-
동일시점에 테슬라 떨어진날 같이 폭락해서 둘중 뭐살지 고민하다가 먹으면 더 크게...
-
사탐런은 7
6모 후에 바꿔도 안늦겠지..? 물리하다가 답없으면 사문으로 도망칠려는데
-
저 소설쓰려구요 8
라노벨형식인데 제목은 이제 입니다 어떰
-
화초 테스트 2
1. 과외하는 중이긴 해서 패스 2. 맞긴 함 3. 맞음 4. 아님 5. 아님 6....
-
도태돼서슬프다 16
이번생은망했다
-
사실지금도…
-
전 그래도 갓반고 다녔는데 옆 학교는 ㅈ반고였거든요 애들이 학교를 안 나와서...
-
정식주소라 하네요
-
언매 화작 9
선택과목 뭐해야할지 모르겠은 3~4등급 예비고3입니다 좀 알아보니까 다른과목도 안...
-
하.
-
평가원전형으로 가는데 낮반이면 둘중에 어디가 나아요?
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
증명이 없다는것과 그것을 부정했을때 무모순이라는것은 아예 다름
공리를 부정하면 모순->공리가 참이라는 증명이 있다. 대우는
공리가 참이라는 증명이 없으면->공리를 부정하면 무모순
리만가설 증명이 아직 없는데 그거 부정한다고 무모순임?
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..
공리에는 참, 거짓이 없어용