-
지금 뭐 하나요? 뭐지
-
욕 나오네요 0
참습니다..
-
혼미하다 7
순서대로 학교 공부 토익 수능 힘드러
-
역사관련 주제 정하기가 애매하네요.. 지금까지ㅜ생각해본건 통계학이랑 엮어서...
-
언매선택할거고 노베라서요..
-
그냥 지원자 3일동안 전화번호부 던져주고 모텔방에 가둬두고 많이 외운순서로 붙여주면...
-
진짜 올해 하냐
-
수학 목표는 1후~2초입니다 작년 수능에서 미적 선택했었고 20 21 22 28...
-
뭔가 뭔가 마음에 안들어 내가 힙스터라 그런가
-
언매 확통 영어 윤사 사문으로 백분위 96 86 2 92 96
-
-
아까 찍음 8
부끄렁
-
지금 89인데 돌아가고 싶구나
-
부대가 많이 바빠서 당직 근무서면 폰 못쓰고 이래저래 강의들을 시간이 너무...
-
못 올리겠다
-
술먹을까참을까 7
흠
-
볼에 바람넣어서 자체 감열했어요
-
국어 다맞았다 12
-
부산 6모신청 0
다 마감됨?
-
감성goat 9
야외공연보면서 술마시기
-
적당히해야지 적당히 ㅅㅂ
-
이러한 태도로 글을 읽는 것이 맞을지에 대해서 여쭙고 싶어 이렇게 사고과정을...
-
급이 맞는 사람끼리 사귄다 내가 쟤랑 사귀먼 급이 안맞지 이런 얘기들 있잖아요
-
맞팔구! 3
-
진짜 현타 존1나오네 내가 목달장 하면 안됨? 지역인재 수의대 의대 메가스터디
-
내 정치 성향이나 그런걸 떠나서 물론 탄핵될거라고는 생각했지만 흠 만장일치?...
-
날 보는 너의 그 마음을 이젠 떠나리
-
우매함의 봉우리 도달
-
허허이
-
기진맥진한 금요일에 과외 끝내고 공부해봤자 호율 ㅈ도 안나온다 형이 진지하개...
-
다들 안녕하세요 7
-
정치는 항상 극과 극의 말을 다 들어야됨. 한때 극좌쪽이던 부모님이 우파쪽으로...
-
유튜브 영상보니 약간 비실전적으로 푸는 수특확통 풀이가 며치ㅐ 있고 애초에 수특...
-
화작 95인데 백분위 100 뜰랑가
-
[ 시선 모의고사 지난 회차들 ] https://orbi.kr/00072328394...
-
그냥 눈치보는 동맹국들 고혈빨기 전략아님? 그래서 eu중심으로 뭉쳐서 보복할까봐...
-
-
아.. ㅋㅋ 난 그런데 엔비디아 풀숏쳤지요
-
3모 미적 3등급 진짜 너무 스트레스 받는데 이거 정상인가요?? 12
진짜 너무 스트레스 받아서 글 적어봅니다 인강진도복습,지로함 20-22번대 문제들...
-
오줌 맥주 마시써요
-
中네티즌 “확실한 민주주의 과정”…日네티즌 “韓 민주주의 붕괴” 4
중국 및 일본 언론, 파면 소식 일제 긴급타진 공통적으로 “차기 이재명 유력” 소개...
-
담배 2
흠
-
와 디자인 진짜 고급스럽다 삐숑빠숑뿌슝 그와중에 베젤은 천만원대 다이버 워치...
-
제과제빵점 2
-
---스압 만화 보러 가기--------------------- 화2 산 염기 평형...
-
기말고사랑 겹치는 건 안돼
-
머리에 열이 왜 나지 11
후우
-
머 리 아 파 11
2시간 뒤에 올게요
-
저격합니다 3
제 마음을 뺏어간 당신을 저격합니다
-
잇올에서 하자
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
증명이 없다는것과 그것을 부정했을때 무모순이라는것은 아예 다름
공리를 부정하면 모순->공리가 참이라는 증명이 있다. 대우는
공리가 참이라는 증명이 없으면->공리를 부정하면 무모순
리만가설 증명이 아직 없는데 그거 부정한다고 무모순임?
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..
공리에는 참, 거짓이 없어용