제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
하....
-
길고양이 핥기 9
낼름
-
163 75 2
인생이 서럽다 그냥
-
돼지 ㅇㅈ 2
BMI 20대임...
-
뚱뚱하니까 얼굴이 그따구지 하
-
이야
-
학원이랑 지금 사는 곳 거리가 조금 있어서 아침 6시 기상, 6시 20분 셔틀 타고...
-
ㅇㅈ 16
인데 중딩때 사진임
-
청필산
-
*이 글은 필자의 뇌피셜과 드립이 난무하는 글입니다. 설명을 위해서라면 교육 과정의...
-
진지함
-
ㅇㅈ 14
얼굴이라고 한적없다
-
반드시 해야겠어 폰이 문제다. ..
-
닉변
-
지역인재/지기균/농어촌 전부 다 안되면 생1지1 하는게 제일 나을까요?
-
보통 과탐에서 꼬라박는 경우가 많은데 28은 통과 쉽게 나올거라 저때 성불찬스각이긴 함
-
너무하뇨이...
-
아, 의대 꼭 보내준다고요?
-
휴..
-
잘자요 2
잇올러는 먼저..
-
서울대 고려대 연세대의 모 옵붕이들이 자꾸 자기 학교로 오라고 설득함 기부니가 좋아져..
-
그냥 이 기만메타에서 chill가이마냥 주머니에 손집어넣고 나는 괜찮아 4
속으로 5천만번 5억만번 외치면 괜찮아지더라고 괜찮아괜찮아괜찮아괜찮아괜찮아괜찮아괜찮아
-
안 좋은 거 같은데
-
인증메타임? 2
ㅇㅇ?
-
잇올 외출권 0
1,2외출권3-8등원인정가능한가요??
-
여친이나 그런 거 다 있는데 얘기 길게 하면 기만되니까 글 올리고 한두 명 답...
-
깨서 돌아다니고 있었네
-
스블 후 기코 1
스블을 들은다음에 스블 복습하면서 기코 병행햐도 되나여? 내신때 말곤 기출을 별로...
-
ㅇㅇ
-
람쥐센세 6
는 오르비줄이기 성공했네.. 나도 줄여야게써
-
수학강사 0
고려대 이공계정도면 수학강사로 처음 학원 들어갈때 월급으로 어느정도 받을까?
-
인증. 사실상 외모 최상위권들의 여가생활. 이들은 외모를 인스타에서도 모자라...
-
아 이건 exid 하니였네
-
거리곱 같은 스킬 모아둔 책 있던대 필요함??
-
내가 더 형이니깐
-
ㅇㅈ 2 12
특정되먄 자살하러가야지
-
셀럽미: 닮은 연예인 찾기
-
씨발
-
지구 사문으로 수능 준비할려는데 과탐가산점 받을려면 과탐 2개를 응시해야 받을 수 있는건가요??
-
민지나 봐라 1
한복 민지는 신이야
-
누구 똥꼬에서 나온 발상임 갑자기 튀어나오네
-
꺄하하
-
인증그만해! 4
인증 마려워지네ㅔ
-
하니 진짜 예쁨 1
그리거 춤을 너무 잘춰 반햇어
-
ㅇㅈ 11
※의대가자주
-
없겠죠
-
존나 무섭게 생겨서 못올리겠다 ㅅㅂ
-
푸른산호초 존나 떠서 뉴진스 응원하고 있었는데 갑자기 왜 이래 따흐흑
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?