제발.. 오르비 천재님들.. 도와주십시오..
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를 선물하세요.
-
인강민철 0
작년꺼인데 1,2 건너뛰고 3부터 풀어도 문제없나?
-
우리반에 지체장애인이 있었음 얘가 수련회 숙소 저녁시간에 복도에서 알몸으로 온벽에...
-
신발 빨아야 됨 따흐흑
-
음슴체 쓰겠습니다 초등학교 5학년이었을거임 6학년 때에 코로나 터져서 단 한번도...
-
서강대 새터 1
혹시 서강대 추합하면 새터 못가나요..? 2/7일까지 참여비 납부로 되어있어서…
-
아직 안 나온거 맞아요?
-
08인데 고닉이라니 맙소사
-
혹시 생1 학습법 관련 칼럼 쓰면 보실 분 계신가요 6
올해 평가원, 교육청 다해서 7(45), 9(46)빼고 전부 만점인데
-
오르비이상해 1
-
일반고는 공부러 특성화고 안간 양아치 그리고 애석하게도 애매한애로 나뉘어 있다
-
국어 질문 2
20학년도 9월 장끼전에서 딱부리라는 새가 짐승이라는데 "인물'이 맞아요?
-
감사합니다.! 1
저번에 국어 질문한 사람인데 문학 한지문 버린다는 생각으로 하고 주저하지 말고...
-
선생님들은 학생 이야기로 노가리를 까신다 이건 진짜다
-
평범함?
-
임마 점마 << 이거 쓰면 사람 너무 쥼 그래보임..
-
쪽지 주세요!!
-
소문은 빛보다 빠르다
-
23때 백분위 95 따리라 확통으로 틀까 고민되는데 한번도 공부 안해본 과목이라...
-
잠자기가 스펙이되는날이오길♡
-
나중에 시간이 날 때 봐야겠어
-
지역메타 하자 4
응응
-
ㄹㅇ
-
내신 꿀팁3 2
친구가 성적을 물어보면 절대 못봤다고 해라
-
토익공부하려는데 0
한동안 너무열심히 처놀아서 공부가 너모 안된다
-
지역 메타 9
저 어디 살 것 같은지 ㄱㄱ
-
퇴근하고십어요 0
흑흑
-
님들 키빼몸몇나와요 13
전 딱100임ㅋㅋ
-
안녕
-
https://orbi.kr/00071907531
-
안녕하세요 새벽입니다. 앞으로는 칼럼 더 열심히 써볼게요 ㅜㅜ. 요새 너무 바빠서...
-
지금은 헤어졌지만 22살~ 23살동안 여친한명 사귀었는데 진심으로 15번이상...
-
내신 꿀팁2 0
시험 때 문제 놔눠주고 손 올리라 할 때 그냥 앞페이지 대놓고 보고 계산해놔라...
-
왜지
-
사상가:롤스 0.경제 불평등은 최소수혜자에게'만' 이득이 되어야 정당화 될 수 있다...
-
언미사문지1로 1
갈 수 있는 의치가 어디어딘지 알려주실 수 있나용,,,
-
남자라서
-
내신 꿀팁 2
절대로 시험 벼락치기하고 몇등급이다 자랑하는 애들 말에 귀기울이지 않는다
-
나 전생이 두 개였구나 12
둘 다 보고 있는데 재밌음 저 때는 어려서 그런가 메인도 잘 보냈네
-
어디 함 마셔보자 편의점으로 출격
-
ㅈㄱㄴ
-
썰 하나 풀까? 1
전글 쓰다가 초등학교때 한가지 일이 생각남 좋아요 하나라도 달리면 한번 써봄ㅇㅇ
-
인스타 계정 염탐하기 디엠 내용 다시 읽기 스토리 하트 누르기…
-
친구의 지인이 31433으로 에리카 약대 최초합 했다는데 이 적폐전형좀 사라지면 좋겠네
-
메타 따라감 7
.
-
닉변 0
킁킁
-
문제 풀면서 되게 재밌단 생각듬
-
오랜만은 아니고 네 요즘 다시 오르비에 상주하고 있는 감자까앙입니다. 추합 기다리는...
-
눈마주치기 좋아하는 사람한테 대시하는건 어려워요
-
난 융희 2년!
-
본인 개꼽다고 말 할려다가 개꼴린다고 한적 있음
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다