제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
갑자기 뭐지다노
-
[속보] 서강대 서귀포캠 건설, 한의예 7000여명 모집 3
연세대, 고려대, 성균관대, 한양대, 중앙대, 경희대, 한국외대, 건국대, 동국대,...
-
이따 봅시다 4
-
여러 의미로...
-
정직한 제목
-
종강해주세요 7
지금당장
-
합이 2분의 파이임을 증명하시요
-
컴공 지망입니다
-
우웅 알겟어
-
고백아닌고백박음 9
ㅈㄴ떨린다 미칀
-
정병호t 원솔+기출->빅포텐하려는데 프로메테우스 수강하지않고 바로 시작해도...
-
ㅈ반고 쌤 근황 16
젊고(20대 중후?) 학생들이랑 소통 많이 하시는 여자쌤인데 ㅈ반고 과탐 가오충들이...
-
아니진짜잇올 1
두교시 남았지만 띄쳐 나가고싶다
-
7분후에 또 나가야되잖아요
-
전문직 준비하는거면 괜찮은데 괜찮은 중견정도 회사 가고싶은거면 연고대 문과 나와도...
-
하긴 전세계가 지피티한테 지브리 해줘 이러는데 과부화가 안 될리가
-
허리아파 ㅠㅠ 0
나이먹어서 그런듯 난 아직 아가인데
-
암머닏 스페이스 암머닏 스페이스 암머 암머닏 스페이스
-
아 0
잉
-
(모두에게 덕코 2000) 캡처 후 댓글 -> 덕코 증정 91
https://atom.ac/books/13231-InDePTh+영어+독해+개념서+2...
-
그만할 때 됐잖아
-
-
-
학급 분리수거 담당임
-
중간 9등급박고 자퇴하면 성적에 남나요?
-
으하하 재밋다 2
으하하 수능 수능,, 수능 너무 재밌어 헤헤, 헤 수능 흐흐흐흐흐흐흐흐
-
재수 ㄴㄴ 갓 재수한 애들은 당연히 학교 다니는 것보다 재수 학원이 더 낫겟지 삼수...
-
이 눈팅러들 다 새로고침만 하고 구경만하고있어
-
당대표 윤석열 (옥중) 당대표 직무대행 김건희 사무총장 전한길
-
재밋어요 + AQ가 아니라 AQB가 직각임다
-
하루에 3일치를 나가버렸네요ㅐ
-
강기원 시즌2 2
이번주부터임 다음주부터임? 토요일수업기준
-
야 이 바보들아 4
나님이 팔로우를 받아준다는데 멀뚱멀뚱 뭐해
-
수학은 그래도 1
전범위 다 재밋게 할만한거 같은데탐구는 왜케 대놓고 재미없는 부분들이 잇는것임..
-
애미터진 전문대 1 2번 병신들 ㅋㅋㅋ 노가다나 뛰러 가라
-
안녕하세요? 6
안녕을 하세요. 안녕 하세요? 안녕?
-
맞팔 ㄱㄱ 1
잡담 태그 맨날 닮
-
저는 이원준T와 김승리T. 이원준T는 작년에 잠깐 들었지만 텍스트를 접하는데 있어...
-
과목은 경제긴 함
-
오르비 게시물을 점심저녁때 많이 올리면서 소통하는건 인정 근데 프로필은 볼것도...
-
-
*rend: 분열시키다 **embed: 깊이 새겨두다 이런식으로 주는 단어도 수능...
-
그게 나야 바 둠바 두비두밥~ ^^
-
알바하고 싶다 0
전에 알바할때 진짜 재밌었는데 같이 일하는 사람들이랑도 많이 친해지기도 했고
-
-
경찰, 소방, 군인, 공기업, 사무직(시청, 구청, 동사무소 etc...) 나도...
-
미친사람처럼 보일까봐 겨우 웃참함
-
https://orbi.kr/00072695100 평가하도록, 멍청하다느니 욕은...
-
50000000 2
-
혹시라도잘못되면
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?