제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
지금 x맨 활동 열심히 즐기는 중
-
옷을 철안든 패션으로 술자리를 간다면야... 알록달록 겉옷이라던가 디즈니 캐릭터 티셔츠라던가
-
문제는 고대가 예정이 토요일임 내일 조발을 서강대보다 빨리 안하면 서강 3차때...
-
구라 ㄴ
-
ㅇㅇ 4
.
-
넘맛있어서 내가 다먹고잇음.... 3명 더 줘야해서 ㄹㅇ 100개넘게만들엇는데...
-
저런 일은 없겠지~
-
어리고싶다 7
허거덩
-
아예 모름 뭐부터 시작하면 되나요?
-
근데 난 노안이라서 X맨으로오해받을지도 ㅋㅋㅋㅋㅋㅋ 4
아니 20대 중후반으로 보이는게 말이되냐고
-
특정당할 일 없음요 ㄹㅇ ㅋㅋ ...같은 학교 오르비언을 조심하십시오
-
작년 여름방학, 푹푹 찌는 저녁이였음. 그날은 오랜만에 고등학교 동기들을 만남. 한...
-
외대 신입생 영어진단 홈페이지에선 20일 온라인이라 나오는데 오늘 아침에...
-
변곡점 필수야? 3
수2공부하고 있는데 변곡점에 시간 들여서 공부할 가치가 있는지 궁금합니다.
-
아님 사용설명서?
-
뭐해야되나요 현재상태는 슬슬 개념 까먹어가고 있는 상태임 기출은 개념이랑 같이...
-
본인이 "나보다 어린 대학선배"를 볼 예정이면 7ㅐ추 11
인생이 뭔가 잘못돼가는 거 같다...
-
제가 국어 학원이나 인강 한 번도 해본 적 없는 고2 노베인데, 문법 제외하고...
-
1학년 때는 무전공이라 488내는건가요?? 2학년 때 전공 선택해서 확정되면 그 과...
-
얼리버드 퇴근 0
-
방금 당근 20만원 사기 당했어요 지금 7만원 사기 당해서 신고한 것도 아직 못...
-
반말 까라햇는데 새터에서 까려구 함
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
할거라고 믿을게
-
난 X맨 해보는게 소원이었는데 과 아싸라 ㅂㄱㄴ했음
-
시대인재 3관 8
탐구랑 전형 장학 다들 어케되세요? 작년에 3관 반수전용이긴 했는데 라인업에 강김박...
-
요즘 러닝머신타는데 도중에 누가 내 폐에 점화건 것 같이 힘든 타이밍 오는데 이거...
-
사정상 재수학원 이런데는 못가고 일단 집5분거리 독서실 다니면서 하는중이긴한데...
-
인스타 릴스에서 계속 떠서 케며들었는데 자꾸 생각남 ㅅㅂ
-
올해 추합 1
올해 추합 많이 돈다매 시발
-
어디가 나을까요...?
-
10장으로 끝내는 한국사 무료 재배포(무료 배포인데 메인가고 싶어요) 2
안녕하십니까 EmitLight입니다. 개정하고 문제 추가해서 유료본을 판매하며 기존...
-
영어 노배 조정식 커피 짧게 타고싶은데 어떻게 타야하나요?
-
탐나는거 몇개 잠겨버렸네
-
여름에 엔제 양치기하던거 너무 재밌었는데 최지욱 디자인 엔 송준혁 스무스 샤인미...
-
라스트 댄스 가자
-
킁킁
-
수학 N제 추천 4
부탁드립니다 풀어본거라곤 강기원 서바랑 드릴드랑 드릴밖에 없어요
-
ㅎㅎ 1
.
-
X맨 썰) 0
개총오티안감
-
시대 w관 배정됐는데 몇층이 가장 좋은가요? 층 추천쥼 해주세여ㅠㅠ 자리도...
-
최초 예비 621번 751.35 가능할꺼요…??? 중앙대 중대 경영 등록 등록금...
-
돌아옴 9
난 도파민에 먹혀버린 거야
-
건대 떨어졌네 3
점공으로 보면 될법도 한데 예비 개안도네 슈밤바
-
[속보] 트럼프 "오늘은 중요한 날"…상호관세 13일 발표 예고 3
도널드 트럼프 미국 대통령이 13일(현지시간) 상호관세 발표를 예고했다. 이날...
-
해본다
-
골드차이 미친듯이 나면서 다 지던 넥서스 앞까지 다 까이던 경기를 한순간에 뒤집어 버린
-
5000-> 3000회귀가 정배죠?
-
지금 2차에 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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?