제발.. 오르비 천재님들.. 도와주십시오..
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를 선물하세요.
-
선넘질받 4
심심하오
-
호감인지 비호감인지 옯붕이들 입장에선 내가 어떻게 느껴질지 잘 몰루겠음
-
선넘질받 3
질문 1개쯤은 달리겠지?
-
푸쉬업, 개꿀운동임
-
아이패드 각인하면 묻지마 반품 안됨?? 지식인에선 많이들 된다고 하는데 불안하네요....
-
러셀 여학생전용관 vs 시대 기숙(성적 맞춰서 자동 합격) 러셀 갈려고 했는데 시대...
-
나도 선넘질받 10
댓글안달리면그냥죽을개
-
거의 만점이여야함? 화작 확통 사탐기준으로 2틀 정도?
-
ㅈㄱㄴ 아마 피램인듯
-
선넘질받 저도함 15
자기전에한번 가죠
-
여보<여기 보오 1
"여보 여러분 나ᄂᆞᆫ 녯날 ᄐᆡ평 시ᄃᆡ에 슉부인ᄭᅡ지 밧쳣더니"...
-
ㅇㅈ 5
귀여운루루인증
-
선넘질받 21
없으면 서운띠
-
저도 질받 12
제발 질문해주세요 옯찐따같이 질문 안 달리면 삭제하고 도망갈거임
-
과목 그대로 한다면
-
시대 장학금 0
시대인재 특별전형으로 부엉이 라이브러리 포함 전장 받으신 분 계신가요? 특목...
-
ㅋㅋㅋㅜㅜ 화2화1중에 택일ㅋㅋㅋ 생각이 많아지니, 별생각을 다 하네요ㅡㅡ
-
등록금 6
고지서에 자퇴하면 장학 뱉어내라네... 당연하겠지만 살짝 아쉽네
-
맛집 추천좀
-
삼수 후 입학 2
05인데 삼수하고 22살에 대학가면 늦나요? 부모님이랑 지금 .. 말싸움중이예요...
-
소신발언함) 음주했음 10
4일연속 집술
-
질문 줘요 무슨질문이든 화녕
-
재미없네
-
표정 썩어있는 시대 부엉이들 사이에 작고 동그란 사람이 ^~^ 이러고 끼어들어와서 앨베 타심
-
정석민 아쉬운게 3
양이 너무 적음 ㅜㅜ 주간지도 없음
-
피램넌최고야
-
선넘질받 23
해봐 ㅋ
-
챗지피티한테 물어봣는데 공전 속도가 같아도 거리가 다르면 시선 속도가 다를 수...
-
정석민 특 3
주수강생층이 재수생 이상임
-
우후후
-
걍 얼추 n년 옯데이터 경험상 + 주변도르
-
1~22번까지만 있는 하프모의고사 푸는데 한시간 잡고 푸는게 적당한가요? 너무 빡센거같아서ㅠㅜ
-
잡담태그만 달고 올리면 앞으로 모아보기에 제 글 안 나오는건가요 1
그럼 뻘글을 쓰면 큰일나는거 아닌가
-
진짜개꿀인대
-
문을 열고 들어서며 웃는다 카운터엔 이나님이 날보며 주문을~ 받는다~
-
그치만.. 이렇게라도 하지 않으면 와타시짱은 국어에 관심도 없는걸!
-
외이도염 하
-
ㅈㄱㄴ
-
안녕하새요 2
반가우어ㅛ
-
재종생이라 나머지 과목 갈켜주시는 분들은 인강을 안하심...
-
왜클릭
-
모 주식 30퍼는 담으라고 권고해드렸음
-
인강 현우진 빼도 1타 들어본적 함벋도 엊ㅅ음 김동욱/이원준 현우진/장영진/양승진...
-
반갑습니다 2
방금 왓네요
-
나진환이 ㄹㅇ 아이돌임 14
그냥 말도안되게 잘생겨서 티비 보듯이 수업 들음 이동준 나진환 유신 렛츠 고
-
나잘께 7
늦었따
-
강민철, 현우진 2
렛츠고
-
참치 참치 고추참치
-
진짜 쌍커풀.. 9
. . . . . . . . . . . . . . . . . 쌍 커플...
-
모밴이 뭔가요 12
구글 쳐봤는데 뭔 소린지 잘 모르겠음
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다