제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
클럽가고 내 취향 연상 만나보니까 가능할것같음 진짜 취향은 의미 없다
-
근데 과탐이..
-
싸늘한 공기랑 나 째려본 사람이랑 무감정적인 선생님이랑 다 보기 싫다.. 근대 공부는 잘됐어 ㅋ
-
ㅋㅋ
-
실모 풀고있는데, 무슨 지방고 내신 수1 기말고사에 등장할 것 같은 문제를 실모에다...
-
선택 가능한 습관이며 양날의 검이다.
-
진지하게 재수할까요 31
학벌 컴플렉스 있긴 할 거 같은데 재수는 힘들거 같고 반수…? 솔직히 고삼때 원하는...
-
우리 독재학원 더프 보던데
-
혹시 좆반도 좆소마냥 개짜치게 그냥 갤북5를 이름에 프로 붙여놓고 20만원...
-
피램 기출 질문 0
일클래스랑 병행해서 기출풀려는데 생각의 발단 풀어야하나요?
-
공부가 왜케 하고싶지 작년에 찍먹한 심찬우쌤 풀커리 타보고싶고 1회독밖에못한 설맞이...
-
해본플러팅 3
나랑 벚꽃보러 가자
-
ㄹㅇ아무것도못하겠음 그냥누워서 시체처럼있는게 하루의끝이다
-
도파민 싹 도네ㅋㅋ
-
정교사 맞네요 초등교사
-
라면먹고자야지
-
중딩때 4차원에다 인성도 박살나서 이상한짓 하고 다녔는데.. 게다가 유튜브나...
-
진로는 광고,미디어쪽인데 둘 중 어디가야될까 전남이 문과 쪽으론 많이 뽑는다던데 과...
-
-
제성해요오오옷♡♡ 18
오붕아. 여기와서 앉아보거라
-
일단 저는 올해 교육청, 평가원, 수능 다해서 7월(45)과 9월(46) 제외하고...
-
쓰면 볼사람 좋아요로 민심확인함
-
착하고 세레브함
-
오르비 재미없다 4
빨리 재밌는 메타를 굴려보라
-
맞팔9해용 0
은테 달고 싶어용
-
일주일에 한번은 먹는데
-
다시악몽을선사하겟다는거임? 팔로우건이유가뭐임 새벽도아니고 저녁이면 제정신이란뜻이잖아
-
나도 고닉시켜줘 1
은테 달게
-
사자성어 1
그 수많은 사자성어중에 한 개정도 모르면 문해력 낮은거냐?
-
하긴 벳지꺼지 달아주는데 고닉 안할 이유가 없기도 하네..
-
누추한 곳에 와주셔서 감사합니다.. 나가지 마시고….. 한번만 읽고 조언 부탁드림...
-
★ 1
-
4060 버젓이 들어간게 110만원인데 인텔내장넣은 갤북 150인건 좀 꼴받거든요....
-
500 넘으면 확실히 될듯한데 사이언스 자전 나군에 놓은 순간 어떻게보면 예견된 일이었지만..
-
"상우야이!!" 3
"상우야, 너희 아버지가 기다리신다, 얼른 가자꾸나 상우야이..."
-
늘 을인 내자신... ㅠㅠ 언제쯤 내 팔자가 풀릴까나 ㅠㅠ
-
ㄹㅇ임 그걸로 돈 벌겠다는 마인드는 조금 안맞는듯
-
느린 잠지 0
https://youtu.be/pwkYUhePecQ?si=7d_Av7EDieTzTefw
-
경희 VS 시립 2
현역 경희대 화공이였는데 반수해서 상향 2개는 떨어지고 시립대 첨단인공지능 붙었는데 가는게 맞지?
-
안녕하세요 피램 김민재입니다. 올해로 출판 7년차를 맞이하고 있는 피램 국어....
-
완전 노베라 중학 수학부터 시작하여 수학 상/하까지 끝냈고 지금은 현우진 선생님...
-
저격허고 ㅈㅅ 하는게 하나의 문화군 메모
-
ㄱㄱㄱㄱㄱㄱㄱ
-
상근 군수 0
올해 6월말 입대인데 2년 길게 해볼만 할까요 등급은 4등급대입니다
-
맞팔해줘잉 1
뿌잉뿌잉
-
인하 vs 동국 5
인하대 자유전공 -> 전기전자 동국대 자유전공 -> 전기전자 학비 걱정X, 인하대...
-
죽으면알수있지않을까
-
???
-
북 치고 장구 치면 됨 ㅇㅇ
-
킬러문제랑 차력쇼하고 풀이알려주는게 고작 700원이야 안해
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다