제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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
전에 알바할때 진짜 재밌었는데 같이 일하는 사람들이랑도 많이 친해지기도 했고
-
-
경찰, 소방, 군인, 공기업, 사무직(시청, 구청, 동사무소 etc...) 나도...
-
미친사람처럼 보일까봐 겨우 웃참함
-
https://orbi.kr/00072695100 평가하도록, 멍청하다느니 욕은...
-
50000000 2
-
혹시라도잘못되면
-
내일이구나 9
학교에서 실시간 중계할듯 가슴이 웅장해지는구나
-
쓰레기이문동
-
오늘은 쉬어야지 4
내일도 쉬어야지 내일모레도걍 쉬다 죽어야지
-
정확도가 엄청 떨어지네 중요한 시험에서 하방은 높아졌는데 혼자 주간지 같은 거 풀때 엄청틀림
-
일단 나부터 ㅋㅋ
-
어딜가든 10대-20대 초반은 70프로가 회색 검정 코디던데 이게 제일 무난해서 그런가
-
한지문씩 풀면 다맞는데 시험만보면 머리하얘지는 사람입니다 수강후기보니까 딱...
-
에이전트 윤 편안히 셔라
-
Once reviled, the Greater Adjutant stork was...
-
엘베 타는데 애들 학원가는 시간이라서 사람이 존나 많은거임 근데 여자애들이 존나...
-
울엇어
-
너무 탱자탱자 놀았다
-
무슨 공부할까요 3
한국사세계사동아시아사
-
놀라운 사실 0
경희대 국캠은 수원이 아닌 용인에 위치한다
-
마음이 급하네요 0
욕심을 버리고 여유를 가져 보아요
-
여기 거리에서 보이기 힘든 과잠도 보이는디
-
기적의 논리 1
R(x) : exists in reality E(x) : exists 1. ∀x...
-
아니 범주 끊어읽으라고 할때마다 뭉탱이로 읽지말라고 하시누
-
-
울고잇어 0
할게 많네
-
그렇다는데
-
윤성훈 강의평 삭제하네 11
잡담한다고 좀 찡찡댄거 말고 이상한말은 안했을건데 #~#
-
탄핵되면 무등비 삼도극 재등장할수도 있음... 11월까지만 버텨다오...
-
지금부터 12시까지 밥 먹어야지
-
교재 주문했는데 파본 받음 문의했는데 사소한 파본이라 아무 보상 못해준다고 그냥...
-
퇴근 10
ㄱㅇㄷ! 집간다오예
-
여붕이 등장 6
반겨라
-
1교시를 자야하는데 1교시가 잠을 못 자는 과목인 거임 (쌤이 깨우심) 진짜 힘들어...
-
중경외시라인 반수생 통통이 작수 공통 4틀 낮 2 3모 방금 풀어보니 79점...
-
[상황] 생윤 사회계약설 로크,홉스 인강 질답중 [[[필자가 궁금한 것]]] 1....
-
앵간ㄴ히 하고 자야겠다
-
나는 200명도 힘들어 디지겠는데 300명은 우와..
-
역시나 독서
-
반수생 수학 개념 교재 없이 강의만 듣는거 어케 생각함? 개념을 많이 까먹어서;;
-
썩쓸 씨발련아.
-
평가원만 있는거
-
분석하는데 1시간 넘게 걸렸는데 분서ㄱ하다가 머리터져서 내일 다시할거 같음....
-
처음에는 ㄹㅇ 짐승의 그것과 같았다 이제는 좀 나아진듯
-
하 0
국어만 어떻게 하면 될거 같은데
-
왤케 안 팔리나요? ㅇㅂ때문인가
-
김승리tim 2
지금 올오카 3월 14일 쯤 부터 시작해서 한주에 독서문학 같이 듣는 식으로 해서...
-
가난한 ㅈ고딩 10
최소한의 돈으로 먹을 수 잇는 젤 맛잇는거 추천해주세요 ㅜㅜ사실 근처에 편의점밖에 없어요
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?