제발.. 오르비 천재님들.. 도와주십시오..
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를 선물하세요.
-
외이도염 하
-
ㅈㄱㄴ
-
안녕하새요 2
반가우어ㅛ
-
재종생이라 나머지 과목 갈켜주시는 분들은 인강을 안하심...
-
왜클릭
-
모 주식 30퍼는 담으라고 권고해드렸음
-
인강 현우진 빼도 1타 들어본적 함벋도 엊ㅅ음 김동욱/이원준 현우진/장영진/양승진...
-
반갑습니다 2
방금 왓네요
-
나진환이 ㄹㅇ 아이돌임 14
그냥 말도안되게 잘생겨서 티비 보듯이 수업 들음 이동준 나진환 유신 렛츠 고
-
나잘께 7
늦었따
-
강민철, 현우진 2
렛츠고
-
참치 참치 고추참치
-
진짜 쌍커풀.. 9
. . . . . . . . . . . . . . . . . 쌍 커플...
-
모밴이 뭔가요 12
구글 쳐봤는데 뭔 소린지 잘 모르겠음
-
가천대 상명대 3
공대 기준 두 학교 중 어디가 더 괜찮은가요? 거리는 비슷하구요 과 자체는 다른데...
-
레츠고
-
ㅊㅊ좀 평균적으로 데이당 어려운거 한두개 틀린듯
-
헬스장은 안 다닐거라 좀 눈치보여서
-
영어는 공부 안한다는 뜻.
-
그날 새르비 2명 정도 봤을 듯
-
다군이고 270명 뽑는데 대충 얼마나 돌까요? 작년에 중대 경영은 210명 뽑는데...
-
?
-
지금도 삶 속에서 누굴 찾아 헤매나요
-
두번다신 쫄려서 못하겠음
-
깝치면안되겟내
-
1,2칸 우주 상향 박은 사람도 붙을 수준인거임????????
-
일본어와 한국어는 친척언어이려면 아주아주 먼 과거에 분화돼야 함 4
그게 현재로선 유일한 시나리오 거진 기원전 2000년 전은 돼야 같은...
-
이미지 써주세요 20
감사합니다
-
스토리보는데 5
중딩때 동창 개이뻐졌네 ㄷㄷㄷㄷ 남친없는거같은데 디엠해볼까
-
탈릅하려하는데 1
심찬우쌤 강의는 들어야하는데 커뮤만 탈퇴 못하나요?
-
어으 취핮다 5
얼굴 빨게짐
-
빨리 들어갔는데 터졌을 때... 그거 뭔지 알거든..
-
한국사는 김종웅
-
예의가 없음
-
헬스터디 여성분 2
왤캐 예쁘시지 07인데 공부 열심히해서 인서울 하고싶네
-
오르비 하다가 재수 망했음 ㅇㅇ 안 해주면 서운하다 끝나면 캐삭 때리고 자러 감...
-
햄부기 땡기긴함
-
치약.
-
혼틈 8
옯스타 홍보 @fxxkmanem
-
900만덕이다
-
한국 시청자가 많아서 애칭이 한나무인데 한남 발음 못해서 한나무인게 개웃김ㅋㅋㅋㅋ
-
의지할게 진짜 오르비랑 약 밖에 없음............... 재종에서는 내적...
-
정석민 김범준은 못버릴거같은데....ㅠ
-
노엘ㅇㅈ 11
한달 전인데 머리 진자 덥수룩햇내.. 지금은 많이 가벼워짐
-
난 아직 미성년자임 부모님이 나 케어해줘야함 의사결정할때 엄빠 도움 필요함
-
올해 사문 시대컨도 개많고 사문으로 사탐런한 실수도 꽤 많은거 같은데..사문 1컷...
-
이놈 내일저녁은 너로정했다
-
e^i는 커서 cause e^i is big e^i는 복소수입니다 복소수는...
-
순위 발표 6
추카해요
-
N축 딱알려줌 11
합성함수 기본이 겉함수의 정의역이 속함수 치역이자늠? 보통 속함수를 추론시키는데...
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다