제발.. 오르비 천재님들.. 도와주십시오..
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를 선물하세요.
-
헥헥
-
쪽지안오네
-
뭔일이다뇨 1
ㅈㄱㄴ
-
고졸 특성화고 출신 개쌉노베에서 sky재학생(여친)한테 1대1 과외받고 진짜...
-
이럴 때 특 0
가만히 있는게 무조건 이득임
-
가천대 합격생을 위한 노크선배 꿀팁 [가천대 25학번] [신입생들에게 무조건 필요한 주거 꿀팁] 0
대학커뮤니티 노크에서 선발한 가천대 선배가 오르비에 있는 예비가천대학생들을 돕기...
-
또 쇼메 조이한테 속은거냐 나
-
비갤에서 찐따같이 글 쓰는 애들하고ㅠ다르게 닉 까고 하는 건 ㅇㅈ
-
하루 1시간씩 공부하는데 50 가능한가요? 하루 2시간씩 1년 박아도 일반인은 1컷 뜬다 ㅋㅋ
-
경희대 원자력공 부산대 공과대학자율전공 (프리미어장학) 본가 부산임...
-
쪽지줘
-
지금 무슨 메타임 11
???
-
누가 빨리 좌표좀
-
쪽지주세요
-
근데 뭔 메타임 0
누구 싸움?
-
https://orbi.kr/00071883571/%EC%A7%80%EC%83%81%...
-
나 장송의 프리렌 애니화 1년전부터 갓작이라고 떠들고 다님 이정도면 애니 미슐랭 자격 있는거 아님?
-
뭐 선만 안넘으면 ok다 아님? 뻑마네임님이렇게적으면되는거죠?쪽지주세요근데님여르비맞죠?
-
장송의 프리렌 괴수 8호 요거 2개 볼만한가
-
여자 특 16
이 이모티콘 ㅈㄴ 씀
-
농담이고 낼 이 케이스 와서 너무 신남
-
중3 친구랑 같이 실모 대결 해서 이긴 사람이 진사람 인스타 뺏는 대결을 했는데...
-
오르비로 삼행시 0
댓에 ㄱㄱ
-
어제 쓰러졌었음 10
동아리 교수님편 볼생각에 싱글벙글 대기타고잇엇는데 휴재인거보고 충격받아쓰러짐..
-
돈이 남아나질 않네 검정치마콘 갔다가 힙합콘 갔다가 하니까 티켓으로 30가까이 삭제됨
-
쪽지주세요
-
쪽지주세요 공스타에 신상다있는데 거기로 오셈
-
왜 자꾸싸우냐 0
그냥 본인 인생살아 왜싸워
-
맞팔 구함 0
잡담 태그 빼먹은 적 없음 빼먹었다면 의도한거임ㅇㅇ
-
응
-
보니깐 인하 특화식인데 인하가 영어감점작고 미적 96점=100점이라 저거 인하의 됨
-
걍 총기난사 마렵다 투두두두두
-
얼굴만 잘생긴게 아니었어? ㅆㅂ 나도 지금부터 저격드간다 어디사냐?
-
나랑 만남 가질 분 구해요
-
철 지난 드립쓰기 1일차
-
어히없다>어이없다그리고 '어히'는 '*엏(방법, 도리를 뜻하는 명사)+이(조사)'로...
-
빈란드 사가. 이제 그만 잊어라 토르핀. 나는 아르토리우스다 아이 헤브 노 에너미
-
난 시원해서 좋다 푸씨마냥 닉 안까고 은근슬쩍 스리슬쩍 저격하는 것보다 이렇게...
-
남자과외를 맺고 있는데 제가 올때마다 집에 아무도 안계시는데 학생방에 학생이 문을...
-
천원 네개였는데 사라짐
-
이럼 스한윗남 육수 소리 듣겠지 흑흑
-
이유좀
-
1. 50시간만에 샤워함 2. 30분동안 외출함 3. 붕어빵을 사먹음
-
모든 스토리에 전부 다 하트누르는 건 그냥 고백이라니까 7
가끔가다 누르는거말고 다누르는거 ㅇㅇ
-
뉴진스 하니는 인사 안받아줬다고 사내괴롭힘이라고 국정감사까지 열어서 어도어 ㅈㄴ...
-
-
왜싸우냐 5
싸우디아라비아 엌ㅋㅋ
-
제가 경험해봤는데 저한테 플러팅할 리가 없는데요
-
사망하셨네
-
그럼 그동안 내가 설렜던건 뭔데.
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다