제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
탈릅 8 2
까지 1년정도 남은듯
-
정답 및 해설 아래에
-
서강상경 499 미만도 1 5
지금 시점이면 한 30%정도는 줘도 되지 않을까 싶습니다 올해 추합은 확실히 많습니다.
-
어렵ㄱ다... 재밋는영상만드는사람들은 ㄹㅇ센스가타고난듯
-
폭포어떰뇨? 7 1
집가는중
-
공리가 거짓인 이유 4 1
https://orbi.kr/00071901928 이 링크에서 (공리가 참이라는...
-
이천 이투스 247 2 0
다니신 분 있나요?? 쪽지로 질문 몇개 해결하고 싶습니다(사례도 해드릴께요!)
-
168, 78은 뭐임 4 0
방금 옴
-
개쓸데없는 tmi긴 한데 3 0
ㅈㅅㅎ, ㅈㄴㅂㅇㅇ 팔로수가 314임
-
. 1 1
.
-
이 문제 킬러문젠가? 4 0
준킬러 정도인가 어떻게 생각하심
-
불속성 효자 ON 1 0
엄마아빠 돈 삭-제(걸고재수함)
-
약대 붙은 친구한테 축하 메세지 보냈는데 내가 개초라해진다 6 1
내가 뭔데 약대생 축하를 하고 자빠졌냐?
-
대학교에 19살인데 일찍들어온 학생이 있네요. 가능한가요
-
사죄의 의미로 프사를 5 0
완
-
먼일이지 2 0
근데 먼가 알고 싶지 않다 그런 의미에서 안뇽 낼 보장
-
우우 여부아
-
라이브 말고 문제별로 구분된 전문항 해설 영상이 따로 있음?
-
스카진동빌런 3 0
살면서 처음 보는데 보법이 다르네
-
여왕벌 3 1
?
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?