제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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
나는 노잼인간이니 드립같은거 집어치우고 뻘글이나 쓸래
-
ㄱㅁ의 의미 4
ㅛㅣ라는 뜻
-
수능 국어 3 수학 1 영어 1 평가원 국어1 수학 1 영어 or탐구2 뭐가 더 높반일까요??
-
쪽지 많이 안해봄
-
내신 때 이후로 집중적으로 수1을 해본적이 없는데 복습용으로 좋은 문제집이 있을까요?
-
동태탕이 먹고싶어짐
-
레어 삼 2
우효 wwww 싼값에 얻었다
-
국정원 0
국정원이나 국일만 읽고 크게 성적향상 하신 분 계실까요..? 노베편 읽고 비밀문서...
-
-
롤 6
ㄱ
-
나 생일임 10
축하해줘
-
오르비 둘러보다가 정말 좋은글을 써주셔서 보다가 질문드립니다. 입시 자체에 익숙하지...
-
김승리 화작 0
화작 다루는 방법을 몰라서 인강을 들으려고 하는데 김승리 화작 보통 언제쯤...
-
나중에 혹 진짜 연대 붙고 오티 정모 이런 행사 다지내고 보면 몰입 안됨 연대를...
-
기출분석은 따로 어떻게하시나요? 일클+연필통에다가 기출분석까지 할 시간이 되시나요?
-
(?)(?)(?)(?)(?)
-
국정원 노베 독서 문학 둘다 읽고 비밀문서 시즌1-2권하고 있는데 여기에 피램...
-
흐흐 예상댓글)은테 축하해요 축하하니까 1000덕 드림!!
-
피곤하다 0
-
애플워치 2
10 46mm 셀룰러 사고싶은데 중고로 50넘음 깝치지 말고se2 사..? 추천좀
-
ㅇㅈ 7
펑!
-
개어렵네....어케 접근해야되는거임..
-
돌아와줘...다신 개드립 안할게
-
헬스장갈거임 0
ㅇ 몸이라도 이쁘게 만들어야지
-
천만덕 가쥬아
-
두 분만뇨..
-
꿀잠자야지 굿나잇 좀 재미있는 꿈좀 주세요
-
국어 1
둘 다 해야하긴 하지만 하나만 선택해야한다면 강민철 듣는게 나아요 아니면 모의고사...
-
팥취 하지말아주세여 ㅠㅠㅠ
-
예비고2 뉴런 1
오르비언 분들 안녕하세요! 제가 지금 수1, 수2 고2 마더텅 끝내고 너기출...
-
그럼 콩취도 있음? 콩취 팥취 엌 ㅋㅋㅋㅋㅋㄲ
-
얼마정도가 적정가?
-
이런 기출 문제집 하나 추천 해주세요
-
-
수학 개념 진도 0
3월 달까지 미적 개념만 나가도 될까요?
-
수시는 안 하지만 미적 확통 내신을 1등급 뜨게 할 건데(학교가 ㅈ반고여서 수행...
-
1번처럼 오픈되어있는거랑 2번처럼 개인공간에서 공부하는거
-
뭔가 이상해 5
남의칫솔로 양치하고있었네;;
-
제가 정시파이터 현역 고3인데 4박5일로 가족끼리 여행을 가게됐습니다.. 빼고...
-
ㅇㅇ
-
존나쓰담쓰담마렵네 13
키 20cm넘게 차이나는 누나한테 쓰담쓰담 받고싶다는거임 ㅇㅇ...
-
행운의 7 5
777777
-
이번 겨울방학에 수1은 쎈발점, 수분감 step0,1 했고 뉴런 시작한지 알미...
-
밥먹어 1
응
-
반말써주세요
-
왜 그런 거임? 휴지로 막힐 정도면 그거는 내려가나?
-
이과한정 빵 진짜 많은걸로 아는디
-
야 10
야
-
해보고싶다
-
올해 입학정원 2000명 늘어난거임? 그럼 입결 안떨어짐? 휴학 할거임? 만약...
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?