제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: https://o.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
뭔가 이름이 무서움..
-
과목 그대로 한다면
-
시대 장학금 0
시대인재 특별전형으로 부엉이 라이브러리 포함 전장 받으신 분 계신가요? 특목...
-
ㅋㅋㅋㅜㅜ 화2화1중에 택일ㅋㅋㅋ 생각이 많아지니, 별생각을 다 하네요ㅡㅡ
-
정미영쌤 ㄹㅇ 0
이쁘심요 강대에서 처음 뵌 순간 약간 숨이 멎을 뻔 함 웃으실 때 진짜 이쁘심요...
-
등록금 0
고지서에 자퇴하면 장학 뱉어내라네... 당연하겠지만 살짝 아쉽네
-
어떻게 깼떤거지 ㅋㅋ
-
인천대물리 0
혹시 인천대 물지 지원하셨나요?
-
맛집 추천좀
-
삼수 후 입학 1
05인데 삼수하고 22살에 대학가면 늦나요? 부모님이랑 지금 .. 말싸움중이예요...
-
4일연속 집술
-
질문 줘요 무슨질문이든 화녕
-
지금은 걍 정병메타에 탑승해버림요.
-
재미없네
-
김범준은 이거지 1
겉함수 이만기 속함수 강호동 ㅋㅋ 현강가면 안다
-
표정 썩어있는 시대 부엉이들 사이에 작고 동그란 사람이 ^~^ 이러고 끼어들어와서 앨베 타심
-
친절하심
-
정석민 아쉬운게 3
양이 너무 적음 ㅜㅜ 주간지도 없음
-
피램넌최고야
-
선넘질받 19
해봐 ㅋ
-
챗지피티한테 물어봣는데 공전 속도가 같아도 거리가 다르면 시선 속도가 다를 수...
-
이 두문제 하자가 잇는 풀이인가 궁금함 두번째 문제 n=m+1논리 이거도 사실...
-
정석민 특 3
주수강생층이 재수생 이상임
-
학원비ㄹㅈㄷ 0
수학 한 과목에 200나왔네 ..공부하러 가야지
-
질문바됴ㅡㅂ니다 23
ㄱㄱㄱㄱㄱ산넘는걸로해줘
-
우후후
-
걍 얼추 n년 옯데이터 경험상 + 주변도르
-
1~22번까지만 있는 하프모의고사 푸는데 한시간 잡고 푸는게 적당한가요? 너무 빡센거같아서ㅠㅜ
-
잡담태그만 달고 올리면 앞으로 모아보기에 제 글 안 나오는건가요 1
그럼 뻘글을 쓰면 큰일나는거 아닌가
-
진짜개꿀인대
-
문을 열고 들어서며 웃는다 카운터엔 이나님이 날보며 주문을~ 받는다~
-
짇문 받겟다 9
해줘잉
-
그치만.. 이렇게라도 하지 않으면 와타시짱은 국어에 관심도 없는걸!
-
외이도염 하
-
머리아파 5
술먹으면서애니여캐이상형월드컵1024강돌림
-
ㅈㄱㄴ
-
커뮤충임? 탐구는 사탐이라 안들음
-
탐구는 몰라
-
안녕하새요 2
반가우어ㅛ
-
조합론 코딩 시사경제 해석학 해보고 싶은게 많은데 걍 다 처음이니까 힘들어서 젤...
-
재종생이라 나머지 과목 갈켜주시는 분들은 인강을 안하심...
-
왜클릭
-
모 주식 30퍼는 담으라고 권고해드렸음
-
인강 현우진 빼도 1타 들어본적 함벋도 엊ㅅ음 김동욱/이원준 현우진/장영진/양승진...
-
반갑습니다 2
방금 왓네요
-
질문해드림요 31
-
다들어봐서 아무도 안들음 ㅇㅇ..
-
나진환이 ㄹㅇ 아이돌임 14
그냥 말도안되게 잘생겨서 티비 보듯이 수업 들음 이동준 나진환 유신 렛츠 고
-
나잘께 7
늦었따
-
강민철, 현우진 2
렛츠고
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다