제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
무의식적 백지복습
-
상의 흰티에 인디고 데님자켓 하의 흰 화이트팬츠+첼시부츠 전체적으로보면이런느낌인데...
-
3월 말쯤부터 해서 제대로 풀어진거같네요….다시 정신 좀 차려야겠음 미친거같음 진짜로
-
이미지 메타 써주는데 62
상처 받지 않을 사람만 ㄱㄱ 롤 끝나고 써드림
-
학생때 축구 하면 찐.따여서 항상 강제로 골기퍼 해라고 해서 골기퍼 하고 골 먹히면...
-
21세기 정상국가에서 친위쿠데타 일으킨 병신은 리짜이밍 인민장군에게 직권을 양위하고 물러가십시오
-
김상훈 ebs 를 부탁해 아니면 엄선경 ebs 둘다 인강 안듣고 책으로만 하려하는데...
-
하나둘씩 풀리니깐 기쁘다... 예전엔 손도 못 댔을텐데 오늘 210630 40분...
-
옳게 된 수학 합답형 11
8지선다형 도입원하면 개추
-
이건 처음보네..
-
칭찬 좀 해주셈 9
ㄱㄱㄱㄱㄱㄱㄱ
-
백호T 인강 듣고 생명과학 공부중인데 흥분전도 추론형 문제가 너무 안풀려요ㅜㅜㅜ...
-
-
실시간으로 보면서 역사적 순간 함께하기 Vs 폰꺼뒀다가 오후 1시쯤 각종...
-
ㄹㅊㄱ
-
야이 ㅁㅊ새끼야 4
-
사람 보는 눈이 날카롭다 근데 그 눈은 거울을 보면 자기도 투과해버려서 때론 아픈...
-
이악물고 찬물샤워 해볼게요 하 너는 해병대야 너는 유디티야 너는 덱스야 너는 백골부대야
-
확통사탐 작수 12121 스카이 상경 목표인데 작년보다 열심히 하면 될까요…
-
3문단에서 토대론자들에 의해 기초 믿음은 추론 과정이 필요 없고 4문단에 의해 기초...
-
작년 재작년 수능 풀어보니까 국영 과탐은 괜찮은데요 미적이 자꾸 삑사리가 나네요...
-
인강 들으면서 마지막으로 기출 정리 하고싶은데 어떤게 좋을까요?
-
입시는 멘탈 게이지 싸움임 빨리 접해서 기만 빨릴려는거 아니면 입시판 일찍 들어와서...
-
오르비언들 나땜에 관뒀기 때문임
-
지문 자체를 디시식으로 뇌내 치환해서 읽음 예전에 이런 글 보고 재미로 따라하다가...
-
배고프다 3
집으로가자
-
이건 매우 위험하다
-
작년 재작년 수능 풀어보니까 국영 과탐은 괜찮은데 미적이 자꾸 삑사리가 나네 가산점...
-
국어 탐구 잘보면 될거 같은데... 원래 꿈은 높게 잡는거니깐 ㅎㅎ
-
점심저녁때는 오르비를 들어올필요가
-
생각보다 사람들은 남의 우울에 공감하지 않는다는 거임
-
내 몸에 반미세력이 침투한게 틀림없음ㅇㅇ
-
. 3
-
오노추 18
어릴때 힘들때 더팻랫 노래 많이 들었던 기억이 있네요
-
Nft 0
Ntf Etf Eft
-
탄핵 기각 인용 이걸로 덕토 판을 크게 벌려줬을 텐데 아쉽구만
-
미적 수특1강 (2회독째) 영어 대의파악 4문제 독서검더텅 2지문...
-
내프사 귀엽지?? 10
-
더는 공부하기가 싫어서요 진심으로 좋은말 써주면서 같이 으쌰으쌰 하자는 의미로
-
본인 ㅈ됨 3
내신과목 6개 내신파이터. 1달 공부 후 6모, 1달 반 공부 후 9모 2달 공부 후 수능 ㅅㅂ
-
내일부터 다짐 7
1. 손 뜯지 말기 뜯고 싶을때마다 물 마시기 2. 졸리면 스탠딩 책상 가기 3....
-
-
이제 안하면 진짜 큰일날거같아
-
-
사주세요
-
덧셈 뺄셈에서 자꾸 삑나냐 ㅅㅂ
-
내일졸사찍음 1
내일풀메한다 ㅇㅇ
-
는 모르겠고 47점맞아서 기분좋음
-
피자/순살 치킨 무조건 먹는다.
-
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?