제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: https://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
가려는데 어디가 좋을까
-
"영어 GOAT의 InDePTh 모의고사 1회차 후기" 0 0
1회차는 머리를 잘굴려야합니다. 수동적인 정보탐색으로는 저같이 윗단계인...
-
한양대 중어중문 추합 0 0
몇번정도까지 돌 것 같은지, 현재 점공에서 빠질것같은 사람들 몇명 정도인지 아시는...
-
'선택 미적분' 온라인 강의 업로드 (한태희T) 1 2
안녕하세요. 1 수험생 여러분들을 위해 현강 진행중인 를 주 2회 (화요일,...
-
스카 민원 0 0
앞자리가 스카에서 과자 처먹는데 넣을까요?
-
오르비 떠나기 전에 칼럼한편.. 64 39
작년 탑툰에만 아이폰 한 대 값을 갈아넣은 사람으로서 칼럼을 안 쓰기엔 너무...
-
오르비 네임드 되면 지인선t가 맞팔도 해주는거임? 1 2
이건 좀 부럽네
-
투데이 오늘 231이나되네 0 0
뭐지 이젠 나도 유명 고닉 시발
-
설맞이,이해원 0 0
2후 3초도 풀 수 있나요?
-
알바 후기 글들 보고 있는데 0 0
음식업은 다 하지마라네 섭웨 ㅈ같아서 바꾸려는데
-
기타 배우고 싶다 0 0
봇치더락 그 밴드 도입부 해보고 싶음
-
나는 열정 페이라는 말을 0 0
군대 갔다 온 후 아주 아주 싫어하게 됐다 시급 1000원 노예
-
라면 불올림 4 0
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?