제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
내 자아를 잃어버린 듯한 공허한 기분이였어 나라는 사람을 뭐라고 정의해야 할지 모르겠었어
-
생윤 사탐런 3
작년에 사문 사탐런햇을땐 꽤 재밌고 공부 별로 안해도 수능때 1이 나왔어서 사탐이랑...
-
인제대 백병원이 2
이 백병원이었구나 방금알았음
-
논술도 양극화임 1
수능도 정시 의대랑 정시 일반과랑 난이도 차이 점점 심해지듯 의대논술이랑...
-
키작고귀엽고하얗고슬랜더인 사람이랑 연애하고 싶다
-
ㅇㅈ메타임? 4
ㄲㅂ 나왜지금왔노
-
현역이고 3모 89점이에요 21,34,38,39 틀 안정적인 1등급 맞출려면 어떤...
-
미친듯이 배고픔 8
저녁 안 먹음
-
스고이~
-
문제들 세수대야 봐라 비주얼로 기선제압 정말잘하네
-
잘자요 11
내일이면 모두 제 인증을 잊어버리겠죠...
-
잘래요 2
내가 오르비에 셀럽미를 던지고 갔군 흠흠 근데 왜 정작 그 게시물엔 댓글이 하나도 없는데 크악
-
마감 제발 0
요즘 멘탈 나가서 일 못했더니 너무 밀림 ㅅㅂ
-
시발
-
나 같은 촌놈한텐 대치동 환상 있음 ㅋㅋㅋㅋ
-
작년 9모처럼 미적 개쉽게 나왔을때 말고는 미적 4점 맨날 다 나가는데요.. 공통은...
-
외모 4등급 10
-
역학만 종일 파서 고인물되고싶은데 역학부분만 다루는 n제가 있나 해서요
-
지브리 귀여오웅 10
] 크킄
-
거의 모든 오르비 고닉들의 얼굴을 나의 인증과 ''등가교환'' 했다고 생각할련다
-
무게, 무겁다 등의 단어로 '무겁게 하다' 정도의 뜻인 '*믁다'를 재구할 수...
-
인증메타인가보네요
-
어싸를 풀다 트러스를 풀다
-
강해린 귀여워 2
징짜루..
-
오르비 안녕 6
-
시발아 3
뭐 31세???
-
한끼에 패밀리 사이즈 피자 한판 쳐먹는거 아니면 왠만하면 빠짐
-
-
이개새끼왜안빠짐 으악
-
같은 독재 다니는 형님 있는 거 같음. 애매한데...흠
-
과팅=수능 2
무서운데 기대되기도 함 앰 시발;
-
-
ㅇㅈ 7
내 프사를 인증한다고 아 ㅋㅋㅋ
-
잘자라 10
소라빵들아
-
어머나 0
이렇게 많은ㄴ 관심은 처음받아봐요
-
-
프사를 바꿧어요 1
제하하라
-
대충 키빼몸 95 정도가 먹을 것도 어느 정도 막 먹고 엄청 비만도 아니고 좀...
-
-
ㅇㅈ 17
아이 부끄러 금방 지워야지
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?