나보다 더 개소리를 정성스럽게 하는사람이 있을까?
게시글 주소: https://orbi.kr/00071953261
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번을 연결하면
10. (A가 공리)->(A가 거짓)
(A가 공리) and (A가 거짓)이라고 할때,
"A->(모든명제)"=참 이므로
모든명제는 A를 이용해 증명이 되었음
즉, (모든명제)는 증명있음
8번을 연결시키면
((모든명제)가 증명있음)<->((모든명제)가 참)
물론 있겠지..
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
두번째 기상 8
아십..
-
쉽지않네
-
진짜 내일 못일어날듯.. 머리가 반으로 쪼개질거가타ㅠㅠ
-
잃은거-친구, 건강, 취미 얻은거-학벌
-
걍월례때만올게요 4
ㅈ같은감종존파시켜서 ㅈㅅ함 모두들 행복하세요
-
부모님이 강대강사라는 친구가 문이과통합입결상 대충 저렇다고 주장하는데 팩트인가요?
-
꽃꽂이하느라 죽는줄알앗슴
-
놀랍게도 아무도 접지 않았다
-
진짜 즐거웠습니다... 잘 다녔습니다
-
보고계신가요
-
24수능 현역때 외대 갔는데 본인 건대 미컴, 경희대 영여통번역도 붙었는데 차이가...
-
짠걸 아침에. 많이 먹으면 안댄다
-
저 사람은 커뮤하면 안 될 듯 말을 해줘도 뭐가 문젠지 이해를 못하네..
-
후
-
제 전닉 3
기가채드입니다 모르시는 분들 간혹 보여서 당황
-
심리가 궁금하구나 결핍 때문인가 심리학 논문에 이런거 없나
-
만점 백분위가 세 자리가 아니라는 것부터 선택하면 능지이슈임 절 대 물 원 해
-
아웅 등록완. 3
근데 에타를 지금 깔 필요는 없겠죠 아닌가...?
-
진짜 모름excited state임
-
아니 나 현역 때 중간에 폭파 돼서 난민 됐었는데,, 물갈이 되니까 결국 돌아오는구나
알고있음..
개소리 아님