제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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 0
내 레어만 뺏어가네 응큼한 녀석들
-
츠키가 키레이 데스네 4 1
속뜻을 방금 알았어요
-
탈릅합니다 9 10
글 쓰는게 어느 순간 병신같아지고 대학 가는데 이러고 있는 제 자신도 한심해서...
-
주변에 잇프피가 없어요 4 0
잇프피야 내 옆에 나타나줘
-
님들은 마스크끼고 다녀? 4 0
난 전철이나 실내에서는 끼고 밖에서는 안씀
-
강대 s2 시간표 5 0
저번에 시대랑 강대 두각 중에 고민한다는 글 썼던 사람인데요, 고민하다가 강대로...
-
시발점후 마더텅vs자이스토리 0 0
투표 한번씩 만 부탁드려요 공통수학1기준 마더텅 vs 자이스토리 현예비중2-...
-
남들이 부러워하는 심리를 누구보다 정확하게 꿰뚫은게 죽여버리고 싶은 포인트임
-
지갑 1 0
엄마가 수능 끝났다고 사준 해지스 지갑 갖고 댕김
-
근데 난 솔직히 끊기 무서운게 2 0
어휴 하수충새끼 이틀도 못버티고 도망가노 쟨 커서 뭘하노 ㅋㅋ 라고 생각할거 같아 이거 정신병인가?
-
지인선n제 살까 1 0
ㄹㅇ
-
친구도 자만추가 좋음 2 0
OT뒷풀이 / 새터는 말하자면 소개팅….. ㄹㅇ 친해지고 오래가는 애들은 자만추들
-
일몰이 좀 늦어진거같은데 2 0
슬슬 겨울 끝나가나
-
복근 운동하지 말기 11 1
아파요 으아악
-
뭔가 콘서타 얘기가 들리는데 7 1
72mg 먹으면 아침잠은 확실히 깨더라...
-
클로드님께서도 인정하셨다 1 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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?