-
카공 3
주말에 학원에서도 집중을 못하겠는데 카페가서 공부하는거 어떰? 한 번도 안가봤는데
-
건평 ㅋㅋㅋㅋㅋ 3
아니지 활평 ㅋㅋㅋㅋ
-
제곧내
-
이제 난 7
하루살이~~
-
어차피 검찰 감사원아니면 머통령이 직접수사 해서 빤쓰 털고 결과 나오면 태극기고...
-
이게 1짤 이게 2짤 확실히 여자는 남자보다 슬림한걸 좋아하고 남자는 여자보다 마초한걸 좋아함
-
안녕하세요 이번에 현역 고3 올라와서 겨울방학에 인강으로 생명1 공부를 하려 합니다...
-
아 한완수 교과개념만 하고 기출 보고 스타팅 블록 볼려고 했는데 한완수...
-
재학생분들이 어그로성 글을 많이들 쓰셔서 그런가요? 이번에 입학하게 되는 학생인데...
-
누가 들어도 MIMI가 만든 노래
-
아카빵 완독 8
이것도 이렇게 끝났구나
-
저 광고 원본 그대로 올리면 활동 제재받을 수 있어서 직접 검열했습니다. 근데...
-
접착제로 눈두덩이에 붙여야 해서 좀 고통스럽긴 함 근데 멋짐. 사진은 내림.
-
-
제이팝 하나도 모르다가 친구 추천으로 들어봤는데... 괜히감정이입을하게되
-
네웹 7
최악의 세대 이거 갈 수록 재밋네요요즘 웹툰을 많이 못 봣는데 오늘 밀린 것들 좀 봐야겟어요
-
으아아아 비상 7
같이 라프텔 결제하던 선임 전역하는데 누구를 데려와야하지
-
-
미분기호? 뭐라 읽죠 12
1) 디디엑스 에프엑스 2) 디 에프엑스 디 엑스
-
모두 함께~ 기타를 칩시다~
-
수1 쎈발점 끝냈는데 이제 뭐 풀어야될지 모르겠어요…
-
총알 2
단 하나
-
한길쌤 뭐 합? 1
왜논란이노
-
두 달 동안 핑핑 놀다가 공부하려니 줫나 빡센데.. 이것도 계속 꾹 참고 하다보면 늘어가는거임?
-
점공계산기 0
총접수인원 12 공개 7명중 7등인데 최종순위9등으로 예상되는데 이거 맞아요?
-
신입생 공지방 사담방이 10
과 톡방인가요? 과톡방이랑은 다른 건가요? 무조건 들어가야하는 건가요?
-
아침에 학원 알바 갔다가 과외 2개했는데 너무 힘듦 과외가 재밌어서 하지 다른...
-
민족주의!
-
네.
-
원래 생2 처음에 ㅈㄴ 어려움? 세포호흡부터 만만치 않노
-
전 딱히 하고싶은게 없음뇨... 적금이나 투자를 해야되나? 장농면허라 운전도 못 하고
-
영어 수행평가 시간에 장난쳤다가 생기부에 박제됨
-
왼쪽 눈 궁예 ㅇㅈ 18
군대 신검임요
-
집착하지마 5
ㅋㅋ
-
진짜로 누가들어도 납득할만한 이유로 재수를 하게 되었습니다.. 이유가 궁금하시다면...
-
여쭤보고싶은게 있는데 댓글 부탁드립니다..!
-
선택과 집중을 못해서 늦은시기에 미적분을 시작하게 되었는데 정말 어려운 과목인걸...
-
갤25 넘어갈까 1
계속 아이폰만 써왔는데 또 바꾸고 싶다 폰 교체 중독인 듯
-
기능론 갈등론 2
기능론과 달리 갈등론은 사회적 희소가치가 사회의 지배적 규범에 의해 분배된다고...
-
쉽다의 기준) 학평 1등급 정도는 나오고 기출 다 풀어본 고2가 스트레스 안받고...
-
인서울 말고 걍 하위권 4년제 턱걸이면 정시 기준 어느정도임? 평백 70 초반...
-
오르비에서 걍 본명을 까버린 ㄷㄷ
-
고3 3모 보려는데요 제가 언매를 방금 시작해서요 언매 어디까지 범위일까요?
-
-
고경됨? 2
언 확 생윤 윤사 백분위 94 98 2 99 99 설정외는 ?내신 cc
-
윤 대통령 수인번호 ‘0010’…3평 일반 수용동에 수감 6
내란 우두머리 혐의로 구속된 윤석열 대통령의 수인번호가 ‘0010’인 것으로...
-
무조건 붙긴 할거같은데 최초합 가능할거같나여 가군 다군 다 실제등수 셈퍼보다 후하게...
-
김동욱 강민철 3
지금 강민철쌤 듣고있는 예비 고2 인데 고3때는 현강 다니려고 합니다 고2때는...
-
지금 등급으로 대학 물어보는 정시러들 꼴받아하면 안될듯 나도 똑같은놈이엇음 ㅋㅋㅋㅋ...
-
남들 다 조금씩 할 줄 아는 거 말고 나만 할 수 있는 특기가 있었으면 좋겠다 그런...
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
증명이 없다는것과 그것을 부정했을때 무모순이라는것은 아예 다름
공리를 부정하면 모순->공리가 참이라는 증명이 있다. 대우는
공리가 참이라는 증명이 없으면->공리를 부정하면 무모순
리만가설 증명이 아직 없는데 그거 부정한다고 무모순임?
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..
공리에는 참, 거짓이 없어용