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