제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
과외 자료 만들거나 or 기출 관련 학습하면서 불편했던 점 있으심? 10
댓글로 얘기해주시면 아이디어 가져와서 만들어보든지 하겠음ㅎㅎ 너무 노가다였다든가 등등
-
그 명제의 대우명제나 그 명제의 부정형 같은걸 만들어서 논리규칙들도 적용해보고...
-
전액장학 가능한데 함 찔러봐?
-
지인선 n제 7
난이도 어느정도인가요? 4규하고 바로 할 정도인가?
-
그게 나야 바 둠바 두비두밥~ ^^
-
꼬시고 도망만 감
-
비틱한다 4
저녁 삼겹살
-
중요한 일 때문에 머리해야할 때 지원하면 좋음 할인이거나 본인이 좀 생겼다면 전액...
-
ㅋㅋ
-
[고려대학교 25학번 합격] 합격자를 위한 고려대 25 단톡방을 소개합니다. 0
고려대 25학번 합격자를 위한 고려대 클루x노크 오픈채팅방을 소개합니다. 24학번...
-
-
기숙사랑 비슷한가 가격차이가 원룸이랑 그렇게 큰가요?
-
일하고 와야지..
-
머리자르고왓다 6
갈때마다 만족하고나옴 비싼편인데 돈이안아까워
-
-
다녀보신 분 계신가요? 후기 궁금해요
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?