제발.. 오르비 천재님들.. 도와주십시오..
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를 선물하세요.
-
이럼 스한윗남 육수 소리 듣겠지 흑흑
-
이유좀
-
1. 50시간만에 샤워함 2. 30분동안 외출함 3. 붕어빵을 사먹음
-
모든 스토리에 전부 다 하트누르는 건 그냥 고백이라니까 7
가끔가다 누르는거말고 다누르는거 ㅇㅇ
-
뉴진스 하니는 인사 안받아줬다고 사내괴롭힘이라고 국정감사까지 열어서 어도어 ㅈㄴ...
-
-
왜싸우냐 5
싸우디아라비아 엌ㅋㅋ
-
제가 경험해봤는데 저한테 플러팅할 리가 없는데요
-
사망하셨네
-
그럼 그동안 내가 설렜던건 뭔데.
-
-
빵 먹고 싶은데 참아야겠지 하 고3때 살 ㅈㄴ 쪄서 스트레스 받네
-
어…? 어라..
-
남들이 부러워하는 심리를 누구보다 정확하게 꿰뚫은게 죽여버리고 싶은 포인트임
-
그니까 내가 하트 누르면 마음의 준비해라 양홍원톤으로
-
컴공 지원할건데 과탐만 가산점주고 미적 기하는 확통이랑 똑같나요?
-
나도 이 기류에 탑승한다
-
근데 이성 스토리에 하트누르는건 플러팅이라고 생각함 1
가끔가다 누르는 거 아니고 다 누르는거면 ㅇㅇ
-
이제 부모님이 노력해서 재벌되면 성공함
-
어휴 하수충새끼 이틀도 못버티고 도망가노 쟨 커서 뭘하노 ㅋㅋ 라고 생각할거 같아 이거 정신병인가?
-
이번에 사탐런했고 6모1 9모2 수능4입니다 각종 사설은 2~3진동했습니다 항상...
-
진짜임
-
OT뒷풀이 / 새터는 말하자면 소개팅….. ㄹㅇ 친해지고 오래가는 애들은 자만추들
-
옯붕이들아... 2
그만놀고가서저녁밥먹어라...
-
슬슬 겨울 끝나가나
-
탈릅 8
까지 1년정도 남은듯
-
이게 맞는 방향인가
-
편입생이고 지금 연대랑 성대는 확정입니다 주위에서 연대가서 복전하라고 하는데 그게...
-
헤헤ㅔㅎ 내가 해본 최대의 플러팅은 움직이는 경로를 파악해서 그쪽으로 가는 일을 많이 만드는 거
-
나 내신이 걍 내 인생인데 서운햌ㅅ어
-
공군 질문 4
1. 출결 점수 미인정만 깎이는 거 맞나요?? 질병결석은 점수 안 깎이죠? 2....
-
그만해라
-
보다 나를 없애는게 더 쉬워
-
지금 좀 꼴보기 싫은 사람 한명 생김
-
본인이 손에 쥘수없는것에 대한 열등감을 버리고 당장 본인이 쥘수 있는것에 대해서만...
-
약대 붙은 친구한테 축하 메세지 보냈는데 내가 개초라해진다 6
내가 뭔데 약대생 축하를 하고 자빠졌냐?
-
공부잘하더라
-
작수 확통 1등급 95점이라니...제 정신인가요
-
각자 할 공부 하고 서로 터치 안하고 억지로도 친해지려고도 안하면 안되나 인생……...
-
부모님 의사,치과의사,한의사중 하나더라 신기함 ㄹㅇ 난아닌뎅
-
좋겠다
-
지금당창 참여하세요
-
메디컬 갔을따 메리트가 확실히 큰가요?
-
러브버그
-
진짜 친구랑 먹은 이 와규는 잊을수가 없음..
-
하.. ㅅㅂ 알파삶 힘드네
-
이 정도면 서울대 제외 컴공가기에 불가능은 없죠..? 과탐 하나를 꺼야하나요 그럼...
-
단국대 합격생을 위한 노크선배 꿀팁 [단국대25][새내기를 위한 꿀팁] 0
대학커뮤니티 노크에서 선발한 단국대 선배가 오르비에 있는 예비 단국대학생,...
-
뭔 ㅋㅋ
-
얼버기 10
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다