제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
비죤투 다시옴 10
료는 성불하심
-
서울대나 써볼걸 5
엄마말 들을걸 선생님 말 들을걸 작년에도 내맘대로 했다가 입시 말아먹었는데 올해도 포모오네
-
아이고 사문 망하겄네 10
이제 실수들 들어온다 어떡하냐 ㅠㅠ
-
7-8칸 진동 거의 8칸:전체1등합격 5칸-추/불->최종6칸:2차추합...
-
합격증 하나는 갖고 싶단 말야 ㅜ
-
근데 월즈 우승하려면 레드에서 이겨야함 ㅋㅋㅋ
-
그동안 내가 간 모든 일식집 중에서 가장 많은 양의 음식을 줌... 무슨 대형...
-
4시에 한다고 했잖니
-
폼 미쳤다
-
11시부터 4시까지 달린다
-
근데 감동을 느낄수가 없다(강의밀림)
-
-
다들 어느정도로 빠졌나요??
-
환경파괴의원인 김영린
-
목동시대에 우선선발과 평가원 두 가지 전형으로 접수했습니다. 다음 주 개강이라 한...
-
생윤 말장난+의문사 ㅈ같아서 한지 + 사문or정법하려는데 말장난 심할까뇨??
-
작년에 42123 받고 논술로 성대경영 가서 비틱질하는 친구놈 생각나서 성대합격증...
-
벌써 658 뚫렸는데..? 657도 뚫릴수있나
-
수특 뭐사야됨? 8
언사문생윤통통인데 개학하면 내신때 수특이 셤범위일듯한데 독서 문학은 미리 사서...
-
성대 재수 끝 4
성대 붙었어요 태어나서 첨 합격증 받아봄.. 성대 사학과 가자
-
국수영 333으로 레전드 ㅋㅋㅋ
-
예비 업뎃 되셨나요??
-
수2 미분가능성 4
이 단원 원래 유독 어려움?? 왜이리 빡세냐.. 4점 푸는데 싹다 번호대가 15...
-
빠지나요?
-
끝났나
-
수1 내신용으로 어떤 문제집이 좋을까요. 대성마이맥 이미지 선생님의 미친기분을 사서...
-
부모님이 계속 불안하다고 해서 안정 위주로 썼다가 원서 3합함 원래 추합권 한두개...
-
줄여서 곷우
-
안녕하세요 저능부엉이입니다 오늘은 음함수 미분에 대해 공부해고자 합니다 사실 전에도...
-
제주의랑 치대 둘 다 붙을 거 같은데 서울 살고 있고 제주까지 내려가기싫어서...
-
고대 추합하신분 0
추합하면 확인하라고 문자 오나요??
-
형왔다 30
성대붙음
-
2차까지 예비번호도 못받을줄은 몰랐는데
-
궁금궁금 내일 아침에 해도 됨?
-
2011~2012 이때부터인가? 아무것도 모르는 응애가 질문드림
-
한국외대 합격생을 위한 노크선배 꿀팁 [외대25] [대학생활관련꿀팁] 0
대학커뮤니티 노크에서 선발한 한국외대 선배가 오르비에 있는 예비 한국외대학생,...
-
여기까지 파동이온다
-
갈았다끼웠다 두번정도 한거같은데 3월 8일부터 재가입 된다는데.. 헐
-
이제 2차인데 10명 빠졌는데 작년에 110명은 어케한거지;
-
1차 빠진 인원의 몇배정도 빠짐?
-
글 제목만 봐서는 외대 훌리처럼 보이겠지만 제가 좀 특수한(?) 상황이여서 다양한...
-
이젠 합격증 인증글에 축하댓글 달아주는 것도 지친다
-
정확히 말하면 여성향 미연시긴 한데 지금 1회차 플레이로 한명 다 깼음 후속편...
-
기숙학원다니는 애들은 그럼 1년동안 밖에서 뭔일 나는지 아예 몰라요? 20
부모님 보러도 못내려오나요?
-
연대는 상경을 비롯한 사과대모두 결대로 잘 가고있습니다 살짝 위기였던 연경도...
-
-
성불할게요
-
내일가져갈게
-
어디가 취업적인면이나 대학생활에서 더 나을까요?
-
아 싸
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?