제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: https://app.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를 선물하세요.
-
잠 0
진짜잠
-
잠 안 오네 3
오르비 + 공부하지 뭐
-
키보드로만 대화가능
-
널보고어쩌고
-
번아웃온거같음 5
아무리 공부를 잘하고 선망받는 타이틀을 따도 결국 나는 그때의 한심했던 모습 그대로...
-
공부잘하는사람들 3
개많네... 분발해야겠다 진짜
-
잇타리키타리노오이란도츄우
-
시대 기숙간다면 0
룸메랑 밤마다 전국 서바같은 모고로 대결할듯요 고등학교가 엄청 ㅈ같아도 룸메랑 실모...
-
얼버잠 1
이제 자러가야지 잘자요 옵붕이들
-
시대는 교재비가 양아치인거긴 한데 그래도 1500명 다 못받을까봐 이런건가
-
침대는 좋은 것 1
-
3모때 에피 땀 2
증명해버릴것임 (순공 평균 35분을 하며)
-
어케저런일이 ㅠㅠ
-
냥도체님 저격함 1
어떻게 저한테 5수생같다는 말을... 닉네임도 06 성대생인데....
-
잠드는데 기본 2시간이네..+우울감..
-
헤헿
-
그저 탑
-
닉변 완 1
안녕하세요 사연있는 현역정시 성대생임다
-
올해는 근데 미친듯이 잘하는 현역은 아직 안보이네 20
시기가 일러서 그런가 제작년엔 paracompact 작년에는 shijo maki
-
장수생을 위한 나라는 없다
-
이제누워서유튜브보다자야지
-
왜 벌써 4
내가 수능을 쳤고 대학에 붙었고 성인이고 재수학원에 갈 예정인거지?
-
아마도
-
얘 뭐냐 ㅋㅋ 11
중앙대 까더니 정작 본인이 내세우는 건 중앙대 경영 ㅋㅋ 개 웃김 ㅋㅋㅋㅋ
-
1명은 자퇴생임
-
디씨 짤에서만 보던거 진짜로 현실이였네 친구 어떻게 사귀게 ...
-
누구누구 잇지. 지금 떠오르는건 3명 정돈데
-
옯스타가 머임? 0
?_?
-
항상 보면 파란색 사이트가 문제더라고요
-
동덕 vs 교대 5
교사되고싶은 생각이 있긴있었는데 초등말고 중등이 하고싶음요.. 교대는 초등밖에...
-
문학론 듣는사람 0
문학개념어 모르는건 아니고 대충 다 알건 앎 김상훈 t 문개매 압축버전 들을까...
-
응
-
휘문고로 전학가고 싶다 12
잘생긴 형아들 많던데…
-
언매총론 작년에 한바퀴 다하고 달달 외웠었는데 다 까먹음 다시 언매총론 강의 다...
-
어떻게 해야 되죠
-
참 달콤해서 조금 더 꿈을 꿔
-
ㅅㅅㅎ<<<저격합니다 10
별일없으면잔대서응
-
오르비언들 좋은 꿈 꿔용
-
난이도비교좀 0
.
-
맨들맨들함
-
공부 잘하는법 0
공부열시뫼가시
-
ㄹㅇ
-
아 오늘따라 술이 쓰다
-
ㅇㅇ
-
전애인이 없음 근데 에라이
-
총 비용이 2천이면 착수금..500가능..? 할부는 3년도 되려나요
-
언매 작년 1학기내신 서울자사고 기준으로 1등급 안정권이었는데 2학기에 문학하느라...
-
남 연애만큼 재미있는 것도 없음
-
숭실대 글로벌통상(무역) vs 아주대 경영 어디가노 집은 용인 로스쿨이나 cpa같은...
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다