-
뛸 준비하기
-
오마이갓 5
불끄고 폰하니까 눈에 피로감이 으읔
-
나답군
-
야!!!!!! 12
-
행복한 상상 하자
-
잘거야 4
7시에 기상해야해 짜증도 자고일어나면 풀리겠지?...
-
달리살기. 1
누울 때 일어나고 일어날 때 걷고 걸을 때 뛰고 뛸 때 날기
-
센츄 다신분들 0
저도 이번 3덮 국수 표점으로 신청하고 싶은데 계열기준에선 1% 넘어기고...
-
3옥레 성공. 4
하나레 바나레에테모 토키메에쿠모노오
-
ㅈㄱㄴ
-
내 스크랩은 6
90%는 컨텐츠 리뷰 글나머지는 탐구 칼럼
-
-
사실 새디스트임 2
ㄷㄷ
-
내 성적 취향. 7
...
-
저는 성적 취향 모름요 21
생각해본적 없어요 아물론 저번학기 성적 주면 절하고 받슴니다
-
24수능 언미영생지 백분위로 98 99 1 98 95였음 24 수능 이후로 국어랑...
-
스카 다니면서 독재했는데 공부 시간은 어느 정도 나오면서도 너무 생활패턴이...
-
우는거랑 치마 조아함
-
뭐가더낳냐
-
욕심 ㄴㄴ
-
맘에 안 드는 부분이 하나 잇음
-
머리가 안 되겟다
-
아무도 없는데에
-
조까튼 월요일 5
축구도 비겨서 짜증나
-
아 아니다, 지금이 낫다
-
ㄹㅇ 부럽네, 고2인데 이상한거 관심 안 들이고, 수능에 관심 잇어서 온거자늠 난...
-
좀 니글거리네 2
빵이 남았어... 야식의 부작용인가
-
히 이이 히 이이 이이 히 이이
-
그건 있다 학문적 적성을 판별하는데는 꽤 유용함 개념을 빠르게 받아들이고 적응이 잘...
-
쇼타 투척 0
음 역시 귀엽군요
-
어차피 내일 학교 안가는데
-
뭔잠이여 ㅋㅋ 10
내가 와따 잠 안옴 낼그냥 커피마시고 저녁까지 버틴다
-
여러분 잘 자요 4
난 안 잡니다 당연히
-
어지러워요
-
담에봐 내일올려나 오겠지 내일봐
-
올해 설수만 가면 자살은 안할듯
-
새벽팟 어디갓는데 당황스럽네 공부하다 왓더니 아무도 없음 설마사카
-
맛있게 와구와구 먹는중
-
현실에서도 어떻게 보일지 모르겟습니다
-
경기력 병신어휴 0
이딴경기력으로 무슨 챔스를 나가겠다고 이 시발아
-
이기지 않은것. 그런거에요
-
이거 진짜라는 거임
-
5달동안 똑같앗는데
-
방구석 여포임 단점은 현실노잼이라는거임...
-
지가 처 돌아가놓고 나보고 반말하면서 화내는 택시 등장
-
혼자 가야지!!
-
성격이 문제야 4
성격이 문제라고 생각함 에효효
-
나는 원래 야행성이니
-
이게 머야, 노잼이야
-
오늘이 지나면 0
넌 사라질 먼지 사랑이 먼지이
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
증명이 없다는것과 그것을 부정했을때 무모순이라는것은 아예 다름
공리를 부정하면 모순->공리가 참이라는 증명이 있다. 대우는
공리가 참이라는 증명이 없으면->공리를 부정하면 무모순
리만가설 증명이 아직 없는데 그거 부정한다고 무모순임?
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..
공리에는 참, 거짓이 없어용