제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
자취하고 7
잘취해요 자취 2주 남았다
-
설대 1차추합이 반영된거 맞나요..??
-
뱃지 4
달았다!! 모두 행복하세요~
-
예비 1번인데 가능할까요 ㅠㅠㅠ
-
숭실대 추합창 1
추합 몇명 줄었는지 궁금해서 보려고했는데 창이안뜨네요.. 내일 다시 뜨려나 링크...
-
벽느껴버렸다..
-
현역때 공부 거의 안하고 화미생지 응시 14146 06이라(조기입학) 한번 더해도...
-
경희대 합격 5
전화추합 받으니까 기분이 좋네요 ㅠㅠ
-
국어 5등급 국포자가 수능에서 1등급 받은 방법 (1) 0
나는 국어 5등급 국포자였다. 하지만 어떤 '방법'을 깨닫고 성적이 비약적으로 올라...
-
-
아오 허리가 또 0
디스크도 아닌데 매년 이러네
-
우울할 때는 옛 추억을 돌아 보면 조금 나아지는 것 같네요,,
-
4수 건대 0
체대생인데 현역때는 체대입시를 안하고 재수 6월에 친구가 너 운동괜찮게하니까 한번...
-
삼수 박는단 마인드로 공부해야함
-
빨리 오렴
-
작년에는 카페랑 톡방 들어가고 했었는데 이번에는 뭐가 없네요 학교는 고대입니다
-
학고반수 실패 1
학고반수 실패해서 복학하는데, 25학번이랑 어울려지내기 쉬울까?
-
빠지는 사람 계신가요.?.?.?.?.).ㅜ
-
?
-
강기원 수강 0
작년에 강기원 수업하다가 드랍했고 작수는 미적으로 백분위 81 받았습니다 수업은...
-
시대 급식 1
시대 급식 신청 안하면 밖에 나가서 먹을 수 있나요?
-
!?댓 좀여 ㅠ 목시
-
둘 다 인원 늘어서 의평원 불인증위험도 똑같고 주변에서도 굳이??하는 반응이고...
-
둘중에 어디가 나은지 투표해주세요ㅠㅠㅠ 근데 과는 작업치료를 더 가고싶고 연미...
-
-
흐으으으음
-
150명 뽑는 가군에 있는 과입니다 1차에 40명 2차에 20명 빠졌는데 4차부터...
-
시대 신관 4
점심저녁을 라이브러리에서 먹으면 환기는 잘 되나요?
-
69명뽑는데 1,2차 합쳐서 18명 중대 건환플 미컴은 1차 1명 ㄷㄷ
-
금융권 취직하고 싶은데 경제 추합되면(아마 내일 될듯) 서강가는 게 더 나을라나요
-
사람 너무 많아서 그런가?
-
미적 27이 공통 13번쯤보다 어려운듯 ㄹㅇ로 드디어 24 25수능 27...
-
-
학생에게 이유를 물어보지 못한다는게 참 슬프네요 열심히 답변했는데..ㅠㅠ
-
부라자 3
부엉이라이브러리 자습
-
시간뜨는건안된다..
-
재수성공인가요? 10
현역 한신대 건설환경 전화추합 재수 인하대 자전 최초합 ㅈㄱㄴ
-
우르프 3
보이스
-
시대 신관 2
반 편성 어떻게 되는거냐 신관 배정 받으면 무슨 반임??
-
몇바퀴 돌려나
-
부모님이 써보고 재수할지 결정하라해서 일단 쓰긴 했는데 거의 90%붙는 성적이라...
-
화2 인강 2
재수하면서 화2시작하는데 재종에서 수업듣는데 처음하는거라 따라가기 벅찰까봐 인강...
-
암살해도 될까요?
-
소확횡 1
학원에서 학생먹으라고 놓은 새콤달콤 2개훔쳐먹음
-
☺️계명대학교 약학대학 약학부 2025학년도 신/편입생을 찾습니다☺️ 0
안녕하세요☺️ 저희는 계명대학교 약학대학 제 15대 학생회 ’NEW WAVE‘입니다...
-
부엉이가 3,4,5,6층이라는데 1,2층이 강의실인건가요? 그리고 급식은 같은건물...
-
찾아보니 K-버튜버였다고
-
내 인생을 바친 커뮤 최후의 날이구나...
-
생윤 수특 사서 인강 보고 진도 나가는 중인데 수능개념을 먼저 한다는 걸 몰랐어요....
-
어떡하지. . . 갑자기 가라고해서 당황스럽네. . . 땡깡만 부릴수 없는 노릇이고 ㅠㅠ
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?