제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
아 춥다 스벌 2
우어어
-
기병 is so cute 이거 아직도 하시나요? ㅈㄱㄴ
-
모닝 짤 0
-
211021 논증 풀이 18
D에서 직선 AB에 수선 내리자. (수선의 발 F), 그럼 A,E,F,D도 한 원...
-
님들 안자네 0
키 안큰다 쪼.꼬.미~?
-
시발아 풀로 준비한덧도 아니고 90일정도준비했는데 과는 원하는과왔잖아 안그래? 하좀그만
-
https://youtu.be/kmDl63UBqyo?si=zOh2IrMfxSZTMme...
-
너무 심하게 하는 애가 있는지 끊어내야 할지 고민됨 인생 관련해서 푸념하면서 계속...
-
무조건 취업 빨리 하라고 강요하지 않는 집안 자식이어서 다행이다
-
해보도록 해야지
-
라인 한개 이상 억까보고 대학 가니까 지금 대학이 ㅈㄴ 싫다 진짜 자살말린다 진힘
-
-
별좃같은춤들유행하는꼬라지보다가 노래랑 춤까지 전부다 힙하니까 ㄹㅇ 취저임 응..
-
tmi 7
나는 오르비를 할 때, 웹을 3개 이상 켜놓음.하나는 공부 관련 글, 칼럼같은거...
-
삼장좋아햇어 근데 갑자기 흑화한거보고 좀 충격먹었긴한데 개인적으로 마녀가...
-
잘 자요 좋은 꿈 꿔요
-
그래서 무서움
-
오노추 11
허각 - 모노드라마
-
주문한거 도착!!! 열심히 해보겠습니다.
-
늘어나랏 여의봉 3
쭈욱
-
뻘글 500배 2
제아봉침 써야겟다 이거는
-
근데 그냥 집가서 끓여먹을걸 그랬나 하는 생각이 문득
-
왜난공부를안하지 0
간절하지 않아서인가 와닿지 않아서인가 3모 봐야 위기의식과 경각심을 좀 느끼려나
-
많이 평화로움
-
지구과학처럼 최신 기출 먼저 개념화 해버리고 풀면 인생 절반 손해보는 그런거...
-
이게 얼마나 심하냐면 15
일주일만에 같은 반 애들 이름을 까먹었음 심지어 밥도 매일 같이먹는 애임 장난이...
-
뭐가 그리 설레고 또 좋았었는지 세상을 다 가진 양 들떠 있던 내 모습이 너 없이...
-
헤어짐 3
나에 비해 여친이 날 너무 사랑해서 요즘 죄책감도 많이 들고 부담스러워했는데 막상...
-
대가리 박기는 진리다.한 문제를 소중히 여기자. (사실 지금까지도 이걸 제대로 못...
-
재수 준비하느라 작년 성적 분석하고 있는데, 평가원이랑 교육청 모고 평백이 10정도...
-
사실 나는 기억력이 정말 안좋음 이게 대화를 조금이라도 나눠본 분들은 느끼시겠지만...
-
안 싸우려고 노력해야지 도망갈거임
-
아몰라 자러갈래 3
ㅂㅂ
-
얼버잠 5
-
오래된 노래 6
우연히 찾아낸 낡은 테이프 속의 노랠 들었어 서투른 피아노 풋풋한 목소리 수많은...
-
글삭하는 이유가 6
무엇인가용 궁금해용
-
생각보다 연애하기에 너무 좋은 사람임 생활 패턴도 맞춰지고 좋아하는 걸 공유하니까...
-
자러가야지
-
원래 이상형이 0
담배안피고 연하인 작고 귀여운 사람이었는데 이제는 귀엽기만 하면 되는듯
-
재수생이라 모름
-
잠이 안 오시나요
-
https://www.instagram.com/reel/DEwR1JayLCb/?igs...
-
이럴수가
-
25수능 미적 15 20 21 22 27 28 29 30 틀로 4인데... 커리를...
-
아무것도 안해도 지치고 피곤해서 뭘 할수 없음 씻는것도 움직이는것도 귀찮음 그러면서...
-
단성학교라 이해도 공감도 전혀안되는 옯붕이들은 7ㅐ추
-
죄송합니다 10
이말 아이고랑 같이 습관됐다 어카냐
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?