제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
올해 처음 뽑는 자전인데 28명 뽑고 처음에 예비 21뜸 2차까지 보면 8떴는데...
-
언미물2화2 97 100 1 47 47
-
그 피지컬이란것은 타고난것도 매우 크고 수험생활 이전에 경험한것들도 매우 크게...
-
이번주 월욜에 막 올러오ㅓ서 시작했는데 너무외롭고 걍 계속 눈물만나옴.. 학사에선...
-
난니들과다른사람이야
-
오티갈때 팬티는 4
켈빈이랑 떠그 언제나 준비되어있는 곰돌이
-
한 20억 모이서 파이어족 하고 싶다 일하기 싫어
-
하하
-
외화유출범 잔다 4
컹컹
-
와꾸빨로 그냥 연애섻 프리패스 가능한 얼굴들
-
아 롤할까 7
ㅈㄴ 피곤한데 잠 안 오는 상태 굿
-
누구말투임 진짜 ㅋㅋ
-
요즘은 디지털 시대라 세미 정장까진 허용되나요?
-
잘꼬야 0
-
어 왜 0빙고지
-
나도 해볼까해서
-
의대가시는분들 4
올해 학교 가실건가요?
-
교환학생으로 미국 쪽 갔다 오면 미식축구 관심 가지는 경우가 은근히 생기더군요. 0
일단 미국에서 NFL 다음으로 인기 높은 스포츠가 대학풋볼이라서 그런가...슈퍼볼...
-
그 사람들중에 팔로워수가 팔로잉수보다 꽤 많은 사람들이 있음 근데 그 사람들이 날...
-
나랑 쪽지할 6
여르비 급구
-
12광탈의 여파로 한 2달 죽어있다가ㅠㅠ 1월쯤부터 친구들 만나고 힐링 좀 하면서...
-
흐엉엉엉엉
-
재미없어 다시 오르란 말이야
-
인거요? 현역이고 지금까지 미적만 파느라 수12를 못했었어요 3모 전까지 완강할려고...
-
옯창빙고 ㅇㅈ 7
분명 뉴비 맞는데
-
새터갈때 0
옷 뭐입지 사야되는데 돈쓰기 아깝고 나 대학생하기싫어
-
진짜 개춥네 0
히터도 고장났고.. 심지어 라디에이터도 안켜주네
-
올해 수능보는 현역입니다 선택과목은 확통입니다 미적 하고싶었는데.. 선행 안해놓아서...
-
섭3주자 서브 330주자가 대체몇명이야 ㅡ여기들어가면 서브3주자에게 배울수있는건가
-
유튜부에서 보던 분이셨는데 메가런칭하셨누 ㄷㄷ
-
여사친 남사친 하하호호 장난치면서 걸을때 부럽더라..
-
추구할 수 있는 나이가 되었으니
-
슬슬잘까 0
볼게없네
-
가방에 주렁주렁 매달고 다녀야지 혹시 몰라서 두개씩 삼 저번에 나중에 사야지 했다가...
-
문제 접근방식과 사고흐름을 잘 설명해주시는 분이면 좋겠어요
-
너희들에게 100점이 주어지리라
-
시발...........
-
부계에서 온 톡이 뜨네요
-
아닠ㅋㅋㅋㅋㅋㅋ Qna조교들이 라이브 영상을 못 보는건 대체 어느 누구 머리속에서...
-
여르비 저한테 쪽지 해주세요
-
이건 일단 단계부터 빡셈 1.친해지기 2.좀 더 친해지기 3.전화번호받기...
-
우부ㅜ부 2
선착 한며ㅓㅇ 사랑해
-
다 만족함?
-
오늘자 LCK 0
구마유시면 이겼다?
-
수능 계속 보다가 안 보신 해에 어떤 기분이셨나요
-
진짜 조올라 가기 싫은 것도 정상이죠?
-
다른 학교 추합하면 한양대 등록금 환불 받아서 그 학교에 넣어야 하는데, 계좌에...
-
어린이는 일찍 자야해서 자러갑니다
-
성대 글로벌 연대 언더우드 외대 LD,LT 국민대 KIBS 경희대 국제학과 등등
-
지거국 공대 0
지거국 부경은 확통 사탐으로 공대 못가나요
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?