제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
은테!!! 25
최근에 저를 팔로우한 사람이 없는데 갑자기 100명이 돼서 뭐지 싶네요? 히히 감사합니다!!
-
“남이 사준 빙수”
-
통통이들 보샘 5
https://orbi.kr/00072695973#c_72696162 28번에서...
-
추가로 워크북만 풀 생각인데 가능한가요?
-
국어공부 열심히 했는데 2등급이 떠버리고 수학을 못해서 망하고 그나마 1뜬게 영어...
-
마닳로 기출 보려고 샀는데 기출을 돌린다는 의미를 잘 모르겠어서 하루에 1회씩 계속...
-
단위 시간 동안 방출하는 에너지양에 대한 별의 질량이 왜 별의 수명에 비례하나요..!?
-
-
추가로 워크북도 풀 생각임
-
똥테가 진짜 오르비에 시간은 시간대로 꼴아박고 인지도 없는 찐따 << 대변하는 느낌이라 개싫은데
-
개념 끝내면 김준 기출강의랑 어나클 보려고 하는데 개념 강의 누구 듣는 게 좋을까욤
-
리트 추리논증 0
재미 삼아 풀어봤는데 뭔가 국어 보기지문 같기도 해서… 얘는 수능 국어에 도움이 된다고 보시나요?
-
누렁아 이거 니나 무라
-
저녁추천좀
-
인스타에 앨범예고
-
정신적으로 문제있는 애는 예뻐도 안만나줌 부정적이어도 안놀아줌
-
이 사람이 테두리 색이 먼지 이 사람이 뱃지가 먼지 이 사람이 에피...
-
수학 자이스토리 0
ㅜ미적 3모수학4인데 지금 자이 돌리는건 너무 시간 잡아 먹을까여?ㅜ 수능은 2~3...
-
시간이빠르다..
-
오리엔트 정공에 1억 다 넣고 이익률 1위라 카더라
-
-
그렇게 생각함 나는..
-
오늘 11시반 7
미국 천연가스 재고발표..
-
현역때 국어 5등급이었는데 이원준 해설보고 이 사람이다 확신후 바로 브크 들었음...
-
안녕하세요. 이딴 걸 가르쳐도 되나 싶지만 생각보다 유용한 경우의 수 계산...
-
흠 15
-
옵붕이들은 어떤가요 19
그 분이랑 30분 거리에 있는 곳에서 이제 집 간다고 했는데 차로 데려다 준다고 온...
-
공부의 첫 단계는 부족한 부분을 찾아내는 것이라고 생각하는데, 국어에선 부족한...
-
핵폭탄? 그딴걸론 성에 안차지 초신성 감마선 폭발로 지구를 0.31728123초...
-
화1은 가오가 아니라 객기다
-
221010이차함수로 돌려서 풀어도 되는거 맞나요? 2
문제 밑에 코멘트 보니까 로그함수로 푸는거같아서
-
포만감이랑 집에서의 아늑함 버리고 추운 골목길 10분동안 걸어가서 스카 의자...
-
휴휴
-
언매 헤이팅 하지 말아 주세요
-
수능 관련해서 고민이네요
-
안해도 2고 하더라도 ㅈ빠지게 안하면 어차피 2라 걍 하기가 시름ㅋㅋ; 근데 하긴 해야겠지...
-
D-21 0
중간
-
최석호 2022년 평가원 예시문항 공통 전 문항 해설 난이도 3 약간 쉬움 1급...
-
21년 9월 가형 21번 문제입니다. 요렇게 풀다가 ...1 의 경우가 해석이 잘...
-
수학 안하니까 0
오르비에 할말이 타인의 10퍼센트 밖에 안됨
-
(예) 사회적기업 스튜디오115 무료인강입니다. 스튜디오115(스튜디오일일오)에 전...
-
오뿌이들은 어떤 하루를 보내셨나요
-
안녕하세요 2
처음만난사람들도안녕하세요
-
방인혁 말고 좀더 스킬 알고싶은데 메카니카나 파급효과같은거사야함..? 아니면 방인혁...
-
6월전까지 국어 4
강민철 수강생인데 6모 전까지 뭘 해야 되나요? 수특 다 끝내고 마더텅 같은 거 한...
-
잔다 1
내꿈꿔
-
폰 바꾸면 6
폰 반납하는게 나을까? 할인 많이된다는데
-
팥붕 vs 슈붕 8
당장 골라줘.
-
평가원 시험지 기준으로 보면 킬러급인 수2자작입니다 팔로우해주시면 뻘글 없이 맛있는...
-
뉴런 빨리 끝내려하는데 26 뉴런 볼륨이 너무 커서요 짧은 작년걸로 돌리고 싶은데...
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?