제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
아 진짜 못한다 3
도란 기대한 내가 밉다 걍
-
부라 자리 0
부엉이 라이브러리 자리 예약 패드나 폰으로 해도 되나요
-
특급이 맞고 싶구나.. 10
조기진급을 시켜다오..
-
성대lc분 전화 받아버렸다 반수할건데.... ㅅㅂ 어카지 죄송합니다
-
심심하다 2
심심한 상태이다
-
이제 곧 전역하고 군대에서 자극받고 수능 준비하려는데요, 22학년도 때 확통 다맞고...
-
편안하다 2
안정된 상태이다
-
오늘 1차 추합 발표났고, 등록기간은 내일 오후 중반까지에요 (16시 이전)...
-
재종 다니는데 재종에서 주는 수학하고 현우진 수분감 뉴런 다같이하면 진짜 뭐하나...
-
가 3칸 나 6칸 다 3칸 지원했는데 나, 다 최초합하고 지금 가 추합 기다리고 있다 스나 ㅁㅌㅊ?
-
프사가 사람을 만든다 32
ㄹㅇ 프사에 걸맞게 행동하려고 하게 됨
-
ㄱㄱ
-
못고칠듯
-
연대기원 0
기도합니다 아버지 아멘 아멘 할렐루야
-
인생이 너무 비교돼서
-
한양대 스포츠매니지먼트 추합 얼마나 돌았나요? 아니면 이중에 빠지실만한분 보이시나요...
-
4명만 빠지면 되는데ㅠㅠ
-
빠지시는분 혹시 있으실까요..??
-
엄마아빠미안... 메디컬가서 나중에 갚을게 ㅠㅠ
-
인하대 공학융합 5
인하대 공학융합학부는 오티나 새터 그런 거 안하나요? 추가합격했는데 어떻게 찾아보는지 모르겠습니다
-
여론은 복학한다고 하던데..어케될거같나요?
-
특성화고는 배우는게 일반고랑 달라서 aa 자체가 불가능하다고 들었는데 특성화고에서...
-
좀 일찍 좀 하지
-
이유없이 진학사만 들락날락하고있음 대가리아프네 ㄹㅇ
-
왜이렇게 조금 뽑나요..? 여자 11명 뽑는거면 걍 자취 확정 아닌가..
-
그게 나야 바 둠바 두비두밥~ ^^
-
응애
-
국어- 리얼리스트 수학- 강윤구 영어- 김범구 지구- 엄영대 생명- 박상현이 이젠 없네????
-
새대갔다왔어요 21
새벽부터 막 토해서 뒷풀이는 못감ㅜㅜ 그래도 나름 재밌었구 서울대응원단<<고트임...
-
내가 비운의 주인공이라니
-
N번방 몰린 서울대생..."직장 잃고 인생 파탄, 사과도 없어" 28
[이데일리 김혜선 기자] 일명 ‘서울대 N번방’ 사건의 공범으로 지목된 서울대...
-
성대도 붙었다 0
기분 좋네요
-
주변에 계신 의반러 분들 성공확률이 어느 정도인거 같나요?
-
ㄷㄷ
-
,,
-
“見たことがある“ ㅇㅈㄹ하심ㅋㅋㅋㅋㅋㅋ
-
스블 안올라와서 0
드릴드랑 샤인미를 다풀었잖아 완전 럭키비키잖아
-
진짜 개짜증난다 몰래 수능쳐야되서 지원도 못받는데 ㅠ
-
전이랑 같은 시간 자도 조는게 사라지고 체력 자체가 올라가는데 운동하다보면...
-
..
-
에리카 컴공 0
추합 2찬데 예비 18이면 가망없나
-
새내기대학 후기 10
의대갈걸
-
1-1까지만 다니고 군대감 군수중인데 어디정도는 붙어야 학교 옮길만하냐
-
심심함 2
적당히 어려운 수2 문제 하나 잇나
-
제이팝 추 0
-
약대 찐(?)합격 21
언매3 영어3 인데 수과탐 만점받고 약대 갑니다~~~
-
치대 한의대 약대 수의대 공대의 현실은 잘 알고 계신가요?
-
경희대 의류디자인 농어촌 빠지실 분 없으실까요..? ㅠㅠㅠ 주변에 아는 분들이라도 답변 부탁드립니다
-
찾아보니 하니가 비자를 받아도 비자의 종류가 중요하군요. 0
대한민국 내에서 연예활동을 하려면 E-6 비자를 받아야 하는데, 현재 하니가 받은...
-
3.8정도 유지하려면 엄청 힘든가요..? ㅠㅠ 비과학고 출신이 순공 몇 시간 정도...
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?