제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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
죄다 입시 얘기밖에 없노 ㅋㅋㅋ
-
.
-
본계 알고리즘 1
그냥씹덕이잖아..
-
처음부터 이거였어
-
준수한 알고리즘 0
여기서 좀 더 내리면 애니/만화밖에 없음
-
괜찮은 편인가
-
-
알고리즘 10
여자밖에 없는데 그 사이에 정벽님 공스타 뜸. 팔로햇음
-
진짜 다들 존예인데 얼굴들이 다들 비슷해서 누가 누군지 모르겟음
-
달달하다
-
나도 내가 왜 반수를 했더라 슬슬 헷갈리기 시작함
-
이번년도 수능 앞두고 있는 예비 고3입니다 현재 대성패스 보유중이고 4등급이하...
-
인스타 알고리즘 17
망했네 흠.
-
평가원6번 시험중 30번틀린적없고 못푸는 평가원30번도 없었는데 이해원 문제는 못푸는거 많았음
-
쌩재수박은 06은 댓글이나 달겟음 대학가고싶다
-
헤헷
-
폰을 갤럭시로 바꾸시면 됩니다 이거 진짜 ㄹㅇ임... 갤럭시로 바꾸고 스토리 잘 안 올리게 됨
-
그 부부랑 시누이랑 몸무게 적혀있고 춤추는거
-
알고리즘에 8
헐벗은여자밖에없음
-
동국대상경에서 올리느라 힘들었네요 ㅠㅠ
-
처음에 쎈 문제풀때 c단계도 다 풀어야하나요? 그리고 쎈 풀때 먼저 책말고...
-
그냥광고계정이랑맞팔하는기분임 아무의미가없음
-
개정교육과정 과탐강사들 10
어케되려나요? 결국 상위권 강사가 파이 다 먹을거같은데 다 은퇴하려나..
-
쪽지부탈드립니다 ㅜㅜㅠㅠㅠ
-
나 사실여르비임 2
사실 남자고 팔로우해조
-
성별 투표 3
ㄹ
-
외할머니 외할아버지 둘 다 치매라
-
다음날 일어나보면 누가 누군지 헷갈릴 때가 좀 있음...
-
대학가면 인스타 뭐 활동해야할거 아님 그냥 원래 계정은 대외용으로 쓰고 본계를...
-
나는 인스타 0
180명 언저리였는데 자퇴하고 새로 팠음 지금 계정에는 찐친들이랑만 맞팔해서 20명도 안됨
-
그거슨 이뱃
-
간호학과.. 3
내년에 대학가는 고딩인데요, 요즘 간호학과 졸업해도 간호학과 인원은 많고 간호사...
-
여자한테 인기 없으려나
-
급격히 증가하네 근데 왜 다들 400~500이엿는지 알겟음 비계의 필요성을 느낀다...
-
2020년 테슬라 1억 매수 2021년 테슬라 매도 -> 10억 2022년 엔비디아...
-
느낌이 좋다
-
냥대 과탐 가산점은 모집 요강에 몇퍼라구 안 적혀있는데 발표(?)가 언제...
-
새로팔까요 말까요 추천 좀... 어쩌다보니까 이런 상황이네요 ㅋㅋㅋㅋㅋㅋ
-
경영 취업은 아무리 중경이여도 힘든가요? 로스쿨 그런 거 아니면..? 증권도 자리가 많지는 않은가요
-
이대뱃지좋다 5
쪽지폭탄드가자잇~❤️❤️❤️
-
진짜 친한 해들만 모으다 보니 이래 됐는데 이상한 취급 받나
-
여기서 수의대 아니면 안간다고 말 ㅈㄴ 한거같은데 만약 내년에 수의대 말고 타 대학...
-
잠 1
-
머구라니 슈발 탈출하고 말 것이다 (잘되면 오히려 탈출 안 할지도,,
-
급함)핸드폰 돌리다가 인스타 돋보기 보면 어떡함? 11
ㅈㄴ부끄러운데
-
무조건 시총 큰 우량주를 사셈 ㅇㅇ 그래야 물려도 희망이 있음
-
영어 1등급인데 2
영어 회화가 전혀 안 된다 여기 사람들 발음을 못 알아듣는 것도 있는데 근본적으로...
-
내 로망 2
배당금만으로 먹고 살기 Schd 배당수익률이 연 3.6%니까 20억 정도 있으면 넉넉하게 살겠네요
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?