제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
8시다 0
모두들 굿밤
-
영어 인강 0
빈바순서삽입부분이 개판인데 딱 잘 잡아줄 강의 ㅊㅊ좀여 메가에서
-
닉네임바꾸고싶다 2
추천좀
-
메뉴 ㅊㅊ좀 인원은 나빼고 7-9
-
션티 커리 질문 0
작수에 듣기만 6개 틀려서 4뜬 재수생입니다. (듣기 안 틀리면 2후3초) 현재...
-
우선 본인은 국어강사 지망생임 둘 다 만족할만한 학교는 아니고 편입 준비할 생각...
-
중대 중간공인 에시공도 취업깡패 서울대 공대 카이스트 공대 떨구고 합격 SKY...
-
중복조합부터 기억이 안남 근데 졸림
-
공부시뤄 2
-
예전에 유행할땐 저게 웃김? 이랫는데 지금보니깐 줠라웃기네 ㅋㅋㅋㅋ
-
뭘로 공부하는게 좋을까요? 화1 화2 공부해보려 하는데
-
통통이 와보샘 7
x1+x2+x3+x4=10 xn은 양의 정수 이거 풀이 적어주샘
-
걍 순열 조합이내
-
늦게 사탐런 4
생지러인데 3모 보고 사탐런 결정해도 시간 충분할까요?
-
언미화물2 97 95 1 97 98 이거 높반 가능한가요? 수학이 좆망했는데
-
통학하면 가는데만 1시간 30분정도인데 더 멀리서 다니는 사람 있음? 일산 사는데 빡세네
-
ㅇㅂㄱ 0
-
링거 꽂고 다니는 것마냥 계속 충전기를 꽂아놓고 있어야해..
-
투표 2
ㅇㅇ
-
순순히 어두운 밤을 받아들이지 마오. 노인들이여, 저무는 하루에 소리치고...
-
난 사람이 아니다 14
누가 매일 1시에 기절시켜줬으면 아니야 그대신 앞으로 몇달간 새벽에 이런건...
-
명륜진사갈비 혼밥안되나..
-
아군
-
설대 최초합 등록 포기하고 의대 추가 합격된 곳으로 등록이 가능한 거죠? 그리고 이...
-
우선 괴델의 불완전성 정리제1정리. 페아노 공리계를 포함하는 어떠한 공리계도...
-
얼버기한 이유 6
오늘은 학원 강사 면접 보는 날이에용 ㅎㅎㅎ 절 응원해주세용!!
-
환전해놨는데 다 날아가네 ㅜㅜ
-
인생망함 3
ㅇㅇ
-
사람이되고싶다 4
앞으로 남은 272일동안 쑥과 마늘만 먹으며 수능을 준비한다면 4수 끝에 사람이 될수 잇을까
-
건동홍시임
-
질문해드려요 22
철학적인 질문을 던져보도록 노력하겠습니다
-
아니 이거 근데 오른쪽 눈은 눈무링 안나고 왼쪽눈만 눈물이 자꾸 고이고 뿌옇게 보이고 이러는데 2
이거 진짜 이항한거 아님?
-
저도 무물보 18
해볼게요
-
뉴런책 배열을 수1 23 24 25 26 수2 23 24 25 26 미적 23 24...
-
네임드는 이 시간에도 무물글이 5분만에 저렇게 차는구나 4
이게 고닉인가...
-
할수이ㅛ다
-
돌아가구싶다 2
나 돌아갈래
-
일취클 피램 다 띁나면 사모로 넘어가는게 맞을까요?
-
애반가요??
-
피로도 다쓰고 캐릭터 생성제한도 걸려서 더 할게없네
-
1. 고전논리는 완전함2. 산술체계는 고전논리로 나타낼수 있음3. 산술체계는 완전함...
-
무엇이든 물어보아주세요 13
선넘질 ㄱㄴ 선넘질 ㄱㄴ은 쉽게 오지않습니다.
-
굿나잇 2
ㅃ
-
일클 취클 문학 피램 풀건데 고전시가는 인강or문풀중 뭐가 좋을까요?인강추천한다면...
-
무엇이든 물어보세요! 23
생각보단 자주 안오는 기회에요
-
졸리니까 1
운동
-
지금까지 안잤네 진짜 어카지 조졌다 하…..
-
잘자요 10
꿈에서 깨지 않았으면
-
XX님 따라하게
-
막 부모님이랑 싸우다가 부모님이 화내면서 님들 소중한 물건 찢거나 버리거나 한적...
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?