제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
고전전 교과추합 1
고전전 교관데 1차추합이 가장 많나요? 2,3차는 거의 없는건가..
-
1. 25가 역대급 잘 되었다는 평가를 믿고 앞으로 사교육 최적화 게임이 되던가...
-
.
-
동국대 합격생을 위한 노크선배 꿀팁 [동국대 25][동국대학교 학생들은 여기서 마신다] 0
대학커뮤니티 노크에서 선발한 동국대 선배가 오르비에 있는 예비 동국대생, 동대...
-
강아지 강아지 강아지 민지 민지 민지 ㅁㅌㅊ?
-
ㄹㅇ 부러울게 없겠구나....
-
안봤는데 요약좀
-
새로고침 많이 했더니 건전해짐
-
알고리즘 ㅇㅈ 0
-
아주 재밌는 밴드 만화입니다
-
엇학기 복학 할건데 걍 진짜 배수진치고 3학점만 신청하고 달릴 예정
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
조선치 지역인재 1
혹시 예비 몇번까지 돌았나요?
-
지방의는 어디랑 미팅함 15
간호대? 음.... 원광의 그 사건이 떠오르는구나
-
시대인재 기숙 월~금요일날 시간표 보니까, ‘자율학습‘이라는 게 매교시마다 있던데...
-
맞팔구 6
-
시대w관 성적대 3
W관 되신분들 백분위가 어떻게 되실까요?
-
알고리즘 ㅇㅈ 0
그냥 그래요
-
프사 변경 완 0
미쿠단에 합류
-
윤혜정 개념 나비효과 1권만 듣고 가도 괜찮을까요? 0
2권도 들으면 좋긴 한데 제가 영어 수학 공부를 너무 안해서 여기에 투자하면...
-
이정도면뭐...
-
가계정 알고리즘 6
매우 건전
-
인스타 알고리즘 0
죄다 입시 얘기밖에 없노 ㅋㅋㅋ
-
.
-
본계 알고리즘 1
그냥씹덕이잖아..
-
처음부터 이거였어
-
준수한 알고리즘 0
여기서 좀 더 내리면 애니/만화밖에 없음
-
괜찮은 편인가
-
알고리즘 10
여자밖에 없는데 그 사이에 정벽님 공스타 뜸. 팔로햇음
-
진짜 다들 존예인데 얼굴들이 다들 비슷해서 누가 누군지 모르겟음
-
달달하다
-
나도 내가 왜 반수를 했더라 슬슬 헷갈리기 시작함
-
이번년도 수능 앞두고 있는 예비 고3입니다 현재 대성패스 보유중이고 4등급이하...
-
인스타 알고리즘 17
망했네 흠.
-
평가원6번 시험중 30번틀린적없고 못푸는 평가원30번도 없었는데 이해원 문제는 못푸는거 많았음
-
쌩재수박은 06은 댓글이나 달겟음 대학가고싶다
-
헤헷
-
폰을 갤럭시로 바꾸시면 됩니다 이거 진짜 ㄹㅇ임... 갤럭시로 바꾸고 스토리 잘 안 올리게 됨
-
그 부부랑 시누이랑 몸무게 적혀있고 춤추는거
-
알고리즘에 8
헐벗은여자밖에없음
-
동국대상경에서 올리느라 힘들었네요 ㅠㅠ
-
처음에 쎈 문제풀때 c단계도 다 풀어야하나요? 그리고 쎈 풀때 먼저 책말고...
-
그냥광고계정이랑맞팔하는기분임 아무의미가없음
-
개정교육과정 과탐강사들 10
어케되려나요? 결국 상위권 강사가 파이 다 먹을거같은데 다 은퇴하려나..
-
쪽지부탈드립니다 ㅜㅜㅠㅠㅠ
-
나 사실여르비임 2
사실 남자고 팔로우해조
-
성별 투표 3
ㄹ
-
외할머니 외할아버지 둘 다 치매라
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?