제발.. 오르비 천재님들.. 도와주십시오..
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
ㅈㄴ 하기 싫다.. 그것도 쌩삼은 진짜.. 그래도 지잡에서 인설 가려면 쌩삼...
-
사람 맞음? ㄷㄷ
-
첨 알았네..
-
https://find.xn--gt1b.xyz/search 원문 찾을 때 되게 유용함
-
이미지 써주세요 14
맨날 써드리기만 했는데 저도 제 이미지 궁금함뇨
-
친구들 다 마스터인데 왜 나만
-
내일 해볼까 1
농담 ㅋㅋ
-
24수능 문학 다 맞았고 나름 문학은 잘한다고 생각했는데 1년 지나서 보니까 선지를...
-
ㄹㅇ 정력왕이네 2
9딸이라니
-
요새 안와서 잘 모르시겠지만… 부탁드립니다
-
광운대 경영 0
광운대 경영 작년에 모집인원 54명 올해 22명인데 작년 추합은 131% 였는데...
-
냥뱃에 1
롤 씹고수에인싸크아아악!!
-
삼반수 0
현역 언확정법경제 70 59 5 54 55 재수 화확정법사문 83 89 2 64...
-
나도 지금은 늙어서 응
-
재수 헬스 0
독재 다니고 있어서 8시~22시까지고 10시 40분 부터 한 시간씩 헬스해도 ㄱㅊ을까요?
-
아니 잠만 4
될 거 같기도 한데?
-
도태남은 롤 내전이나 해야지 에휴
-
사람임..?
-
짐승임?
-
계약학과 사탐런 0
제목 저렇게 쓰고도 저게 맞나 … 싶어서 질문 드립니다 현역으로 6월부터 제대로...
-
선넘질받 4
심심하오
-
호감인지 비호감인지 옯붕이들 입장에선 내가 어떻게 느껴질지 잘 몰루겠음
-
선넘질받 3
질문 1개쯤은 달리겠지?
-
푸쉬업, 개꿀운동임
-
아이패드 각인하면 묻지마 반품 안됨?? 지식인에선 많이들 된다고 하는데 불안하네요....
-
러셀 여학생전용관 vs 시대 기숙(성적 맞춰서 자동 합격) 러셀 갈려고 했는데 시대...
-
나도 선넘질받 10
댓글안달리면그냥죽을개
-
거의 만점이여야함? 화작 확통 사탐기준으로 2틀 정도?
-
ㅈㄱㄴ 아마 피램인듯
-
선넘질받 저도함 14
자기전에한번 가죠
-
여보<여기 보오 1
"여보 여러분 나ᄂᆞᆫ 녯날 ᄐᆡ평 시ᄃᆡ에 슉부인ᄭᅡ지 밧쳣더니"...
-
ㅇㅈ 5
귀여운루루인증
-
선넘질받 21
없으면 서운띠
-
저도 질받 12
제발 질문해주세요 옯찐따같이 질문 안 달리면 삭제하고 도망갈거임
-
과목 그대로 한다면
-
시대 장학금 0
시대인재 특별전형으로 부엉이 라이브러리 포함 전장 받으신 분 계신가요? 특목...
-
ㅋㅋㅋㅜㅜ 화2화1중에 택일ㅋㅋㅋ 생각이 많아지니, 별생각을 다 하네요ㅡㅡ
-
등록금 6
고지서에 자퇴하면 장학 뱉어내라네... 당연하겠지만 살짝 아쉽네
-
맛집 추천좀
-
삼수 후 입학 2
05인데 삼수하고 22살에 대학가면 늦나요? 부모님이랑 지금 .. 말싸움중이예요...
-
소신발언함) 음주했음 10
4일연속 집술
-
질문 줘요 무슨질문이든 화녕
-
재미없네
-
표정 썩어있는 시대 부엉이들 사이에 작고 동그란 사람이 ^~^ 이러고 끼어들어와서 앨베 타심
-
정석민 아쉬운게 3
양이 너무 적음 ㅜㅜ 주간지도 없음
-
피램넌최고야
-
선넘질받 23
해봐 ㅋ
-
챗지피티한테 물어봣는데 공전 속도가 같아도 거리가 다르면 시선 속도가 다를 수...
-
정석민 특 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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다