제발.. 오르비 천재님들.. 도와주십시오..
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를 선물하세요.
-
술 천천히 계속마시니까 11
이제 막 엄청 취한느낌은 안나네 근데 머리아픈건여전해요 뒷일을 부탁한다, ’간‘
-
대학 입학 0
입학식 보통 감?요?
-
ㅇㅇ
-
신이 만든 애니 6
쓰르라미를 가장 좋아하지만 신이 애니를 만들었다고하면 1초도 고민안하고 슈타게라고 대답할거임
-
보이스 하자고 11
마이크 챙겨와라 심심하니까
-
ㅇㅇ
-
주식 나락가봐 죽으면 그만이야~~~
-
잇올 궁금한거 2
잇올 자습시간에 화장실 갔다가 스탠드 책상이용하는거 벌점받음?
-
식겁했네
-
숭실대 국민대 아주대 과기대 뱃지를 만들어라!!!!
-
나 진짜 슬퍼…
-
우리학교는 옯창이 없어 17
-
올해는 할 수 있겠지
-
현역들은 투투해라 12
대학을 버리고 가오를 챙겨라
-
거지가되
-
맞팔 구해요요 12
넵
-
흠
-
이과들은 서버를 고쳐라 흠흠흠
-
얼마나 재미있습니까 현실에서의 일과 관련도 잘되고 암튼 ㄱㄱ
-
욕하지마라
-
언매 드랍했는데 0
이럴거면 3주가까이 왜 한두시간 박아가면서 공부했지 현타 겁나오네 진짜로
-
충격실화임 보증인은 없음
-
화확화화 드가자
-
ㅈㄱㄴ 하이퍼 2000으로 해도 될거 같은데 제 생각엔 정식 voca 필요한가요
-
서버 이상한데 1
흠
-
탐구 하루에 2시간씩 하려고 하는데 물2 생2 한시간씩 하는게 좋나요? 하루에 물리...
-
테슬라 왜케 떨어짐…
-
사문이라는 현실에 무릎 꿇고 담뇨단행
-
에러 ㅈㄴ 뜨네 2
정신 뒤죽박죽 되네
-
반벋안바듬
-
못봤뇨이
-
외화유출범 5
월월
-
옵창들 수명이 10
기본 1년에 좀 길면 2년인가 2년보다 더 하는 케이슨 좀 적긴 한듯 대부분...
-
피곤하구먼 3
자야겟다ㅏ
-
본인은 문과지만 3
수학이 젤 좋아서 미기확을 다해버렸어요
-
ㅇㅇ
-
놀랍게도 작년까지 본인 선택이었다는 것임..
-
ㄹㅇㄹㅇ?
-
어쩌라고화작할거야꺼져
-
진짜 개잘생겼어
-
@개발팀 0
요즘 오르비 서버 왜 이래요
-
제자야 반응하라
-
난말투는더럽지만 5
속은따뜻한남이야
-
꺄아 5
메챠 카와이 >.<
-
241114였나 계속 내분점풀이로 양성자 중성자 문제 나오다가 미지수로 바뀌어서...
-
-
개 구라임
-
선배님 배낑엄이셨나요? 아 낑치람이요?
-
근데 이게 장난하는게 아니라 나는 채팅이랑 말투랑 걍 100퍼센트일치임 17
이거 ㄹㅇ임
-
요즘 나만 Internal server error 자주 뜨나 6
까만 화면에 internal server error 이러는 게 계속 뜸
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다