가설 변경
게시글 주소: https://orbi.kr/00071954437
1. (A가 거짓->모순)->(A가 증명있음)
1번은 귀류법이고 참
1번의 대우명제는 2번
2. (A가 증명없음)->(A가 거짓 and 무모순)
2번이 참이니 3번이 참
3. (A가 증명없음)->(A가 거짓) 이 참이고
3번의 대우는
4. (A가 참)->(A가 증명있음)
그리고 원래 참으로 여기고 있는것들이
5. (A가 증명있음)->(A가 참)
6. (A가 거짓)->(A가 증명없음)
임
3번과 6번을 연결하고
4번과 5번을 연결하면
7. (A가 거짓)<->(A가 증명없음)
8. (A가 참)<->(A가 증명있음)
9. (A가 공리)->(A는 증명없음)
7번과 9번 연결시,
10. (A가 공리)->(A가 거짓)
(A가 공리) and (A가 거짓) 이면
11. "A->(모든명제)" = 참
7번과 8번을 가져와 생각해보면
11번의 후건이 "거짓" 이라면 후건의 증명은 없다
왜냐하면, 11번이 성립한다해도
거짓과 거짓은 반드시 동치이므로
거짓으로 거짓을 증명한다는건 실제로 외부명제로 증명하는게 아니라 순환논리임
따라서 11번에서 후건이 거짓일때 7번이 성립
11번의 후건이 "참" 이라면 후건의 증명은 있다
왜냐하면 11번을 보면 A가 거짓이고 후건이 참일떄,
거짓과 참은 다른것이다
즉, 거짓으로 거짓을 증명하는 순환논리가 아닌것이다
따라서 8번도 성립
결론
7. (A가 거짓)<->(A가 증명없음)
8. (A가 참)<->(A가 증명있음)
공리는 "거짓"
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
#07년생#08년생#독학생 오르비의 주인이 될 기회 37 40
-
고1 한의대 지망 동아리 선택 0 0
안녕하세요 갓 입학한 고1입니다 한의대를 지망하는데 과학심화동아리랑 도서부 중에...
-
업뎃됏나봄
-
님드라 2 0
왕복오래달리기 몇개임? 난 70개에서 쌤이 끊음 히히ㅣ 악력 찾아보니 나 4등급인데; ㅁㅌㅊ?
-
자꾸누가내글에 8 10
조아요누름
-
재르비 4 1
재명오르비임
-
본수능때 가자 만표 66 만백 97 슈웃~
-
❤️ 4 2
건강만 좋아지면 오르비 끊는다!!
-
투표해줘 6 0
-
두잇 2 0
츄
-
밥이나먹어보까 4 2
하루 두끼는 좀 부족한거같애
-
틀린문제 대부분이 상황 추론까지는 잘 해놓고 선지 판단을 저능하게 반대로하거나 해서...
-
D-45 0 2
그런것임
-
흠...아쉽긴 한데 그래도 돌리다보니 좋아지네
-
가야 할 때가 언제인가를 분명히 알고 가는 이의 뒷모습은 얼마나 아름다운가. 4 2
하지만 아직은 갈 때가 아닙니다 여러분...
-
오르비를 하고 난 뒤부터 0 0
좆같은 천박드립을 더 잘쓰게 되었음
-
오르비 고닉이 누구냐면 3 1
-
난 고닉이 아니니까 5 0
난 뉴비지 ㅇㅇ..
-
엥? 야 내 레어주고 가야지 4 0
아니 저.. 허..
-
출제 의도가 무엇이었을까요? 확대축소, 자취방정식.. 진짜 너무 좋은 풀이가 많지만...
-
ㅈ빠지게 공부해서 서울대 국어국문학과 미소녀가되자 0 1
하와와..
-
Ebs문학 추천받아요 4 0
없으면 팡일이로 갈꺼같음..
-
나도 오르비 금테달고 2 0
꺼드럭대고싶다
-
나고닉이냐 9 2
내가고닉이더ㅣㄹ게..
-
게이짤레즈짤똥짤뿌려도되나요? 9 2
급합니다ㅈㅂ
-
개추 공손하게 부탁드립니다 0 0
https://orbi.kr/00077790584#c_77791026 ㅈㄱㄴ
-
오노추 2 0
Cliche 2/4 (2)원곡 : Official髭男dism - Stand By You
-
고닉되는법 6 0
오르비에 상주하면됨
-
공학수학 들으시는 분? 공대생 7 0
반수 할건데 통통이였는데 저거 공업수학? 공학수학? 미분적분학 이던데 저거 듣고...
-
술약 너무 많다 1 0
간 다시 맛갈듯
-
듣보들이 탈릅한다고 깝치네 7 6
라고 듣보가 전해달래요
-
이랗게옵창짓하는것도 곧끝나겟지 10 3
탈릅은아니고 시험공부랑 수행 해야 하는 것임 ㅠㅠ 좆빠지게해야설대갈듯... 연고도...
-
다시 돌아올거같으니까
-
오르비 고닉 3 0
어케됨? 글 많이 쓰면됨?
-
어 딜도 망가 2 1
오르비에남아라
-
누워서 쿠키런해서 그럼 0 0
흐엥....
-
지림 0 0
https://youtu.be/bzPxdHmMW3s?si=UHFMVbt5Lum4zVBY 캬
-
심심한님의 장례식입니다 6 2
조의금은 여기로
-
아니미친팔개아픔 4 1
팔떨어져나갈거가틈어캄
-
학교위치새삼개구리네 2 1
신촌 다닐때 복에 겨워갖고 술집밖에없다한거 매우 후회중
-
주인 잃은 레어 4개의 경매가 곧 시작됩니다. 사왕진안"모든 것을 꿰뚫어 보는...
-
달로 떠날게 9 0
-
소수가 유한개임을 증명하는게 7 1
내 임무임...
-
마지막 남은 덕코 가질 사람 12 1
"심심한"이라고 댓글 적는 선착순 한 분께 드림
-
탈르비입니다 0 0
탈모오르비언...
-
ㅠㅠ가지마 ㅠㅠ *탈릅 인원 중 절반 이상은 수능 전에 돌아온다는 전설이 있다.
-
개학한지 2일차고 4월 20몇일날 중간 치는데 그때 전까지 한번 보고가야할까요 저는...
-
자지 0 0
축을 박차고 자 포효하라 그대
-
나도 그거 할거임 6 0
뭔지 맞춰보셈
-
1년동안 재밌었어 5 0
사실 나도 재릅이야 누구인지는 비밀이야
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..