제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
영어 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
뻥임
-
미적분들을 예정입니다..
-
공부는 공부인데 노는거같고 실제로도 거의 노는게 맞음
-
동기들 있는 과방에서 6모 시험지 뽑아가는 사람 있었음 이미 본인이 반밍아웃도 다...
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
존나비싸네그냥
-
나 연치인 거 들켰는데 10
특정당할듯
-
FM~ FM~ 8
FM~ FM~ 한박자 쉬고 두 박자 쉬고 세 박자 마저쉬고 하나 둘 셋 넷~ 분명...
-
다포기할까 0
너무금방흔들린다
-
으흐흐
-
나사실x맨인가 0
인스타 안하는데
-
브크 + 스키마 하시나요? 스키마까지 다 들으시나요?
-
ㅇㅇ?
-
지금 x맨 활동 열심히 즐기는 중
-
옷을 철안든 패션으로 술자리를 간다면야... 알록달록 겉옷이라던가 디즈니 캐릭터 티셔츠라던가
-
문제는 고대가 예정이 토요일임 내일 조발을 서강대보다 빨리 안하면 서강 3차때...
-
구라 ㄴ
-
ㅇㅇ 4
.
-
넘맛있어서 내가 다먹고잇음.... 3명 더 줘야해서 ㄹㅇ 100개넘게만들엇는데...
-
저런 일은 없겠지~
-
어리고싶다 7
허거덩
-
아예 모름 뭐부터 시작하면 되나요?
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?