제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
추합 관련 질문 0
만약 내일 2지망대학 추합해서 등록했는데 다음날 1지망대학 추합하면 2지망 취소 가능한가요?
-
둘이 뭐가 다른가요
-
등록포기 안하면 어캐되는거? 등록포기란이 따로안뜨네..
-
똥글2 0
똥!!
-
똥글1 0
똥!!
-
안돌겠져
-
p가 거짓이면 p->a 가 참. p->b 도 참 즉 어떤 후건이든 전건에 p만...
-
배터리 2퍼 2
곧 꺼진당...오르비를 멈출 수 없어
-
머슨일이뇨!! 3
뇨!!!!!!!!!!!!!!!!!!!
-
하.. ㅅㅂ 알파삶 힘드네
-
(서울대 합격 / 합격자인증)(스누라이프) 서울대 25학번 단톡방을 소개합니다. 0
안녕하세요. 서울대 커뮤니티 SNULife 오픈챗 준비팀입니다. 서울대 25학번...
-
그러하다
-
썰 하나 풀까? 1
전글 쓰다가 초등학교때 한가지 일이 생각남 좋아요 하나라도 달리면 한번 써봄ㅇㅇ
-
못붙나?
-
혐오의 장으로 번지고 있어서 삭제했어요 물론 댓글에 그분이 잘못이 없다는 걸...
-
https://orbi.kr/00071925963 무에서 유가 나올수 없으므로...
-
다이어트 하고 있어서 빵은 진짜 먹으면 안되는데 런던베이글개마렵다
-
업그레이드 했습니다, 궁극기 (전 10장으로 끝내는 한국사) +이벤트 0
안녕하십니까 Emit Light입니다. 요거 기억이 나실지 모르겠습니다. 여튼 저...
-
누가 빨리 좌표좀
-
성균관대(총장 유지범)가 2024년 정보공시에서 73.8%의 취업률을 기록하며 9년...
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?