제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: https://a.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합 9 대기 받길래 바로 못 들어가는 걸로 알아서 유시험 봤는데 됏네여ㅎ...
-
난 인형없으면 못자서 기숙사에 돌고래 인형 가져감 14
꼭 껴안고 잤어
-
"InDePTh 모의고사 충격적 후기.... 왜?" 0
"이 모의고사는 기출과는 다른 결의 난도를 가지고 있는 모의고사라는 생각이 듭니다....
-
저격 아니고 내 얘기임 깊게 생각을 못 하고 단편적인 것만 보네
-
확실히 저런 모습은 처음 보긴 해
-
공군 군수 하려는데 인강많이들어야하는편이면 비추인가요? 4
재수생인데 그냥 대학교가서 반수가 나을가요? 군수보다? 개념인강을 좀 마니 들어야해서
-
뭐 어쩌라는 거냐 개씨발진짜
-
엥간하면 칼럼이나 학습자료글엔 이런댓글 안달면 좋겠는데
-
있으면 작년강의 듣는게 낫겠죠? 아니면 작년교재로 올해꺼 듣는게 나을까요?
-
.5보단 밑으로 갈듯..? 찐폭까진 아닐듯하네요 오히려 중문이 복병이었던듯;;;...
-
이사람 누구지
-
윤도영 현강 들으면서 공부중인데 저는 올어바웃 예제 복습하면서 문제 풀이과정...
-
경희는 글로벌커뮤니케이션이고 4반수를 하게 된다면 목표는 서성한 상경계열 또는...
-
이번 현역 07이고 이전엔 생지 했습니다 사탐런 정시파이터로 돌릴건데 사탐을 아직...
-
한 학기만 더 쓰고 바꿔야할듯
-
탈릅합니다 9
글 쓰는게 어느 순간 병신같아지고 대학 가는데 이러고 있는 제 자신도 한심해서...
-
연대는 신촌캠도 3
연대는 신촌캠 합격자도 1학년 전원 송도에서 수업듣나요?
-
나는 병신이니까 남들보다 더 열심히 해야된다는 마인드로 공부하기
-
잠을 11시간 쳐자서 그런가
-
엄마나 쌤이나 친구나 갈등할 일 생기고 상처받고 눈치보일 때 그냥 잠깐 다멈춤 하고...
-
3이상 맞았다는 전제하에 ㅇㅇ 그냥 유전위주로 파다가 6모쯤부터 무한 실모+오답...
-
면허응시비용에 써야겠네
-
성심당 가고 싶어요
-
인식이 안좋은것 같아 마음이 아파요
-
평범한 여자 손크기인데 지금 폰이 미니사이즈라서... 카메라 땸에 가고 싶은데 별로 일까요?!?
-
혹시 자퇴 처리 기간이 어느 정도 걸리셨나요?
-
수시재수라 공부는 거의 안 해도 됨
-
맞팔구 3
-
시대인재 0
시대 6평 편입도 장학제도가 있나요
-
과는 자유전공인데 전전 갈거임 (인원수제한x) 그래서 1학년때 미리 전공 들어놀건데...
-
UAA&DCAF 팀에서는 2월 초에 나온다고 했는데 3월 전에는 나올까요
-
여러분 저 질문좀요 추합 한바퀴 돌앗다는건 뭔뜻이에요? 2
예를들어 120명 모집 학과면 1배수 돌앗다는거는 최초합 받른120명이 다...
-
질문글 0
답장 없으면 섭섭하다
-
김기현 파데 완강했는데 킥오프 안 하고 시발점 했다가 다시 아이디어로 넘어가도 될까요?
-
얘 이름이 뭐임 3
-
이단나스타 0
굿
-
인스타 아이디 5
지금쓰는건 주먹쳐서 만든건데 이제 대학가니까 좀 바꾸려고함 영문이름을 한글타로...
-
확통 진짜 아닌것갗으므 기하는 내신때 해봤고 미적은 아예쌩첨인데 지금 넘어가도...
-
살 빼야되는데 3
운동 추천좀 아파트 헬스장 갈거임
-
메디컬 목표로 재수해서 아직 정시 추합기다리는 중이긴한데 어떻게 되건 상관없이...
-
한끼 먹는 대신 좀 맛잇는거 먹고 싶음
-
맞팔구해여 ㅎㅎ 5
최근에 옯 별로 안했더니 팔로우가 많이 떨어짐.. 잡담 태그 잘 달아여 !!
-
대학교 다른곳 예비 받앗는데 합격한곳 등록금 기간이 추합 전인데 어케해야해요? 2
등록금 안내면 날리는건데 예비 받은곳은 또 합격할거같고
-
안녕하세요. 이제서야 공부를 제대로 시작하려는 고3 입니다. 갑자기 입시에 무지한...
-
자연기준 올해 300까지 돈다 안돈다
-
간식1차 ㅇㅈ 1
ㅈㄱㄴ
-
노베수학질문 2
예비고3이고 모의고사는 4등급 고정인 사람입니다. 부득이한 사정으로 수능공부를 이제...
-
수특이랑 더텅이 2
수욜에 온다니 그럼 오늘내일은 뭐하면서 지내야하는거니 크아앙
-
자살하고싶다 4
ㅜㅜ
-
고민이 많아서 하는거다
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다