제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: https://iu.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를 선물하세요.
-
오늘까지 헌혈카페에서 헌혈하면 20000원 상당의 기념품 받을 수 있음 난 배민 2만원권 받음
-
문학은 강민철이 잘맞는 것 같고 독서는 김승리가 잘 맞는것같아서그런데 이렇게...
-
필수의료패키지(필의패) 구체적으로 무엇이 문제인가? 12
https://www.medicaltimes.com/Users/News/NewsVie...
-
좇같은 열등감 30
이것 때문에 3시간을 아무것도 못하고 날렸네
-
응애
-
하... 내가 무능력해서 그런건가... 위에서 하라는대로 했을뿐인데 왜 빨랑빨랑...
-
연대 좋음 10
닫는대는 별로임 ㅠ
-
여기 완전 감옥 아님 ㅅㅂ? 나 진짜 자유 수험 투사로서 개충격먹음
-
전한길.... 3
화이팅!!
-
내가 맥을 완전히 잘못 짚은거 같네 등하교 시간이 왜 고정인겨
-
킹북대 ㄷㄷ 3
킹북대 개쩐다 ㄷㄷ 물천열차님이 그리워지네요...
-
ㅋㅋ 쓰지마라 좀 12
아
-
국어 ㅈㄴ못하는데 최저 다른걸로 맞추면 되잖어
-
지인선 n제 7
난이도 어느정도인가요? 4규하고 바로 할 정도인가?
-
8시까지 가서 10시까지 하루 공부할게 뭐가 있단거임 아 나 충격적이네 걍 안가는게 맞겠지?
-
국가숭세단은 무슨 밈임 19
밈이 쏟아지네
-
수학 0
수12확통하는데 셋 다 매일해야됨? 아님 요일 정해서 할까 매일하면 감 안 떨어지고...
-
난 일단 하루 공부 다 끝냈는데 먼저 못나간다는게 그냥 개석나감
-
학원 일하다가 관두고 2년잡고 준비해볼까합니다.
-
2만원이면 단순계산 1회당 1150원 !!! 제본비+배송비 + 지인선 프리미엄해도 2만원은 넘을듯
-
학점교류 때문에 강평 봐주실 분 구합니다 ,, 사례있어요
-
현강 녹화해서 올려놓은게 인강이라 본인이 할 의지만 있으면 값도 더 싸고 돌려볼수도...
-
혐오의 장으로 번지고 있어서 삭제했어요 물론 댓글에 그분이 잘못이 없다는 걸...
-
공통 8문제만 풀었는데도 55분 걸렸네. 아직 2월인데 수능날까지 브릿지 10문제...
-
어디까지 돌까요 이번에 많이 안돈다던데 매일매일 정신나가며 목요일만 기다리구...
-
진짜 토악질 나오네 규칙들이 그냥 딱 4등급 새끼 공부시키게 만든 룰같음 아니 하루...
-
공부6일차 0
메인 포1 수학 하 7강 루틴 포1 수학 상 백지복습
-
수분감 하는데 있네ㄷ
-
다시 이차방정식 하러 갈게요~
-
내 레어만 뺏어가네 응큼한 녀석들
-
와 진짜 허수 버러지 새끼 앞에서 하루종일 쳐자는데 거슬려 죽는줄 알았음
-
나도 글쓰고 싶어지네 아 현타온다
-
그래서 저격이 없었던거여썩
-
새로운 친구를 사귈 기횐데 어떻게 안 설레지
-
설대 교차 cc 3
혹시 설대 이과에서 문과로 교차 지원해서 붙을 점수였는데도 떨어지신 분 계신가요?...
-
원광대 4
의대, 치대, 한의대, 로스쿨까지 다 있음 ㅋㅋㅋㅋ 전문직 양성소 뭐노….
-
쉽게 요약하면 말그대로 무력화하는 것입니다 개정안은 의대 자체 노력과 무관한...
-
안녕하십니까. 한대산 영어 연구소입니다. 이번에 저희 연구소의 메인 시리즈...
-
이신혁+김지혁or 박선 걸리면 수능날5분컷하고 잠자기가능?
-
어쩌다가 비갤 봤는데 32
그냥 끔찍하네
-
경희대 자유전공학부와 한국외대 LD학부를 모두 합격했는데 어디를 추천하시나요....
-
글삭할까요 10
특정 교사랑 있던 불화 때문에 적은 글이 모든 교사에 대한 걸로 확산되는...
-
https://drive.google.com/file/d/1_ngF5zNo6eCnpf...
-
걍 상하차 뛰어가지고 돈을 모아야 되나..
-
2/17이 맞음 3월이 맞음?
-
(서울대 합격 / 합격자인증)(스누라이프) 서울대 25학번 단톡방을 소개합니다. 0
안녕하세요. 서울대 커뮤니티 SNULife 오픈챗 준비팀입니다. 서울대 25학번...
-
헤으응
-
학자금 대출 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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?