제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
감자 먹고 싶다 1
냠냠
-
이게 첫 계정임..
-
호감 비호감
-
고3 목표 5
1.0
-
고2모고성적 국어4 수학4 영어3후반 수학 이제 실전개념+기출 들어가는중 국어...
-
사람들 다 어디갔어
-
어차피 안(?) 나갈 거 같긴 한데 걍 문득 궁금해서... 암묵적인 키 입구컷 같은...
-
회원에 의해 삭제된 글입니다.
-
할복
-
한심해 보일까봐 고민임
-
고2모고성적 국어4 수학4 영어3후반 수학 이제 실전개념+기출 들어가는중 국어...
-
수능수학 푸는법 3
1. 생각을 한다2. 계산을 한다뻘글임
-
배고파 1
지금 밥먹으면 안되겠지?
-
かのじょは 顔が ( )ので 学校で いつも だれかと 話して いる。 どこへ...
-
배고파
-
올해 수능 세계지리 46점 백분위 95 / 한국지리 45점 백분위 92 나왔는데...
-
어쩌다보니 둘다 있는데 그냥 하루에 두개 다 풀까요? 넘 과다하나요?
-
서울 과중고 다니는데 내신이 3.9-3.3-2.5-3.0이라 너무 애매한 듯 하네요...
-
사문 윤성훈으로 기출 1회독하고 마더텅으로 2회독해도됨?? 교육청같은거에 오개념 없으려나
-
난이도도 낮고 공부량도적고 표점방어도 잘되는 지구과학 다음으로 혜자과탐은...
-
일단되고생각하자
-
친구가 일본에서 사왔어요
-
아주대 지반공 최초합 발표 당시 예비 8번인데 오늘 두 명 빠졌어요.. 가능할까요?
-
전혀 상관없는 과를 와버렸네
-
한의대 가면 예+본과 6년에 군대 3년이면 9년인데… 열심히 공부한단 전제하에...
-
있으신가요 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ 하 시발
-
그러하다
-
이말투쓰면바로찐따행
-
기하->미적런 1
지금 겨울방학동안 기하 시발점 벡터부분 하고있었는데 전기전자가 목표라 대학가서도...
-
잃은거 언제 다 복구 하지
-
올해 처음 뽑는 자전인데 28명 뽑고 처음에 예비 21뜸 2차까지 보면 8떴는데...
-
언미물2화2 97 100 1 47 47
-
그 피지컬이란것은 타고난것도 매우 크고 수험생활 이전에 경험한것들도 매우 크게...
-
이번주 월욜에 막 올러오ㅓ서 시작했는데 너무외롭고 걍 계속 눈물만나옴.. 학사에선...
-
난니들과다른사람이야
-
오티갈때 팬티는 4
켈빈이랑 떠그 언제나 준비되어있는 곰돌이
-
한 20억 모이서 파이어족 하고 싶다 일하기 싫어
-
하하
-
외화유출범 잔다 4
컹컹
-
와꾸빨로 그냥 연애섻 프리패스 가능한 얼굴들
-
아 롤할까 7
ㅈㄴ 피곤한데 잠 안 오는 상태 굿
-
누구말투임 진짜 ㅋㅋ
-
요즘은 디지털 시대라 세미 정장까진 허용되나요?
-
잘꼬야 0
-
어 왜 0빙고지
-
나도 해볼까해서
-
의대가시는분들 4
올해 학교 가실건가요?
-
교환학생으로 미국 쪽 갔다 오면 미식축구 관심 가지는 경우가 은근히 생기더군요. 0
일단 미국에서 NFL 다음으로 인기 높은 스포츠가 대학풋볼이라서 그런가...슈퍼볼...
-
그 사람들중에 팔로워수가 팔로잉수보다 꽤 많은 사람들이 있음 근데 그 사람들이 날...
-
나랑 쪽지할 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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?