제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: 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를 선물하세요.
-
너무 신경쓰고 그럴 필요 없음
-
문제 좋은데? 7
9가 1개: 0 9가 2개: 1 9가 3개: 2 9가 4개: 3 논증은 어차피...
-
아까 저녁에 먹은 트리플샷커피가 문제네 이거 ㅜㅡㅜ
-
아직 게시물은 없는디 오늘부터 성실히 올릴거임!
-
홍보하기 귀차녿.. 걍 폭파시킬까
-
반박 ㅇ
-
좌측 대각선과 우측 원호의 길이가 같으므로 이동거리와 평균속력이 모두 같다는 결론을...
-
그래 스펙 구경 좀 해볼까 어? 시발 눈에 보이 는건 온통 기만충 이럴순 없어 슬슬...
-
ㅠ
-
아니면 맞팔끊은건가
-
잔다 2
갓생을 위해
-
그래도 한 번쯤은 오마카세나 고급 일식집 이런 데 가 보고 싶음
-
일 하고 더 놀러 다니고 하는듯 젊음을 낭비하기 싫기도 하고 돈 쓰면서 노는걸...
-
오르비 안녕히주무세요 11
해뜨고 봐요
-
주인 잃은 레어 1개의 경매가 곧 시작됩니다. 좋아요 구걸"좋아요 알림이 폭탄으로...
-
공벡해보쉴 19
난이도 상 둘중하나 풀면 2만덕
-
어딘가 결핍이 있는듯 그게 마냥 나쁘다는 뜻은 아니지만
-
2시간동안 풀면 800:1의 주인공은 당신
-
전문적인 건 아니고 재미로 3월초에 넣은 거 됐으면
-
난이도: 8/10 Y좌표로 유사기출 180921(가) 난이도:8.5/10 위의 사설...
-
근데 나한테 천덕 줘야함 선착순 천덕 주는 사람 1명 받음
-
학교에서 강제로 영화보러 가는데 재밌으면 보고 재미없으면 잘거임
-
옯뉴비다링 6
-
소아비만은 진짜 안됨 왜 안되냐고는 묻지마..
-
나는 아나운서 개그맨도 보이는거 보니까 ai기준에서도 하타치라고 인식한 듯ㅋㅋ
-
시발
-
제주도 특 4
공기"만" 좋음
-
셀럽미 ㅇㅈ 12
이제 슬슬 자야지
-
수능미적 25나 26번에 슬쩍 내면 미붕이들 머가리 터질까 아니면 잘 대처할까 뭔가...
-
어떻게 생각함
-
왜 안자요 0
-
잘거야 2
-
진짜 ㅈㄴ 이쁘네 짤 저장 ㅈㄴ 해야겠다
-
나는 서울살지만 4
서울 새끼는 아냐 밥도 굶어 봤지만 어두운 길로는 안다녀~
-
루비기여워 8
아이 out. 루비 in.
-
정신병이야 이거..
-
ㅈㄴ 아깝게 치킨 목이 개맛도리인데
-
6시 기상 목표 1
-
노래추천하나할게
-
셀럽미 ㅇㅈ 7
Ai고맙노
-
우리는 모두 친구/노롱노롱노로로/최소 노짱스타잏/질풍운지
-
잇올끝나고집오면 그런생각이 잘 안나더라
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다
귀류법이란 증명이 있는거아님?