제발.. 오르비 천재님들.. 도와주십시오..
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를 선물하세요.
-
자기전 첫인상 써드림뇨 70
화나서 안되겠음
-
이미지 써드림뇨 45
마감 빠름
-
이미지 적어드림 31
마감까지
-
0덕 가즈아
-
올해는 근데 미친듯이 잘하는 현역은 아직 안보이네 20
시기가 일러서 그런가 제작년엔 paracompact 작년에는 shijo maki
-
시대기숙 떴구나 23
환경이 왤캐 좋아
-
샌드위치 정리가 중요함 25
수능에서 샌드위치를 너무 싫어함
-
어떻게 해야 되죠
-
기습ㅇㅈ 28
재-탕 아 저 머리는 언제봐도 마음에 안들어..
-
전 마조, 이건 뭔 취향 대체
-
선넘질받 23
해봐 ㅋ
-
선넘질받 21
없으면 서운띠
-
이미지 써주세요 20
감사합니다
-
사슬 맨~ 오우예이 좋은꿈꾸싲쇼
-
-
오르비 안녕히주무세요 16
새르비.. 하고 싶은데.. 5시에 일아나야해요.... 금요일 이후에는 꼭 새르비 할거에요!!
-
누구누구 잇지. 지금 떠오르는건 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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다