제발.. 오르비 천재님들.. 도와주십시오..
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를 선물하세요.
-
시대인재 수학 1
2등급이고 올해는 당연히 1등급 목표입니다. 작수에서 미적을 많이 틀렸고 미적을 잘...
-
지인선n제 살까 1
ㄹㅇ
-
ㅈㄱㄴ 중딩때 받았던 지갑 다 해져서 걍 다이소에서 사려하는데 저렴한거 써도...
-
본문 안 보고 문제부터 푸는 거 어케 생각함요?? 그렇게 가르치는 강사 있던데 과고...
-
운동할 맛 안 나네 13
아 진짜 어떡하지 하
-
지인소개라 테스트랑 상담은 정규수업에 안끼려고 수업 전에 한번 보자니께 담달부터...
-
작년 5월에 시작하면서 8월에 느낀거임
-
투자 대박났다고 자랑하던 인증글들 다 지웠네
-
어휴 무섭네무서워
-
오르비 8년차 4
ㅇㅇ
-
클로드 조타
-
별점 5개 받으니 상당히 뿌듯하네요 이거
-
지금 인강들 보면 다 개념이나 기출 위주던데 기출 첨부터 다시 하시나요? 기출 시간 넘 오래걸리던데
-
다음 닉 정했다 6
똥국물한잔의여유
-
ㅈㅅㅎ, ㅈㄴㅂㅇㅇ 팔로수가 314임
-
간 것 마냥 행동하는 친구들 정말 많네요 참 보기좋은 광경인듯합니다
-
펑 5
펑
-
본인 성별이 6
크래파스라서 저격당할 걱정없는 옵붕이들은 개추 ㅋㅋㅋㅋ
-
없으면 나 혼자 해야지
-
-
덕코 드림 6
xdk dream이라는 뜻
-
아는 내용도 꽤 많고 당연하다고 생각되는걸 생각보다 강조함. 엄청...
-
오르비언 대표 클린유저로써 강민철 수강생의 명예를 걸고 클린 오르비 문화를 선도해나가겠습니다
-
저는 자유전공계열에 합격하였는데, 입학과 재수 사이에서 고민하다 명확한 진로의...
-
등록포기 안하면 어캐되는거? 등록포기란이 따로안뜨네..
-
.
-
그럼 무적임
-
안돌겠져
-
-
강사랑 독학서 그만보고싶다 진짜
-
어차피 다 까먹거나 지금 오르비 안한 여르비들 나중에 인증 다 함 이건 100%장담함
-
신나게 옯 마크 서버 하고 들어왔더니 다 죽어있던 건에 대하여
-
p가 거짓이면 p->a 가 참. p->b 도 참 즉 어떤 후건이든 전건에 p만...
-
ㅜㅜ
-
배터리 2퍼 2
곧 꺼진당...오르비를 멈출 수 없어
-
여왕벌 3
?
-
비갤, 흥한갤 205위임
-
하니 프사랑 요루시카 프사로 도배되어있네 그놈이 그놈같구마잉
-
그날 몇명이 숙청당했는지..
-
동덕여대 시위 0
정치권까지 참여하고 판커진거보면 진짜 숨이 막히네….
-
내가 알던 오르비거 아닌데 이건
-
ㅇㄷ감?
-
본인 사진첨부해서 자기소개 하라는데 ㅅㅂ 특정될일있나
-
ㄱㄱ
-
사실 아무도 안보냄
-
숭실대 한국외대 3
숭실대 이과 정보통계랑 외대 어문계열(중어 일어…) 중에서 어디로 가는게 낫다고...
-
중앙대 약학대학 신입생 카페 가입 안내 안녕하세요, 중앙대학교 약학대학 제 41대...
-
머가 제일남? 디씨는 야갤임
-
여르비인거 밝히니까 남르비들 ㅈㄴ 꼬이네 에휴
-
그게 현명함
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다