제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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
ㄹ
-
외할머니 외할아버지 둘 다 치매라
-
다음날 일어나보면 누가 누군지 헷갈릴 때가 좀 있음...
-
대학가면 인스타 뭐 활동해야할거 아님 그냥 원래 계정은 대외용으로 쓰고 본계를...
-
나는 인스타 0
180명 언저리였는데 자퇴하고 새로 팠음 지금 계정에는 찐친들이랑만 맞팔해서 20명도 안됨
-
그거슨 이뱃
-
간호학과.. 3
내년에 대학가는 고딩인데요, 요즘 간호학과 졸업해도 간호학과 인원은 많고 간호사...
-
여자한테 인기 없으려나
-
급격히 증가하네 근데 왜 다들 400~500이엿는지 알겟음 비계의 필요성을 느낀다...
-
2020년 테슬라 1억 매수 2021년 테슬라 매도 -> 10억 2022년 엔비디아...
-
느낌이 좋다
-
냥대 과탐 가산점은 모집 요강에 몇퍼라구 안 적혀있는데 발표(?)가 언제...
-
새로팔까요 말까요 추천 좀... 어쩌다보니까 이런 상황이네요 ㅋㅋㅋㅋㅋㅋ
-
경영 취업은 아무리 중경이여도 힘든가요? 로스쿨 그런 거 아니면..? 증권도 자리가 많지는 않은가요
-
이대뱃지좋다 5
쪽지폭탄드가자잇~❤️❤️❤️
-
진짜 친한 해들만 모으다 보니 이래 됐는데 이상한 취급 받나
-
여기서 수의대 아니면 안간다고 말 ㅈㄴ 한거같은데 만약 내년에 수의대 말고 타 대학...
-
잠 1
-
머구라니 슈발 탈출하고 말 것이다 (잘되면 오히려 탈출 안 할지도,,
-
급함)핸드폰 돌리다가 인스타 돋보기 보면 어떡함? 11
ㅈㄴ부끄러운데
-
무조건 시총 큰 우량주를 사셈 ㅇㅇ 그래야 물려도 희망이 있음
-
영어 1등급인데 2
영어 회화가 전혀 안 된다 여기 사람들 발음을 못 알아듣는 것도 있는데 근본적으로...
-
내 로망 2
배당금만으로 먹고 살기 Schd 배당수익률이 연 3.6%니까 20억 정도 있으면 넉넉하게 살겠네요
-
문제 만들려고 양식 찾아봤는데 안보이네 어디간거지 ;;
-
공부 10 오락가락 90으로 보냈습니다. 이명 생기기 전 방학은 공부...
-
솔랭 올라프 하나봄ㅋㅋㅋ
-
난 여기서 내 신상 블러핑 ㅈㄴ쳐서 특정당할일 없는데 16
그니까 님들도 블러핑좀 많이치셈
-
안들켰어요 동안 + 신입생들보다도 딸리는 대학물과 인싸력 +) 대학물 티나는 분은 걸렷음
-
이대vs서강대 16
로스쿨 가고싶은데 대학 너무 고민돼요 이화여대 vs 서강대 둘다 비상경입니다
-
몬가 기대됨
-
여르비꼬시는법좀 11
급함
-
그렇게 존잘 존예에 인싸 기질일수가 있지 아니면 24학번에서 그런 사람들만 새내기...
-
1. 모든 논리는 고전논리로 표현가능 2. 고전논리는 완전함 3. 산술체계는...
-
27살 이런분이 x맨해도 못알아볼거같은데 존재한다는걸 확실히 알고들가는거라
-
혹시!!! 재수생 수능 성적표도 고등학교 담임선생님께서 확인하실 수 있나요?
-
원서영역 백분위 몇임???
-
메타 탑승 이전 닉 투표
-
근데 군대는 가기 싫어
-
플옵 2라 확정 2
DK VS NS HLE VS Gen.G
-
요즘 사람들이 산다는 주식이 다 기술주다 테슬라 엔비디아 아이온큐 등등 근데 기술이...
-
닉 추천받아요 11
넵
-
지서연 생일기념
-
길게해도되나요 풀릴거같거나 애매할때 그 길게가져가면 풀릴거같은느낌있잖아요? 결국...
-
.
-
기파급 수학 0
기파급 수학을 다 하면 실전 개념 강의는 딱히 안들어도 지장 없는거죠?? 해보신 분...
-
-
바로 과대할 수 있다네요~
-
이거 진짠가요 1
ㄹㅇ 모름
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?