제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
시작하자 롤 내전구함 TEAM 의대 VS TEAM 한의대
-
제친구가 내신 1.3등급 정도 받다가 고2때 정시파이터로 돌리고 의대 가더라구요...
-
근데 공기중에는 있음
-
고3 겨울방학때 기숙윈터가서 전국 각지 학생들이랑 똑같은 시험을 볼 기회가 있었는데...
-
수시 정시 갈드컵 ㅇㅇ
-
이거 3점짜리 하나라도 계산삐끗하면 바로 백분위가 아작나는데 막 20분컷해도...
-
강남 8학군 반수생 애들은 적어도 고등학교 안다님
-
180 140 -20
-
윤사 vs 사문 3
생윤러인데 쌍윤 시너지 이득볼지 사문으로 학습량 줄일지 고민됨
-
청담동 왔다 0
벤틀리벌써5대봤다간지쩌네
-
ㅁㅌㅊ?
-
175 110 15 살기 가장 무난할듯
-
ebs국어 연계 6,9,수능에서만 연계되는거???
-
특수한 학교 제외하고 수시 못챙겨서 정시파이터 하는 사람이 대부분이잖아. 근데 선생...
-
가라로 증명서 떼서 병결 최대로 땡기면 좋을듯.. 그리고 2학기에는...
-
72mg 먹으면 아침잠은 확실히 깨더라...
-
재외국민과 화교는 닥치고 다녀라
-
25수능 5등급 반수할거고 3~4로올리고싶은데 현우진들을거면 시발점들으면되나여
-
정확히 말하면 일반고 학종러들 1학년때부터 몇몇 쌤들이 학종가지고 은근슬쩍...
-
일 때, 를 0으로 만드는 에 대한 방정식은 입니다. 그런데, 를 0으로 만드는 에...
-
안가고 롤토체스함 ㅂㅅ
-
오수라는 단어의 폭력감이 너무 강함..
-
본인이 리바이어던에 나오는 국가를 대표하는 주권자인가 그냥 본인이 살아가는...
-
귀엽 1
최애이모티콘
-
현역 정시파이터입니다 수업중에 정시공부를 하고싶어요 솔직하게 말씀드릴까요? 아니면...
-
수많은 담요단 오명에도 고고히 빛나는 1타 ㄹㅇ
-
하.........계산력 딸려서 엉엉 울었어
-
친구랑 허구한날 손절하다가 깨달은게 하나 있음 나랑 친구하면 손절할 일 없으니까...
-
초반에는 머리깨지듯이 해도 2달만 지나면 설렁~설렁~ 하게되는데 어떻게 해야 마음을...
-
강남대성 유시험 전형 통과했고 거의 노베에요 어머니께서는 너가 공부를 잘하는 편은...
-
그럼 국어는 인강보다 피램같은 독학서로 자습하는게 효율 더 좋나요? 5
노베가 실력키우는데요!
-
나 성격 씹장애라 주변 사람들이 일정 주기로 손절함 ㅅㅂ
-
그때마다 화나는 일 생겨서 냅다 짬뽕시켜먹음
-
님들 수학은 인강보다 독학서로 혼자 자습하는게 효율 더 좋나요? 3
수학 인강보다 한완수같은 독학서로 자습하는게 효율 더 좋나요?
-
이다지 개노잼임 권용기나 ebs 들으셈
-
저는 작년 6,9평이랑 수능이 좀 쉬웠다 어떻다 그건 저는 잘 모르겠고 솔직하게...
-
이번에 시범과외 하게 됐는데 중학생 국어는 완전 첨이라 해보신 분들 팁 좀 주시면 감사하겠습니다!!
-
나는 아직 응애인데 10
사회는 내가 어른이래요 변한게 없는데
-
나도 천룡인이다 우히히
-
한 단의 첫 문제가 한단의 40%를 넘지 않으면 두 문제를 넣도록 해놓음ㅎㅎ 그리고...
-
강대 3합 9 대기 받길래 바로 못 들어가는 걸로 알아서 유시험 봤는데 됏네여ㅎ...
-
난 인형없으면 못자서 기숙사에 돌고래 인형 가져감 14
꼭 껴안고 잤어
-
"InDePTh 모의고사 충격적 후기.... 왜?" 0
"이 모의고사는 기출과는 다른 결의 난도를 가지고 있는 모의고사라는 생각이 듭니다....
-
저격 아니고 내 얘기임 깊게 생각을 못 하고 단편적인 것만 보네
-
확실히 저런 모습은 처음 보긴 해
-
공군 군수 하려는데 인강많이들어야하는편이면 비추인가요? 4
재수생인데 그냥 대학교가서 반수가 나을가요? 군수보다? 개념인강을 좀 마니 들어야해서
-
뭐 어쩌라는 거냐 개씨발진짜
-
있으면 작년강의 듣는게 낫겠죠? 아니면 작년교재로 올해꺼 듣는게 나을까요?
-
.5보단 밑으로 갈듯..? 찐폭까진 아닐듯하네요 오히려 중문이 복병이었던듯;;;...
-
이사람 누구지
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다