-
첫 정답자 2000덕 드리겠습니다!
-
고기먹으러왔는데 2
옆테이블 술취한 아저씨들끼리 CGV가 뭐의 약자인지로 싸우시는중
-
드릴은 다른거 알고 았는데 다른 n제들은 올해 문제들과 작년도 문제가 많이...
-
일단 아닙니다. 애초에 '힐조'부터가 '이른 아침'을 뜻하는 한자어 詰朝입니다....
-
더 웨이 유 플립 유얼 헤얼 겟츠 미 오버 윎ㄷ~~
-
어찌 서양의 언어를 그리 잘 쓰시고 잘 아시는것이오..?
-
둘이 같은거에요?? 분명 저 고1때 수 상하였던거같은데 강의 다 찾아봐도 공통수학...
-
국어 -독서: 브크 완강&체화+기출회독용 마더텅 -문학: 유네스코 완강 -언매:...
-
나같은 똥글러는 국회의원마냥 처리대상 1순위 일거 아냐
-
(가) 그래프는 지구상에 존재하는 인류의 총 염색체의 개수를 나타낸 것이다. 또한,...
-
생명수 모의고사가 곧 출판돼요! 많은 관심 부탁드려요~! 오늘 풀어 볼 기출은...
-
월요일부터 시작하겠습니다 비밀번호 2026입니다. 제가 공부안하면 스타벅스커피를...
-
맞팔구해요 5
저랑 같이 금테달아욥
-
원정의T 프사 하시던 분 아닌가요..? 아닐수도..
-
최고의 거름망임
-
KBS 정지용 불사조 보다가 좀 울었음 ㅋㅋㅋㅋㅋㅋㅋ
-
벼농사입니다
-
책 샀다 8
스블 수1이랑 KBS삿음 ㅋㅋ
-
너의 그 따뜻한 말 한마디가 너무나도 좋아
-
하루죙일 여따가 쓸데없는 글쓰네 공부안하시나
-
국어 4-5진동하고 있고 문학은 이번에 김상훈쌤 문학론 듣고 있습니다.혼자 독서...
-
전 바지락칼국수
-
지리같은 과목은 매년 인구수라던지 강수량이라던지 숫자 지표가 달라지는데 그러면면...
-
과제하기싫다 0
야메로
-
수학 5등급입니다. 기출 다 해서 n제 할려는데 추천좀요 2
드릴 4규 지인선 생각 중이긴 해요 시대꺼도 풀어보고 싶은데
-
고마울듯 내가 계속 장작 넣어주면서 글리젠 올리고 있는데 ㅋㅋㅋㅋㅋㅋㅋ...
-
똑똑해지고 싶다 2
난 바부다 헤헤
-
저노추 0
-
근데 왜 내가 7
옆에 선생님 일까지 신경써야하는거지 따로 조교를 쓰던가 시급을 올려줘
-
-
어차피 나를 욕하는 애들도 보니까 과거가 그리 깨끗해보이진 않는데 과거에 좀...
-
ㄹㅇㅎㅈ the goat.
-
해군 다녀오신분 있으면 댓글좀…
-
그냥 115까지만 달릴까 요즘 살 빼는 거 맛 들렷슴
-
여러분들은 어느쪽을 택하겠습니까 매운맛오르비 순한맛오르비
-
결혼하고싶다 너무 행복할거같음
-
나처럼 주어좀 넣어서 얘기해라 ㅇㅇ 게시글 캡처해서 반박하던가 ㅋㅋㅋㅋㅋㅋ
-
홈화면 ㅇㅈ 1
유튜브 지움 유튜브 뮤직 지움 진짜 개달릴거임
-
첫 정답자 2000덕 드리겠습니다~
-
-
맞팔구 0
똥글을 주로 씁니다 우울턴이 터지진 않습니다 99퍼센트다 잡담 태그를 답니다 똥글의...
-
화작 미적 사탐2개 이 성적이면 어디 메디컬까지 가나요? 0
97 99 1 99 99 면 어느 메디컬까지 뚤릴까요?
-
인터넷이라고 못하는 말도 없네 그죵
-
이럴 때 어떤 생각 하시나요
-
히루의 시작
-
지구 커리이동 0
이훈식 개념기출테크트리 다듣고 엄기은으로 넘어가려는데 엄기은쌤 개념서 꼭...
-
이번 3모 0
혹시 이번 3모 성적 통지일이 언제인지 아시는 분 있으신가요?? 예전에 어디서...
-
-
문학교과서... 명랑한 밤길이라는 작품이(미래1엔 교과서) 거기에서 사랑했나봐 ~...
-
수리논술 2
저번에 러셀에서 논술 테스트 같은 거 봤는데 결과지에 사진같은 코멘트 달려있으면...
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
증명이 없다는것과 그것을 부정했을때 무모순이라는것은 아예 다름
공리를 부정하면 모순->공리가 참이라는 증명이 있다. 대우는
공리가 참이라는 증명이 없으면->공리를 부정하면 무모순
리만가설 증명이 아직 없는데 그거 부정한다고 무모순임?
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..
공리에는 참, 거짓이 없어용