-
글 쓴 적이 있었구나 서랍 정리하다가 노트 발견함
-
확통 3개 공통 3개 틀렸습니다 미친개념 들어가도 괜찮을까요? 아니면 다른 걸 좀...
-
내신 중간 시험범위 1,2+3단원 혈액형인데 변별 어떻게 할까요 1 2단원이 쉽다고...
-
이 재 명 님께서 찢어버린답니다
-
김상훈쌤 문학론듣고있는데 강의는만족중
-
-
한석원 펀더멘탈 4
수2 고민중인데 후기점
-
천천히 하나하나 풀다보면 거의 다 맞네요 아 비에이비오 아 이걸 왜 최근에 ㅇㅏㄹ았지 아
-
안그러면 다 찢어버리겠읍니다
-
이미지쌤 커리로 미친기분 + 미친개념 병행하려고 합니다,,수특 레벨1은 다 맞고...
-
네.
-
4규 시즌1 다음에 풀만한 N제 2개만 추천해주세요!! 2
2~3등급이 4규 다음으로 풀만한 N제 추천해주세요!!
-
리플 지금이니 0
좀만 더 사볼까
-
말투가 왜 그런지는 나도 ㅁㄹ
-
엄마 등골 파먹는 한수지인가 심천지n수생한테 거지소리 들으니까 슬프네 ...ㅠㅠ
-
국어 인강 듣다가 쌤이 공차를 찾으라는데 뭔소리임? 2
뭔뜻이야?
-
공부관련 질받 40
ㅇ
-
수영 못하는데..
-
3덮 0
수학 (나)조건의 발문이 이해가 안갑니다... 처음에 계산할 때 (나)조건을 연필을...
-
고딩들 학교에서 짝남/짝녀 가능성 확인하는법 알려줌 4
일단 학교 분위기가 어느정도 다들 대학 갈 생각 있는 분위기여야 함 짝남짝녀한테...
-
다들 2
사이좋게 지내요
-
-
쌍사해도 확통말고 미적하면 표점 엄청 불리하진 않죠? 서울대 기준!!
-
스블 필기노트 좋아보여서 그거때메 샀음 ㅋㅋㅋ
-
맞팔 할지 말지는 여러분의 의견에 따를게요
-
난 천사라고 해 2
-
지평선처럼 끝없이 퍼져나간다는 의미에요 줄이면 호모 어감도 좋네요
-
내가 피곤할때만 사람들 많고
-
차단목록일부공개 6
네
-
진지하게 말하는데, 수능보다 카구야님이 더 어려움 10
진짜임. 국어 비문학보다 카구야랑 시로가네 심리전 이해하는 게 더 어려움. 수능은...
-
뭔 부스터여
-
차단하면 대장동 끌려갈 줄 알아
-
차단목록 7
없음 막상 절 차단한 사람은 많을듯함
-
킬러배제정책 취소안되나
-
로스쿨 목표 7
서울대 못 가면 연고대 상경vs경찰대 어디가 더 수월함?
-
수1기준인데 스블은 다 들엇고 친구가 어싸 줘서 강기원쌤은 찍먹 해봤는데 확실히...
-
첫 정답자 2000덕 드리겠습니다!
-
고기먹으러왔는데 2
옆테이블 술취한 아저씨들끼리 CGV가 뭐의 약자인지로 싸우시는중
-
드릴은 다른거 알고 았는데 다른 n제들은 올해 문제들과 작년도 문제가 많이...
-
일단 아닙니다. 애초에 '힐조'부터가 '이른 아침'을 뜻하는 한자어 詰朝입니다....
-
더 웨이 유 플립 유얼 헤얼 겟츠 미 오버 윎ㄷ~~
-
어찌 서양의 언어를 그리 잘 쓰시고 잘 아시는것이오..?
-
둘이 같은거에요?? 분명 저 고1때 수 상하였던거같은데 강의 다 찾아봐도 공통수학...
-
국어 -독서: 브크 완강&체화+기출회독용 마더텅 -문학: 유네스코 완강 -언매:...
-
나같은 똥글러는 국회의원마냥 처리대상 1순위 일거 아냐
-
(가) 그래프는 지구상에 존재하는 인류의 총 염색체의 개수를 나타낸 것이다. 또한,...
-
생명수 모의고사가 곧 출판돼요! 많은 관심 부탁드려요~! 오늘 풀어 볼 기출은...
-
월요일부터 시작하겠습니다 비밀번호 2026입니다. 제가 공부안하면 스타벅스커피를...
-
맞팔구해요 5
저랑 같이 금테달아욥
-
원정의T 프사 하시던 분 아닌가요..? 아닐수도..
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
증명이 없다는것과 그것을 부정했을때 무모순이라는것은 아예 다름
공리를 부정하면 모순->공리가 참이라는 증명이 있다. 대우는
공리가 참이라는 증명이 없으면->공리를 부정하면 무모순
리만가설 증명이 아직 없는데 그거 부정한다고 무모순임?
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..
공리에는 참, 거짓이 없어용