제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: https://i.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를 선물하세요.
-
혼틈 8
옯스타 홍보 @fxxkmanem
-
900만덕이다
-
한국 시청자가 많아서 애칭이 한나무인데 한남 발음 못해서 한나무인게 개웃김ㅋㅋㅋㅋ
-
의지할게 진짜 오르비랑 약 밖에 없음............... 재종에서는 내적...
-
정석민 김범준은 못버릴거같은데....ㅠ
-
노엘ㅇㅈ 11
한달 전인데 머리 진자 덥수룩햇내.. 지금은 많이 가벼워짐
-
난 아직 미성년자임 부모님이 나 케어해줘야함 의사결정할때 엄빠 도움 필요함
-
올해 사문 시대컨도 개많고 사문으로 사탐런한 실수도 꽤 많은거 같은데..사문 1컷...
-
이놈 내일저녁은 너로정했다
-
e^i는 커서 cause e^i is big e^i는 복소수입니다 복소수는...
-
순위 발표 6
추카해요
-
N축 딱알려줌 11
합성함수 기본이 겉함수의 정의역이 속함수 치역이자늠? 보통 속함수를 추론시키는데...
-
라이브러리 꾸미기 함 벽에 자석으로 귀여운거 사서 붙여놓고 책상 한켠에 동물 미니...
-
교정 필수임? 3
치열은 바르긴 한데 교정하면 기본적으로 외모 많이 나아진다길래 할거면 지금해야하는디 고민되네
-
퍼져나간다 ㅋㅋ 6
ㅋㅋ
-
아 부끄러 1
원래 저런거 안하는데
-
https://youtu.be/KDorKy-13ak?si=f_vubx0RJP02ECcI&t=678
-
stfu 넵
-
대해린성별투표 2
ㄱㄱ
-
아 왤케 빡치지 11
아
-
1등 1000덕 2등 500닥
-
오랜 고민끝에 2024 한해동안 나름 열심히했던 지구과학을 놓아주게 되었읍니다....
-
뒷북인가요?
-
바탕 1회 언매 81 화작 84가 1컷이라고 뜨긴하는데, 제가 언매 95입니다....
-
ㅇㅈ하기 4
이 아이는 커서..
-
네누나
-
시발 15
개쫄앗네 ㄹㅇ인줄
-
기습 ㅇㅈ 2 18
오늘도 재탕재탕재탕재탕임요
-
ㄹㅇ
-
의치한약수 같은 거 제외하고 일반과 중에서 제일 높은 과가 혁신신약학과인가요?
-
(테러 죄송...못생겨서 미안합니다) 눈 완전히 뜨면 쌍커풀이 끝에만 조금 보이고...
-
사랑 2
평화우정
-
각 문제 이미지의 문제 번호 부분 지워서 원래는 문제 이미지 위에 문제 출처...
-
오르비할거라는생각하니까갑자기으하하하하하하
-
레어사세요 0
당근레어빼고
-
기습ㅇㅈ 28
재-탕 아 저 머리는 언제봐도 마음에 안들어..
-
경북대 응용화학과 항공대 자유전공 항공교통 전공, 관제사 생각 중 둘 중에 어디가...
-
날갯짓 하는 소리, 우는 소리 다 들려서 잠도 제대로 못잔다고 하는데 처리해"줘"
-
후회하는 것도 0
어차피 과거는 바꿀 수 없는데 미련한 짓일까 그냥 미래를 위해서 살아야지 과거의...
-
애초에 의사가 올려줄까 토요일날 가는데 고민되네 국어 이 씹새끼 잘하고싶다 진짜
-
영어 2->1 만드는법 13
3년전 평가원 더프 다 80중반 2등급이었고, 수능은 80이었습니다. 1형식...
-
잠이나 자야겠다 3
내전팟 바퀴벌레마냥 사라졌네 에휴이
-
사랑 여성주의 오만 거 다 있네 이거 재밌따
-
재수학원 2
혹시 학원 다니다 어느정도 개념 익히고 하반기쯤부터는 독학으로 하는 경우가...
-
하.
-
이해안갔는데막상이나이되니까존나부럽네현역
-
ㅂㄱㄸㅂㄱㅇㅈ 7
10초삭함(펑)
-
텍스트 형식 해설은 내 스타일이 아니라 216식으로
-
ㅎㄷㄷ
-
121 137 3 66 68(물2 화2)로 가능해요?
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다