제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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
대성은 교재들 묶어서 할인해서 파는 패키지 상품이 많던데(ex:드리블&피지컬n제...
-
1. 점심시간에 점심 다먹고 남은 시간에 뭐하나요 그때 계단에서 잡담 당연히...
-
진짜 없다고 강의좀 올려라 범바오야
-
정시 3관왕 ㅎㅎ 11
축하해주세여 ㅎㅎ
-
시대 재종 단과 1
시대 재종 다니는데 주말에 시대 단과 다니는 사람들 있나요? 만약다닌다면 컨텐츠가 겹치나요?
-
고려대 수강신청 3
고려대 신입생 수강신청 오늘맞음요? 학번조회 어케함대체
-
무물보 12
암거나
-
-
ㅋ
-
근데 칼럼처럼 많은 정성을 쓸 필요는 없는 그런 글을 잘쓰고싶다
-
이 점수는 중대식 761 (경희대 외대 시립 이화 모든과 최초합 점수급) 에시공...
-
-
이 몇명있는데 공교롭게도 이분들이 다 한양대 출신
-
거울보면서 자가진단을 해봣을때 충치가 살짝 잇는거같은데 2
치과에서 아무말 없으면 그냥 없는거임?? 슨생님이 눈이 안좋고 그런건 아니겟지...
-
오르비 기준으로 했음
-
-
체화하면 무조건 1등급 고정이라는게 느껴지는게 처음임 4
제가 되게 딱딱 떨어지는 정형화된 것을 아무래도 좋아해서 이번에 재수하는 김에 리트...
-
우측 하단에 가격이 있어요
-
님들 mbti 모오오임 13
나는 entj 우진희랑같음 나에게도 강사의 피가?
-
[단독] 노상원① "문재인·유시민·이준석 수거"‥판사·종교인·연예인까지 노렸다 2
[뉴스데스크] ◀ 앵커 ▶ MBC가 12.3 내란의 실행계획을 물밑에서 주도한...
-
빨리 자야되는데
-
ㅈㄱㄴ
-
냥대 1
추합했는데 등록포기 따로 안 하고 그냥 놔두면 등록포기 되는거죠?
-
하루에 글을 30개정도 쓰고 안지우면 투데이가 자동빰삥됨
-
방법론.. 0
최소한의 방법론만 가지고 결국은 피지컬이 제일 중요한거같다
-
학교 3개쓰려고 하는데..보통 얼마정도 함?
-
?
-
교육청은 보통1등급이었지만 백분위97~96이었고 6,9는 1컷에서 1개더 틀리거나...
-
옯창빙고 ㅇㅈ 3
이 정도면 양호한거죠?
-
에ㅐ휴이
-
저 분이 말한게 맞니?
-
고3 영어노베 0
5등급 개노베.. 영어 기출 지문보면 쉬운건 읽어지는데 요지랑 제목 이런 지문은...
-
님들 키 몇임? 21
나는 172 ㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠ
-
나 꽃 좋아해 4
정확히는 꽃 선물 받는걸 좋아함 받는순간 상대방이 날 생각하며 꽃 골랐다는게 너무...
-
우리 화2할까? 3
ㅎㅎ
-
학교 끝나고 야구장가서 치맥하는거야
-
옯창빙고…. 2
-
-
서울대 자전 추합 1차 / 2+3차가 각각 22년 13 12 23년 10 8 24년...
-
올해 수능을 화작/미적/생1/지1 보려고하는데요. 교대가 미적/기하에 가산점을...
-
옯창빙고 ㅇㅈ 0
세모들 이유 : 1. 옛날 계정 아이민은 외웠는데 지금건 못외운 2. 강사,...
-
겨울방학 - 검더텅 (클리어!) 3월까지 - 마닳 (이제시작) 4월~6모전 -...
-
의심과 3
집착
-
농담이 아니라 진짜 오르비 얼마 안랬는데
-
이전에 한번 한국 사회가 난리가 난 적이 있었습니다. '여호와의 증인'이라고 혹자는...
-
올해 딮기가 스크림이나 경기에서 푼독이 한두개가 아니네 0
POM받은 승률 100프로 루시드의 니달리 DPM 1200 쇼메이커의 조이 얘가 왜...
-
La tentation du suicide est ma meilleure amie...
-
으흐흐흐
-
옯창 빙고 1
3빙고 지리네 뭐지
-
니가 인증해준다고 해서 판 오카였고 먼저 런친건 너임 너 말대로 인증 해달라고 먼저...
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?