제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
큐브 첫 질답완료 6 0
별점 5개 받으니 상당히 뿌듯하네요 이거
-
설의 합격선, 설치 전장일때 후자 13 0
가는 경우도 있죠?
-
아 갑자기 현타옴 2 0
2-2학기때 내신 2.6이었는데 정파하겠다고 3-1학기 내신 버리고 총합 1천만넘게...
-
다음 닉 정했다 6 0
똥국물한잔의여유
-
근데 이게 비갤이라는 거는 7 4
진짜 좀 많이 찐따같긴 해사실 그냥 커뮤니티만 해도 이게 현실에선 좀 찐따여도?...
-
불행하지도 않음 14 0
미래에 대한 두려움을 못 느껴서
-
본인 성별이 6 3
크래파스라서 저격당할 걱정없는 옵붕이들은 개추 ㅋㅋㅋㅋ
-
화작 너무 못해서 기출 1바퀴만 더 돌리고 N제나 벅벅 풀까요 옛기출은 스타일이...
-
전 남자입니다 1 1
넵
-
어제 쓰러졌었음 10 0
동아리 교수님편 볼생각에 싱글벙글 대기타고잇엇는데 휴재인거보고 충격받아쓰러짐..
-
덕코 드림 6 0
xdk dream이라는 뜻
-
-
하수) 여르비 ㅇㅈ글에 환장 7 2
고수) 오르비 과외에서 여자선생님 클릭
-
틈새시장 4 1
Instagram 존나예뻐
-
술 먹고 토 안 하려면 천천히 먹는 거밖에 없나 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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?