제발.. 오르비 천재님들.. 도와주십시오..
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를 선물하세요.
-
여러분들의 기부에 힘입어 심야를 틈타! 꿈에 그리던 설댕이님의 귀여운 댕댕이를...
-
작년에 풀커리 탄 과목기준으로 그 과목 그대로 가져간다는 가정하에 언제부터...
-
국민대 지능형 반도체 vs 광운대 전자 vs 아주대 기계 1
국민 광운 2시간 아주 1시간 20분 재탕 ㅈㅅ...
-
얼른 자자 옯뿌이들아 난 잔다
-
딸을 왜 침 9
가정폭력인데
-
강평 ㅇㅈ 5
역시 국어는 대민철
-
지금부터 하루 2시간 기준 개념+기출 3개월 N제 3개월 실모 100회분 3개월 오 할만한가?
-
가보자 가보자
-
누구야
-
이캐해도됨?
-
내전 끝나면 7시 되겟네
-
메타 망했네 2
...
-
사슬 맨~ 오우예이 좋은꿈꾸싲쇼
-
이제 이 메타는 이글을 마지막으로
-
인스타 (릴스,게시물) 유튜브 네이버 단,오르비제외
-
이미지 써드림뇨 44
마감 빠름
-
납치 ㄱㄱ
-
좀 비싸긴 해도 그만한 디저트가 없어
-
안되겠다 8
.
-
이게 왜 메타가 되는거야 야발
-
나도 질문해줘 9
암거나 해줘
-
누가 수험생들 아니랄까봐
-
나 어지러워
-
샌드위치 정리가 중요함 23
수능에서 샌드위치를 너무 싫어함
-
상대는 9번 어떻게 버팀?
-
내가 피파로 챌을 찍었었지... 줌 수업은 무슨 하루종일 게임만 했었는데 돌아가고싶다
-
대학 간판 포기 4
밑에 대학의 같은 학과가 졸업 후에 더 알아준다고 해도 대학 간판을 포기한다는 게 쉽지 않네
-
에휴다노
-
선넘질받 12
-
딸따리 많이치면 2
거기 아프더라 오늘 아침에 일어났는데 거기가 아프더라고 (ㄸㄸㅇ도 어제 한번쳤는데)
-
숭실대 아웃풋 1
현재 인하대와 숭실대 중 한 곳을 가야 하는데 숭실대보다 인하대가 아웃풋이 좋다고들...
-
내 재능을 큐브로.
-
7문제 끝냇네 4
약간 기출분석이 뭔지 3년만에 좀 알거같음 신기하네
-
쌉가능 ㅇㅇ
-
또 나만 ㅂㅅ됐네
-
함께 즐겨요 ^^
-
삼수 0
ㅈㄴ 하기 싫다.. 그것도 쌩삼은 진짜.. 그래도 지잡에서 인설 가려면 쌩삼...
-
사람 맞음? ㄷㄷ
-
첨 알았네..
-
https://find.xn--gt1b.xyz/search 원문 찾을 때 되게 유용함
-
이미지 써주세요 14
맨날 써드리기만 했는데 저도 제 이미지 궁금함뇨
-
친구들 다 마스터인데 왜 나만
-
내일 해볼까 1
농담 ㅋㅋ
-
24수능 문학 다 맞았고 나름 문학은 잘한다고 생각했는데 1년 지나서 보니까 선지를...
-
ㄹㅇ 정력왕이네 2
9딸이라니
-
요새 안와서 잘 모르시겠지만… 부탁드립니다
-
광운대 경영 0
광운대 경영 작년에 모집인원 54명 올해 22명인데 작년 추합은 131% 였는데...
-
냥뱃에 1
롤 씹고수에인싸크아아악!!
-
삼반수 0
현역 언확정법경제 70 59 5 54 55 재수 화확정법사문 83 89 2 64...
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다