제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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
귀찮다.
-
지구 강사 0
지구 인강 오지훈 말고 누구 좋은가요? 시대목동에 지구 괜찮은 사람 있나요??
-
근데 확실히 살다가 힘들때 기댈 수 있는 누군가가 있다가 없으면 좀 힘들겠다 12
항상 건강하십쇼 제가 비록 가진건 없지만 위로는 조금 합니다
-
수능 국어 머가 더 어렵나요
-
시대재종에서는 과탐 브릿지 나오면 현장에서 다 하나씩 응시하고 해설하나요? 8기분들 알려주세요
-
연치가고싶다 1
-
이미지 적어주세요 18
있었으면 좋겠네요.
-
근데 이제 빠르게 다 넘겨버리는 경우가 많아요 그냥 테두리 없애기용(?) 대신...
-
1학년 수학 내신은 4등급이었고, 2월 달 부터 수1 공부 시작했습니다. 시발점...
-
제가 좀 둔감한 건지, 누가 정시로 들어왔고 수시로 들어왔는지 관심없는 경우가 더 많죠? 0
제가 너무 둔감해서 그런가 저 같은 경우는 누가 편입생인지도 사실...
-
-
딮기의 개 ㅈ박은 밴픽 젠지의 이상한 밴픽과 이상한 경기력 그리고 이상한 카정...
-
예스
-
1월에 공통미적 수분감 끝내고 마더텅으로 교육청 기출 풀면서 뉴런도 계속 듣고있는...
-
네덜란드 팀이 이탈리아 전부 탈락시켜버림 PSV - 유벤투스 (탈락) 페예노르트 -...
-
가격만 보면 플로우 뺨한 3대 갈기는데
-
맘에 드는 닉 순서 10
셀레스티얼 > 사평우 > 어피니티 > 심심한 > 달리기선수
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?