제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
수학도 보면 확신할 수 있음 다음은 ebs 현장교사단 24수능 수학 브리핑 질문1....
-
뱃지 보이냐? 3
아뇨
-
치대동생 의대형 3
-
약사라고 정형외과 전문의인 아버지가 그러더라 동네 병원에 둘러싸인 건물내 약국이면 명당이라고
-
3개 다 "비꼬다, 풍유"로 같은 뜻임???
-
어느 것이 타임어택이 조금이라도 더 심할까요? 가능한 타임어택없는걸 찾고있는데 요즘...
-
이제 아무도 못믿겠다 네오가 이런 기분이였전 거야..? 10
이건 아니지..
-
하나만 1등급 0
아니한국사까지아니지구과학까지하면세개시발 질문안받습니다수학할게요
-
뱃지보이나? 7
보여??
-
”초능력 장착“
-
비독원 파일에 있는 진도,숙제 어떻게 진행하면 되나요? 첫주차 파일에 8-20p라...
-
님들은머함.
-
의평원은 엄 ㅋㅋㅋ 20
너무 후하게 준 거 아닌가? 개인적으로 아가인 박살날줄 알았음
-
1박 2일 1기 나피디 강호동 이수근 은지원 김C MC몽 이승기 김종민 엄태웅 반박 안받음
-
노베는 그럼 독재보다 재종이나 기숙가는게 좋나요??추천좀 부탁드립니다 13
543 국수영등급이에요 국어를 겁나 못해요 ㅡㅡ
-
110은 넘을것 같다 뭔가 ㅋㅋ
-
적응 괜찮으셨나요??
-
ㅋㅋㅋㅋㅋㅋ
-
몇 번까지 돌았나여....
-
앞으로 인덕션 의평원장님 방향으로 하루에 한번씩 절할거임 2
압도적 감사….
-
독재에서 폰이랑 다 걷지않나요? 공부습관안잡혀잇으면 공부안하게된다느넫 공부할...
-
나 방금 고백함 17
실화임
-
66566 쌉노베에서 7개월 공부하고 올해 24211 맞고 수능 끝나자마자 메가패스...
-
3연 100 ㄹㅇ 달달;;
-
N기출 0
수분감 끝내면 n제 들어가기전에 기출 컴팩트하게 한 번 더 보고 싶은데 n기출 교재 어떰?
-
어제 추합됐는데 언제쯤 연락올까용
-
보통 한 12시쯤 일어나서 1시부터 듀오돌림 7시쯤 저녁먹으러 갔다가 9시부터...
-
얼굴은 카리나 닮았고 키는 174고 성격착하고 자산1000억짜리 금수저야 직업은...
-
떠들썩 하네.. 뭔 일 있었나요?
-
얼버기 5
네
-
예비 11번까지 돌 수 있을까요? 친구 대신 질문합니다
-
좀 쉬다 와야지 3
할복마렵다그냥
-
유일한 불안요소가 사라졌다 군대 드가자
-
삼육약 추합 제발요 12
얼마나 빠진건지 아시는 분 아무나 알려주세요 ㅠㅠㅠㅠㅠㅠㅠ 16번까지 돌 수 있을까요 제발
-
일어나자마자 1
서강대 입학처 켜서 봤는데 추합 2차만 보고 설렜다가 다군인거 보고 짜게 식음
-
아 동대 1차떨 0
ㅠㅠ
-
모의고사 표지? 그런 느낌이에요
-
작년에 가고싶었던 곳인데 물지 둘다 4떠서 못감 → 올해 국영수 그대로인데 사탐런...
-
설뽕... 0
엔수 박으면서 서울대에 대한 사랑이 좀 식고 걍 편하게 살자는 마인드로다가...
-
모여주세여
-
ㅆㅁㄴ 탈릅함? 7
옯스타도 비활이네
-
강민철하고 비슷한 부분이 있는듯 다만 강민철은 좀 거시적이고 코드를 언급은 하는데...
-
https://m.youtube.com/watch?v=ubr2vUqah4M ㅈㄴ웃기네 ㅋㅋㅋ
-
초등학교 노괴 마귀할망구년한테 피살당한 초등학생 빈소에 물품 후원 보냈다 1
어제 물품 선별 및 검수과정에서 시간 1시간여 정도 걸림 대전 건양대학교...
-
헤헤 대학교에 좋은소식 ㅎㅎ
-
물에 푸니까 그냥 그럿타 다음엔 밥에 바로 바벼먹어봐야지
-
댕꿀인듯;
-
차엿음 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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?