제발.. 오르비 천재님들.. 도와주십시오..
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를 선물하세요.
-
동덕여대 시위 0
정치권까지 참여하고 판커진거보면 진짜 숨이 막히네….
-
내가 알던 오르비거 아닌데 이건
-
ㅇㄷ감?
-
본인 사진첨부해서 자기소개 하라는데 ㅅㅂ 특정될일있나
-
ㄱㄱ
-
사실 아무도 안보냄
-
숭실대 한국외대 3
숭실대 이과 정보통계랑 외대 어문계열(중어 일어…) 중에서 어디로 가는게 낫다고...
-
중앙대 약학대학 신입생 카페 가입 안내 안녕하세요, 중앙대학교 약학대학 제 41대...
-
머가 제일남? 디씨는 야갤임
-
여르비인거 밝히니까 남르비들 ㅈㄴ 꼬이네 에휴
-
그게 현명함
-
-
누가 3줄 요약좀
-
드릴이문제 2
뭔가작수랑 비슷한거같기도 드4
-
ㄹㅇ
-
쪽지아무리보내도공부하느라못보더라
-
추합 대비해서 돈 준비해놔야할거같은데 얼마인가요??
-
반지의제왕이랑 다크나이트 진짜 보다가 졸았음 리얼루다가 남들 다 봤다니까 어케든...
-
와 그럼 길거리 사람들 10명중 7명은 물인거임? 좀 소름돋네...
-
롤이나 해야지 11
흡
-
근무 끝 9
히히히 하지만 남은 불침번..
-
펌은 첨이라서 일단 더 알아보고 개강 전에 받거나 말거나 할거임 성급하게 결정할 필요 없잖슴
-
저 현역인데 개학하면 흐트러질까봐... 조언 한마디씩 해주십쇼 선생님들
-
오르비에서 이정도 도파민을 느낄 기회가 얼마나 있을까 싶다 ㅋㅋ UFC 즐거웠다.
-
꼬시고 도망만 감
-
1...1등급... 주세여...
-
응애
-
자기들이 찐따같은 행동 하고 있는걸 자각은 하겠지?막, 자기들을 오르비를 수호하는...
-
가야한다니...
-
민주당교육원장 2030 비하 논란... "생각 없어... 말라비틀어지게 해야" 12
박구용 더불어민주당 교육연수원장이 우파 진영을 지지하는 2030 세대를 겨냥해...
-
아이고야
-
제가 풀줄 아는 문제 기준(공통) 1~10 16~19 이렇게입니다.. 제가 마음에...
-
갈매기가 응가합니다
-
대전에서 8세 여아 교내에서 흉기 찔려…경찰 "사망추정" 18
30대 여성 돌봄교사도 흉기에 찔려..생명에 지장없어 오늘 오후 3시쯤 대전시 서구...
-
무슨일이에요 8
대충만이라도 알려주실분....
-
-
지들끼리 인증사진 박제나 하며 낄낄대는 도태한남새끼들은 걍 혀깨물고
-
나도 껴줘…
-
하는 짓에 맞게 오르비언 야리돌림 갤러리 같은거로 만들지
-
내가 182인데 나랑 비슷하거나 나보다 큰 고딩들 왤케 많음
-
진짜 좀 많이 찐따같긴 해사실 그냥 커뮤니티만 해도 이게 현실에선 좀 찐따여도?...
-
이게 현실에서 표출못해서 글로 하더라 내 레이더가 다 포착함
-
작년 6월까지 인수분해만 할 줄 알았음,정의역치역 뭔지도 모르고 1차함수 재대로...
-
드가자잇
-
엄 준 식
-
고수)캡쳐해서
-
흠냐뇨이
-
얼버기 3
ㅎㅇ
-
매일 1.5~2시간 정도 투자 가능합니다 그리고 설수의 가려면 과탐 둘 다 1컷이라...
-
168/80잉데 돼지 아닌거같은데
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다