제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: https://o.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를 선물하세요.
-
돈이 남아나질 않네 검정치마콘 갔다가 힙합콘 갔다가 하니까 티켓으로 30가까이 삭제됨
-
쪽지주세요
-
쪽지주세요 공스타에 신상다있는데 거기로 오셈
-
왜 자꾸싸우냐 0
그냥 본인 인생살아 왜싸워
-
맞팔 구함 0
잡담 태그 빼먹은 적 없음 빼먹었다면 의도한거임ㅇㅇ
-
응
-
보니깐 인하 특화식인데 인하가 영어감점작고 미적 96점=100점이라 저거 인하의 됨
-
걍 총기난사 마렵다 투두두두두
-
얼굴만 잘생긴게 아니었어? ㅆㅂ 나도 지금부터 저격드간다 어디사냐?
-
나랑 만남 가질 분 구해요
-
철 지난 드립쓰기 1일차
-
어히없다>어이없다그리고 '어히'는 '*엏(방법, 도리를 뜻하는 명사)+이(조사)'로...
-
빈란드 사가. 이제 그만 잊어라 토르핀. 나는 아르토리우스다 아이 헤브 노 에너미
-
난 시원해서 좋다 푸씨마냥 닉 안까고 은근슬쩍 스리슬쩍 저격하는 것보다 이렇게...
-
남자과외를 맺고 있는데 제가 올때마다 집에 아무도 안계시는데 학생방에 학생이 문을...
-
천원 네개였는데 사라짐
-
이럼 스한윗남 육수 소리 듣겠지 흑흑
-
이유좀
-
1. 50시간만에 샤워함 2. 30분동안 외출함 3. 붕어빵을 사먹음
-
모든 스토리에 전부 다 하트누르는 건 그냥 고백이라니까 7
가끔가다 누르는거말고 다누르는거 ㅇㅇ
-
뉴진스 하니는 인사 안받아줬다고 사내괴롭힘이라고 국정감사까지 열어서 어도어 ㅈㄴ...
-
-
왜싸우냐 5
싸우디아라비아 엌ㅋㅋ
-
제가 경험해봤는데 저한테 플러팅할 리가 없는데요
-
사망하셨네
-
그럼 그동안 내가 설렜던건 뭔데.
-
-
빵 먹고 싶은데 참아야겠지 하 고3때 살 ㅈㄴ 쪄서 스트레스 받네
-
어…? 어라..
-
남들이 부러워하는 심리를 누구보다 정확하게 꿰뚫은게 죽여버리고 싶은 포인트임
-
그니까 내가 하트 누르면 마음의 준비해라 양홍원톤으로
-
컴공 지원할건데 과탐만 가산점주고 미적 기하는 확통이랑 똑같나요?
-
나도 이 기류에 탑승한다
-
근데 이성 스토리에 하트누르는건 플러팅이라고 생각함 1
가끔가다 누르는 거 아니고 다 누르는거면 ㅇㅇ
-
이제 부모님이 노력해서 재벌되면 성공함
-
어휴 하수충새끼 이틀도 못버티고 도망가노 쟨 커서 뭘하노 ㅋㅋ 라고 생각할거 같아 이거 정신병인가?
-
이번에 사탐런했고 6모1 9모2 수능4입니다 각종 사설은 2~3진동했습니다 항상...
-
진짜임
-
OT뒷풀이 / 새터는 말하자면 소개팅….. ㄹㅇ 친해지고 오래가는 애들은 자만추들
-
옯붕이들아... 2
그만놀고가서저녁밥먹어라...
-
슬슬 겨울 끝나가나
-
탈릅 8
까지 1년정도 남은듯
-
이게 맞는 방향인가
-
편입생이고 지금 연대랑 성대는 확정입니다 주위에서 연대가서 복전하라고 하는데 그게...
-
헤헤ㅔㅎ 내가 해본 최대의 플러팅은 움직이는 경로를 파악해서 그쪽으로 가는 일을 많이 만드는 거
-
나 내신이 걍 내 인생인데 서운햌ㅅ어
-
공군 질문 4
1. 출결 점수 미인정만 깎이는 거 맞나요?? 질병결석은 점수 안 깎이죠? 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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다