제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: https://orbi.kr/00071901928
1. (A가 거짓->모순)->(A가 참이라는 증명이 있음)
1번은 귀류법이고 참
1번의 대우명제는 2번
2. (A가 참이라는 증명이 없음)->(A가 거짓 and 무모순)
2번이 참이니 3번이 참
3. (A가 참이라는 증명이 없음)->(A가 거짓) 이 참이고
3번의 대우는
4. (A가 참)->(A가 참이라는 증명이 있음)
3번과 4번에 공리를 대입하면
(공리가 참이라는 증명이 없음)->(공리가 거짓)
(공리가 참)->(공리가 참이라는 증명이 있음)
원래 공리는 참이라는 증명이 없으니, 공리가 거짓이고
원래 공리는 참이라고 하니 공리가 참이라는 증명이 있음
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
과생활랬으면 클날뻔..
-
전형태 문학올인원 듣고 있는데 뭔가 엄청 찝찝해요.. 어느 부분을 허용하고...
-
알코올 카페인 니코틴이 부족해
-
저도 불쌍함 9
아이돌 데뷔 기회도 못 받고
-
근데 이건 진짜 지옥이에요 기분이 나쁨
-
구매한 이만복 ebook 어디서 다운받을 수 있나요? 0
이만복 ebook 강좌랑 같이 구매했는데 다운로드 하는곳이 안 보입니다ㅠㅠ 미북...
-
조건 보고 이거말고 뭐가 없는데? 이런식으로 푸는 문제가 점점 많아지는데 채점하고...
-
날씨도 좋아서 호수 주변 자전거 타기에 딱임ㅋㅋ
-
한심한 사람이 있다고요?
-
망령들만 한트럭
-
오늘은 그냥 4
1년플랜짜고 낼부터 달려야지. 진심임.
-
과학사회 지문 읽을때 지문을 읽다보니 최대한 반응하면서 풀려해도 문제로 가면 내용이...
-
어제먹은 떡볶이 2
이게 4500원인가 그럼
-
모킹버드 브레인 등록 프리랜서가 300명 돌파를 목전에 두고 있습니다. 일반적으로...
-
인강 이제 5시간씩은 안들어도 돼서 집 앞 스카로 갑니당 새벽 5~7시에 집에서...
-
도저히 같은 학교가 맞나 의심스러운 편차... 문과 17~50 이과 32~60 나름...
-
원래대로 조교만 할걸 책임의 무게가 너무너무 무거움..
-
상체는 딱히 살안쪘는데 다리랑 엉디가 ㄹㅇ 킴카다시안뺨침 개스트레스받는다 살찐여자하체같음...
-
1. 시도때도 없이 코 훌쩍이기 걍 ㅈㄴ거슬림 나도 비염이라 이해 안 가는건 아닌데...
-
ㅜㅜ
-
질문할만한 곳이 안보이네
-
국어 100점 3
하고싶은데
-
올해 초부터 재종기숙학원을 다니다가 독학으로 옮길는 것을 고민중인데 여기 글들을...
-
이런곳이 이제 과별로 입결 차이가 큼요 식품영양 2점대 초는 어떤 경우일까
-
고대나 연대 목표 할따 과탐2개로 하던지 사탐2개로 하던지 하라는데 사탐1개...
-
추상적인거 싫고 통수도 없다해서 그나마 익숙한 한지로 사탐런 하려고 합니다 1....
-
내 글로 도배돠고 있어
-
Falling in math,,, 꽤재밌는문제가 많은데 말이죠,,,
-
탐구점수를 ㅈ박으며..
-
병원 사람 너무 많아
-
수학커리 1
반수할건데 작수3 나왔고 2목표입니다. 작년에 현우진 뉴런 들었는데 체화가 잘...
-
오르비 ㄹㅇ 망함? 11
왜 새로 나타나는 06 07 고닉이 별로 없지
-
일단 난 개념원리
-
흠… 쎈?
-
물1 48/44 화1 46/42 생1 47/43 지1 47/43 물2 48/45...
-
국악 체교 이런데서 취준하면은 비상경이랑 비슷한거아님?
-
수잘싶 3
국잘싶
-
서로 라이벌의식 느끼면서 동기부여받아서 이번에 같이 대학갈사람. 점수는 설대식 or...
-
비유전만 좋다 이런 얘기 많아서 걱정했는데 ㅅㅌㅊㅅㅌㅊ
-
애써 참아보려 해도 미치도록 그리워 니애미입니다 감사합니다
-
오르비 진짜 좃망이네 10
5년을 했는데 사람 이렇게 없는거 올해 첨봄
-
난 쓰레기야 0
일리단녀 만화보다가 1시에잤네..
-
농담이 아니라 지금보다 훨씬쉬웠음 지역인재가 없어서 5058명때보다 정시인원도 많고...
-
보러갈까
-
AI에 과거 입결, 대학 학과 선호도, 대학별 환산식, 모집 인원 수 등을 학습시켜...
-
아 일하기 싫다 2
본가에서 잠만 자고 다시 일하러 가는 중 그냥 취집하고싶다...
-
흐헤히호헤하후흐 3
군생활 ㅈ같당
-
불완전성 정리란? 제1정리. 페아노 공리계를 포함하는 어떠한 공리계도 무모순인...
-
서울대 연세대 의과대학 18
오늘부터 다시 공부 진짜 열심히 할거임 진짜 뭔가 목표가 눈앞에 보이고 잡힐거...
-
속 개안좋네 3
ㅅㅂㅅㅂ
1은 ~A -> A가 참이라는 증명이 있다 와 동치에요. 귀류법과 무관해요
(A가 거짓일때 모순이 생기면)->A가 참이라는 증명이 있따
p-> 모순 <=> ~p
(A->모순)<->~A 라는 말인가요?
네 1은 A -> A가 참이라는 증명이 있다와 동치에요. (첫 댓이 틀림)
그냥 A라고 두지말고 "A가 참이라는 증명이 있다 없다"로 나타내주시면 안되요?
그렇게 했잖아요
님은 그냥 A자체만 논하지 않으셨음?
쿠쿠리의 주장 중 1번 명제는 다음과 동치이다
A -> A가 참이라는 증명이 있다.
1번이 왜귀류법이 아니죠
귀류법은 증명법이잖아요
p->q <=> (p and ~q) -> 거짓
임을 이용하는 증명법인데, 1번 명제가 참인 이유를 귀류법이라고만 하면 납득이 안돼요
1번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?