제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
옯뉴비다링 6
-
소아비만은 진짜 안됨 왜 안되냐고는 묻지마..
-
나는 아나운서 개그맨도 보이는거 보니까 ai기준에서도 하타치라고 인식한 듯ㅋㅋ
-
시발
-
제주도 특 4
공기"만" 좋음
-
셀럽미 ㅇㅈ 12
이제 슬슬 자야지
-
수능미적 25나 26번에 슬쩍 내면 미붕이들 머가리 터질까 아니면 잘 대처할까 뭔가...
-
어떻게 생각함
-
왜 안자요 0
-
잘거야 2
-
진짜 ㅈㄴ 이쁘네 짤 저장 ㅈㄴ 해야겠다
-
나는 서울살지만 4
서울 새끼는 아냐 밥도 굶어 봤지만 어두운 길로는 안다녀~
-
루비기여워 8
아이 out. 루비 in.
-
정신병이야 이거..
-
ㅈㄴ 아깝게 치킨 목이 개맛도리인데
-
6시 기상 목표 1
-
노래추천하나할게
-
셀럽미 ㅇㅈ 7
Ai고맙노
-
우리는 모두 친구/노롱노롱노로로/최소 노짱스타잏/질풍운지
-
잇올끝나고집오면 그런생각이 잘 안나더라
-
내 자아를 잃어버린 듯한 공허한 기분이였어 나라는 사람을 뭐라고 정의해야 할지 모르겠었어
-
생윤 사탐런 3
작년에 사문 사탐런햇을땐 꽤 재밌고 공부 별로 안해도 수능때 1이 나왔어서 사탐이랑...
-
인제대 백병원이 2
이 백병원이었구나 방금알았음
-
논술도 양극화임 1
수능도 정시 의대랑 정시 일반과랑 난이도 차이 점점 심해지듯 의대논술이랑...
-
키작고귀엽고하얗고슬랜더인 사람이랑 연애하고 싶다
-
ㅇㅈ메타임? 4
ㄲㅂ 나왜지금왔노
-
현역이고 3모 89점이에요 21,34,38,39 틀 안정적인 1등급 맞출려면 어떤...
-
미친듯이 배고픔 8
저녁 안 먹음
-
스고이~
-
문제들 세수대야 봐라 비주얼로 기선제압 정말잘하네
-
잘자요 11
내일이면 모두 제 인증을 잊어버리겠죠...
-
잘래요 2
내가 오르비에 셀럽미를 던지고 갔군 흠흠 근데 왜 정작 그 게시물엔 댓글이 하나도 없는데 크악
-
마감 제발 0
요즘 멘탈 나가서 일 못했더니 너무 밀림 ㅅㅂ
-
시발
-
나 같은 촌놈한텐 대치동 환상 있음 ㅋㅋㅋㅋ
-
작년 9모처럼 미적 개쉽게 나왔을때 말고는 미적 4점 맨날 다 나가는데요.. 공통은...
-
외모 4등급 10
-
역학만 종일 파서 고인물되고싶은데 역학부분만 다루는 n제가 있나 해서요
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?