제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
멸망전이어서 쫄림
-
군적금 다 모으면 5 2
얼마 정도 들고 나올수 있으려나
-
눈썹정리만하면 난... 1 0
거의 완성이야
-
우울하네 1 1
왜그럴까
-
274일의 기적 1 2
완전 노베에 국영수도 되어있는 거 1도 없는데 그래도 함 해봄 ㅋㅋ 물생으로 갈게요 ㅋㅋ
-
내가 의대를 버리고 연공에 온 이유. 14 4
얘 때문임. 절대로 수시 납치라거나 정시 뽀록이 낫다거나 그런거 아님.
-
정신과 << ㄹㅇ 별거 없음 2 0
그리거 가보면 신기한게 님 불편한부분에 따라 헐크 도핑마냥 온갖 약을 다 받아 먹을...
-
당직이 구라침 8 2
오대기 집합이라고 해서 군장 다 착용했는데 구라라고..
-
잘자요 및 2일 ~3일 휴릅 2 0
감기 몸살 및 대형 면허 따야해서 2일만 휴릅하겠습니ㄷ ㅏㅇ 모두 좋은 하루 되세ㅇ...
-
아주대랑 교원대 입결 차이 많이 남? 10 0
아주대 디미랑 교원대 일사 합격했는데 원래는 교원대가 훨 높나??
-
빤스런 하겟습니다 2 0
굿
-
25수능 4등급 26수능 2등급 목표 질문드립니다 0 0
제목대로 작수 미적분 4등급이고 올해 2등급을 목표합니다 25수능 미적 선택 4등급...
-
맞다 나 학생증 없구나 0 0
뭐 가져가지
-
미기확런 해야겟다 2 1
하나만 하기 너무 무섭다
-
양념소갈비먹고싶다 0 0
간장 양념 살짝한 1등급 소갈비살이 먹고 싶구나 인스타 스토리 못볼걸 봤네 ㅋㅋ쿠ㅜㅜㅜㅜ
-
결국 시험이 쉬운거여썩 7 1
1등급 어케 해야 맞지
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?