제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
#07년생#08년생#독학생 오르비의 주인이 될 기회 37 40
-
초딩들시끄럽네 0 0
-
정석민 vs 이원준 0 0
국어 만년 3등급인데 누구 들을가여 지금 정석민쌤 듣고 있는데 나름 잘 맞는 거...
-
외모정병 2 0
-
김재훈 들으니까 0 0
독서공부가 하기 싫어지는데 이거 맞냐 22급만 아니면 35분안에 못풀수가 없는디
-
운전 다 까먹었을듯 1 0
그런것입니다 벌써 장롱면허됨
-
전쟁때문이긴 한데 4 0
이틀 연속 저정도 하락은 (원래 그랬지만) 주식보다는 부동산같은 자산이 훨씬...
-
상남자 몇 타치? 6 0
엄지발가락 벽에 박았는데 비명도 안 지르고 욕도 안 하고 오르비에 글 씀
-
운전면허 땄으니 새벽 3시에 1 0
데자부 틀고 5년 운전한 형이랑 자유로 달리면 되냐
-
부동심을 가지고 정진하라 0 0
오직 언매 미적 생윤 사문.
-
별건 아니고 그냥 프롤로그에 나오는 학습법보고 기록하기 귀찮아서 방금 만들었는데...
-
날씨넘좋다 2 0
집에서낮잠자기좋은날씨임...
-
은행 오르비꺼라 1 0
넵
-
선생님 식곤증 못버티겠어요 12 1
꿈에서 수업 마저 들을게요
-
아파트 비상 계단에 왜 8 0
밥 공기가 있지...? 심지어 밥이 담겨 있음
-
확통 인강 추천 0 0
작수 확통 30번 틀림
-
포루투갈로 피난갔다는데
-
왜케 노곤노곤하지 1 0
-
아침엔 피곤했지만 이건 좋군
-
사촌동생 생일선물 뭐가 좋음 3 0
대학생 새내기 나이인데 깊티 보낼거면 요새도 그냥 스벅이 무난? 올영?
-
의대 시행계획 2 0
올해 의대 시행계획을 봤는데 수학 선택과목에는 유불리를 주지 않고 과탐 가산점만...
-
집가고시프다아아아ㅣ 1 0
이 수업만 끝나면 쿠우쿠우 갈거
-
생기부 0 0
교대 준비해서 1,2학년 전과목 생기부를 교육으로만 꽉꽉 채웠는데 3학년땐 쫌...
-
기다림의 미학 2 0
에몬스
-
출석체크를 안하네 2 1
개같이 1교시 갔는데 이러면 나쁜마음이 생겨
-
반수도 학교 친구만드시나요? 2 0
반수생인데 지금 최소학점만 신청해두고 주2일 가는 상태입니다. 오늘 포함 2일...
-
노브랜드는 2 0
브랜드가 맞다는거임!!
-
2026년최고의딜레마 0 0
ㄷㄷㄷㄷㄷㄷㄷ
-
독학하다가 강의 들으려니까 0 0
인강 볼륨이 말이 안되는데 이거 2배속으로 들어도 그 시간에 독학하면 순공이...
-
무엇을 도와드릴까요~?
-
나는이도류사용자임! 2 0
투폰을씀
-
미친년!
-
초중딩들 집가네 4 1
얘들 뭔데 지금감
-
방굽습니다 2 0
-
수요일시간표가개꿀임 2 1
세지 정보 영어 기하 지구 대수 캬캬캬이거지
-
뭐임 핫스팟 용량 줄여야겠다 3 3
힘을 숨긴 기숙사 와이파이
-
내가 이렇게 글을 쓰는것은 2 0
친구가 없기때문임!!
-
최고의 시간표 1 0
국어 기술 통사 수학 과탐실 통과? 레전드다
-
자연대 변기 1 0
차가어ㅜㅜㅜ
-
집에서 쫓겨남 1 0
삼수 망하면 절연이네 ㅅㅂ 좆됨
-
오늘 6교시라 2 0
개 기쁘다는것임!
-
스벅 바로옆에 투썸생김 2 1
갑자기 동네가 발전하는것임
-
서학개미 5 0
옳은거였던거임 !!
-
재수하고 인서울 예체능 들어가서 학교 다니다 개인적인 이유로 수능 재도전 생각하고...
-
쿠우쿠우가면 초밥 70개~80개먹음
-
김기현T 기생집 0 0
미적분 아아디어는 안하고 바로 기생집해도 괜찮아요? 다 듣기엔 시간이 부족할 것...
-
슈능샤프님의 장례식입니다 9 2
닉네임때문에 산화를 ㅠㅠㅠㅠㅠㅠㅠ
-
화작 공부법........ 0 0
현역때 화작하고 재수하면서 언매하다가 이번에 다시 화작으로 바꿨는데 자꾸 두번째...
-
다음역은 무악재 2 0
무 악재면 좋겠다는것임!!
-
도익환은 댄스머신 2 0
빨고싶어 엑스터시
-
확실히 개강개학하니 글리젠보소 3 1
다들 인싸엿어
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?