제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: https://io.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를 선물하세요.
-
사슬 맨~ 오우예이 좋은꿈꾸싲쇼
-
-
오르비 안녕히주무세요 16
새르비.. 하고 싶은데.. 5시에 일아나야해요.... 금요일 이후에는 꼭 새르비 할거에요!!
-
나 쓰담쓰담좀 해줄래 15
받고싶어
-
기습 ㅇㅈ 2 18
오늘도 재탕재탕재탕재탕임요
-
이미지 써주세요 14
맨날 써드리기만 했는데 저도 제 이미지 궁금함뇨
-
선넘질받 저도함 14
자기전에한번 가죠
-
네누나
-
나진환이 ㄹㅇ 아이돌임 14
그냥 말도안되게 잘생겨서 티비 보듯이 수업 들음 이동준 나진환 유신 렛츠 고
-
씨씨할사람구함 17
돈은제가벌어올게요 데이트비용도다낼게요 안쪽팔리게손도안잡을게요나란히걷기만할게요
-
선넘질받 12
-
시발 15
개쫄앗네 ㄹㅇ인줄
-
천박함을 위한 천박함이 너무 많음 어줍잖게 디시나 외국 밈 똥물 퍼와서 좆도...
-
-
저도 질받 12
제발 질문해주세요 옯찐따같이 질문 안 달리면 삭제하고 도망갈거임
-
두번다신 쫄려서 못하겠음
-
아아앜 선착 6명 13
[일시 26요청) 레어 강탈 완] https://orbi.kr/00071921916...
-
오르비 하다가 재수 망했음 ㅇㅇ 안 해주면 서운하다 끝나면 캐삭 때리고 자러 감...
-
걍 얼추 n년 옯데이터 경험상 + 주변도르
-
모밴이 뭔가요 12
구글 쳐봤는데 뭔 소린지 잘 모르겠음
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다