-
신기하네 올해 한번 더 폭룡적으로 올려보자
-
이거먹고 잘듯
-
잠이 안오네 11
3시간밖에 못잤는데 이걸 더자 말아
-
목표 연고 높공~매디컬or계약 화미영물지 순 현역 6모 51 92 3 93 88...
-
코돈 파트 코돈은 걍 헬이고 다른 문제는 18수능 보니까 이 파트는 걍 문제가 ㅈㄴ 기네
-
갓생ㄱㄱ
-
그래서 내 정체를 머를 핑크여자듀 안팔리고있는건가
-
새벽 일과
-
고치기가 귀찮은거 공감가능?
-
근데 재르비들은 2
예전닉언급하면 산화당하나요
-
졸리다 1
자야되나
-
ㅇㅂㄱ 6
얼리버드기상
-
몬가 몬가네
-
자지푸딩 먹어보고싶음 10
그래서먹어보려고
-
게이 13
여기서 게이..?이신 분들은 컨셉이시겠죠?
-
기원 범준 투샷 2
-
해본적 없음
-
진짜 자러갔나보네
-
여르비 ㅇㅈ하셈
-
ㅇㅈ해보까 6
사실 안함
-
수학감안뒤졌네 2
좋아
-
야심한 밤 가슴살 인증 13
그것은 닭찌찌엿고연
-
ㅇㅈ 13
-
차마 누구 못 보여주겠음 개못생겼는데 맛은 괜찮네요 참치액 덕분인 듯
-
나두 ㅇㅈ 13
-
흐흐 공짜식물 왕창 챙겨드리기
-
인증을 멈춰 1
메인글에 저격당한다고 ㅜㅜ
-
ㄱㅁ 이 안 달리고 감탄함 ㅋㅋ
-
-
ㅇㅈ메타 돌았나요?
-
여목 연습중이라 목에 안좋은거 하기 싫음은 아니고 담배는 싫어하고 술은 안받음
-
수학전담과외(수업및 sns로 질답) 및 나머지 국영탐 조언,추천해주는거 애초에...
-
오랜만에 한달 전 사진을•• 지금은 길이 차이는 크게 없지만 숱을 많이 쳤어요
-
문풀배우고싶어용
-
@STUDY_FLOVER 공스타...
-
작년에 20명 뽑았을 때 추합 30명까지 돌았고 재작년 12명 뽑았을 때 추합...
-
여목 잘하고싶다 9
내목소리 ㅈ구려병
-
오랜만에 ㅇㅈ 6
근황
-
한달에 100버는 남자가 되고 싶다
-
물리 현역 수능 5등급 백분위 53 재수 06 4등급 백분위 74? 09 3등급...
-
키스젤리 앎? ㄹㅇ 그거랑 똑같음 ㅇㅇ….. ㅇㅇ… ㅇㅇ… 어어..음 ㄹㅇ일걸요아마
-
공스타맞팔구 5
캬캬
-
6일남았다 2
하루 깜짝 조기발표 안해주려나
-
와리 할사람? 0
댓 고고
-
행복tv
-
-
속독으로 빨리 읽으세요 책 ㅈㄴ 읽어서 고전소설 대비하세요 이런 말 하면 욕먹을 게...
-
-
1일1퍼리 1일차 11
꾸준글
-
나도한다 만덕 19
정확히 10분뒤 마지막댓글에 만덕 2시 43분 ㅇㅇ
어버버
공리에는 참, 거짓이 없습니다
그또한 무모순이군요
무슨 의로도 말씀하시는지 모르겠네요
공리는 참이다 라는 명제가 있는데 이걸 부정해도 무모순이져
무모순이자 참이죠
헉 그건 또 어떻게 알아내셨죠
그냥 참이라는 뜼
대 쿠 리님 클로드 3.5 소넷 유료써요?
공짜로도됨 제한이 있지만
공리가참이면 결론이참
에서 틀림
결론을 임의의 증명하고 싶은 명제 P라고 해석하면
공리가 참이면 P가 참
??
이순간 말이 안됨
임의의 명제가 참이라고 가정해버림
결론이 아니라
“참인 명제“라고 바꿔보면
말의 논리가 이상하게 흘러갈거임
공리가 참이면 “참인 명제가 참“
이렇게 써내려가야되고
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
--> 이파트가 근거없음. 증명이 없다와 부정했을때 무모순이라는것은 다름.
내가 저번에 폭발원리 설명해줬을때 반만 이해한거 같은데
너처럼 공리로 이상한거 설정한다던가, 공리를 부정한다던가, 잘못된 명제를 참으로 가정한다던가 이런 짓거리를 하면 폭발원리때문에 공리계 터지고 “모든 명제가 참이자 거짓“인 이상한 수학체계를 얻게 되므로, 오히려 수학 전체를 담보잡고 귀류법을 펼칠 수 있다는게 폭발 원리의 의의인건데
공리계 터트리는게 너가 원하는거다보니 계속 이상한소리하네...
근데 1차논리는 sound and complete해서 너가 뭔 짓거리를 해도 이상한걸 찾을 수 없을거임
폭발원리에 부합하는 증명을 찾았다면 너의 잘못
하.. 난 왜 이런 세상에 살고있지?
그냥 이상한 소리하고 반응관찰하네..
그냥 참인 명제 자체를 부정하면 무모순임.. 글을 읽기는 함?
님진짜 서울대 맞긴함?
귀류법 증명이 없다-> 공리를 부정하면 무모순, 대우는, 공리를 부정하면 모순->귀류법 증명이 있다
증명이 없다는것과 그것을 부정했을때 무모순이라는것은 아예 다름
공리를 부정하면 모순->공리가 참이라는 증명이 있다. 대우는
공리가 참이라는 증명이 없으면->공리를 부정하면 무모순
리만가설 증명이 아직 없는데 그거 부정한다고 무모순임?
공리가 참이면 그 공리에서 도출된 결론이 참이라는거지..
공리에는 참, 거짓이 없어용