제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
그냥 안 ㄴ읽네 너무하다.
-
하이 2
하이
-
김민지 양 3
-
나도 낼 마이쮸라도 하나 줘야함? 옆자리 얼굴 오늘 처음봤는데
-
내가왜고삼이돼서 사랑때매그것도짝사랑때매 스트레스를받아야하냐고 짜증나
-
지금은 다른 학원 다니는데 개인적으로 지금처럼 인생 바뀐데에 도움 많이 주셨는데...
-
학교장이 추천해야 갈 수 있는 전형이에요???
-
여쭤보고 싶은게 있어서 그러는데 쪽지 한 번만 부탁드려용
-
요즘근황 14
여동생이랑 로블록스함 가끔 동생 친구들이 겜 접속하면 같이가서 기차타고 마을 한바퀴...
-
응응..
-
1교시가 4갠데ㅅㅂ
-
사후적임
-
여긴 ㄹㅇ 없음
-
사탐하고싶다 1
재밋겟다ㅠㅠㅠㅠㅠ
-
과목 불문하고 사후적인 풀이 없이 일관된 방법론이나 출제 의도 분석은 불가능하다고 봄 ㅂㅂㅎㅇ
-
지인선n제, 4의 규칙처럼 기출문제를 학습하고 풀었을때 기출문제에 나온 소재가...
-
3월 중순부터 시작하려는데 안늦죠?
-
아 머리아파 9
갑자기 왜이러지
-
필수본만 들어볼 땐 개념만 동동 떠다녔는데 이젠 좀 눈이 트임
-
그냥 보정을 해... 진짜 이런 사람이 왜 당당한지
-
며칠 동안 굴러가는 메타만 보면 여기 최상위권 커뮤니티 맞냐?
-
대분류1 (역사/윤리/지리) : 암기의 비중이 아주아주 높기 때문에 단순 암기에...
-
수면제먹기 2
편안해지기
-
과하게 예쁘고대충 봐도 예쁘고평생 봐도 예쁘고가만 보니 더 예쁨
-
추미애 "국회 의결로 통신 조회" 통신비밀보호법 개정안 논란…與 "전국민 통신검열" 2
[앵커] 국회가 법원 영장 없이도 통신 자료를 받을 수 있는 법안을 발의해...
-
(서울대 합격 / 합격자인증)(스누라이프) 서울대 25학번을 찾습니다. 0
안녕하세요. 서울대 커뮤니티 SNULife 오픈챗 준비팀입니다. 서울대 25학번...
-
예과생들한테는 딴세상얘기에요.....
-
OT할때 했는데 다 알려주고 당일날 불참인원한테도 멘션으로 방법 시간 과목코드...
-
10만원 대로 dslr 살 수 있나요? 입문용 가성비 카메라 추천부탁드립니다.
-
ㄷㄷ
-
안녕하세요, 물개물개입니다 오늘은 작년 2025 수능 풀이를 가져와 보았습니다...
-
이름 부르기 전에 떨리는 건 마찬가지네요 먼저 말걸고 나서는 건 되는데 이건 안 고쳐짐.
-
미친개념 끝냈고 수분감 전에 샀던거 푸는중입니다. 수분감 step1까지 2회독하고...
-
시발 아아앙
-
제가 마지막 고2모 영어가 89점이라 hs반 기준이 안댐요 ㅠㅠ 심지어 사회탐구...
-
마싯나요??
-
매개완으로 한달 컷 했는데, OZ는 신이다 물화생지 다 해본 사람으로써 지1은 개꿀통과목 맞음
-
아쉬운거지 4
이 마인드 가지는게 어려운거같다
-
힘들다 2
지하철 하나 놓쳐서 집에 늦게 들어가겠네
-
경제사문 공부 4
이제 고3올라가는 1인입니더. 수능으로 23211(화작/미적/영어/경제/사문)노릴...
-
가만보니 가요이 인스타에서 내가 하트 안누른 사진들만 하트 눌럿네
-
???: 그러면 초보에서 못벗어나지 선수가 되야해 ???: 수능은 올림픽 정신으로 하는게 아니야
-
-
수학 과탐만 계속하다가 대가리 깨질거같을때 신택스랑 브크듣는데 그 시간이 너무...
-
추가모집 질문 받습니다 38
오픈채팅은 봉인해놨습니다.. 200분 넘게 계셔서 개별질문에 일일이 답할 수 없네요...
-
이번주부터 라이브 처음 들어서 택배로 뭐가 엄청 왔는데 교재가 뭐가 뭔지 모르겠네요...
-
의치한약 8
선택과목 언미물생에서 96 98 2 96 98 정도 의치한약 가기 위해 뭘 더...
-
INTJ INFJ ENFP 순서로 변했음. . 가면걀수록 공부못하는 성격됨
-
24퍼라본다
-
올해 고3인데.. 겨울방학을 약간 망한 것 같습니다. 현재 수능 목표는 최저 3합...
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?