제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
설공 설의 버닝 이벤트 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
이제 선거야? 12
너무 야해
-
탄핵은 알빠아니고 뭐 어차피 되는거였다고 하니 그렇다치는데 입시 어려워질거같아서 암담하네 0
의반 그대로+정원 감축
-
-
일단 지금은 이재명 파이팅 하면 되는거임?
-
첫 투표를 대선으로...우와
-
희망사항도 섞인 거긴 한데 선거가 6월 3일이 유력하다 하고 그 전에 해도 5월...
-
ㅇㅇ
-
"읽으시었다" 에 앞부분이 "었다"였을수도 있지않음??? 5
"읽으시었다"에 뒤부분이 "었다" 앞부분이 "읽으"쪽인거 뭐 국어에서 그렇게...
-
국어 기조 7
문학은 정상화 당했으니 독서도 22 기조로 복귀..?
-
선거는 6/3에 할 거 같은데
-
첫 정답자 2000덕 드리겠습니다!
-
김범준 선생님 왜 확통은 없고 미적만 있어요? 혹시 확통 없어서 범바오?라고...
-
누구보다 중국없으면 못사는 사람들 ㅋㅈㅋ
-
[속보]한덕수 권한대행 "재판관 싹다 잡아들여..." 0
내란견들 설랬냐?
-
민주당 후보로 6
김동연은 어떤가요? 재매이햄보단 나을거같은데..
-
의대논술 질문받는다 23
-
우으 2
난 정치몰라..어려워
-
되겠냐?
-
언제는 삼도극 프랙탈 빠져서 뭐 이상해졌다느니 그러더니 지금른 또 잘 빠젺음 ㅇㅇ 이러네
-
ㅈㄱㄴ
-
일단 지역인재 척결좀 11
지역인재할 바엔 시대인재전형 ㄱㄱ
-
평가원장도 그대로고 그분은 24수능 때도 자기가 뭔소리하는지 모르고...
-
제목 : 과학탐구 동일과목 1,2 제한풀린거 맞나요? 2
제목 : 과학탐구 동일과목 1,2 제한풀린거 맞나요? 내용: 생1생2 선택 서울대...
-
-
지금부터 2024헌나8 대통령 윤석열 탄핵사건에 대한 선고를 시작하겠습니다. ▣...
-
이재명 "모든 지역에 공공병원 충분히 만들 것"···공공의대·의대증원 공약 걸었다 19
[경향신문] “의료인들 이익 침해 하는 것 아냐 합의·토론 안 되면 권한 통해...
-
재매이햄 0
그간의 행보는 쇼라고 해주십쇼...
-
노동가요 2
다 부를 줄 알게 되어 버렸음…
-
무조건 예약/렌더링 수준의 지문과 추론은 대비해야됨 그리고 사미인곡/유본학 지문...
-
다음대통령 3
재매이햄 맞나여?
-
ㅇㅇ 이건 양당 의견이 어느정도 일치되는 부분이라
-
난 삼도극 좋게 봤는데 10
근사충은 어차피 문제 개발하면 충분히 제초가능함 예를들어 세타의 1.5승 1.7승...
-
26수능 0
킬러부활(철학소재 국어영어지문, 삼도극 무등비 등 사탐의 해 부활(9과목 싹다...
-
윤석열 내려갔다고 과거유형이 억지로 부활하는것도아님 13
애초에 삼도극,무등비,합답형을 평가원이 내고싶어하는데 윤이 억제기를 해서 못냈던것도...
-
우리형이 서울 경찰이라 지금 비상근무 중인데 오늘 같은 날 혹시라도 몸 다칠까봐 그게 제일 걱정 됨
-
올해 재수하게된 재수생인데요 제가 수학 노베라 1월달부터 이미지 선생님 세젤쉬...
-
이재명이 대통령되는거는 좀 아닌데.......
-
한국판 국공내전 시작이라고
-
수능 건드릴 시간도 없을듯 의대 문제랑 똥 치우는데만 1년 쓸 거 같은데
-
이 나라 떠야한다는건 변하지않음 국민연금 16% 쳐 올리는거 진짜 지들 맘대로...
-
상식적인 판결 0
지극히 상식적인 인용
-
다시 킬러랑 다 부활하는건가
-
‘헌법수호의 관점’에서 용납될 수 없거나, 대통령이 ‘국민의 신임을 배신’한 경우에...
-
역시 문디컬은 대 성 대
-
의반 줄거니까 이득이라면서 의반 모여라는 무슨 소리야 2
아니 시발 이건 테러잖아
-
캬 ~
-
진짜 빌런 등장
-
하
-
미적분 킬러 부활
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?