나보다 더 개소리를 정성스럽게 하는사람이 있을까?
게시글 주소: 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를 선물하세요.
-
킬캠 난이도 어떤지 궁금해서 계정없이 눈팅했ㄴ느데 보는글마다 죄다 96점 92점...
-
-
맞팔구 4
앱으로 다 해드렷습니닷
-
오야스미 1
-
유쾌한 시비충인 것임
-
성균관대 복전 3
학점 얼마씩 들어야 인정되나요? 인문과학계열이고 경제학 복전하고 싶습니다. 복전 빡센가요..
-
왜클릭?
-
좀 친해지고 나서 그런 케이스 있음?
-
너는 잊는것이 병이라고 생각하느냐?...
-
컴 키셈
-
특정완료 말고 타지이리 선수님 생각했나? 음..
-
우울한데 자러감요
-
저런 ㅇㅈ 보면 1
성형 하고 싶음 하관 갈아버리고 싶다
-
강의 책 생각보다 좋네 키스타트에 프리퀀시면 2 떡칠 듯
-
에휴싯팔
-
썰고 다닐 자신 있는데
-
마케팅이었던 건가... 내신때 들었던 25뉴런이랑 큰차이 없어보임 미적은 좀...
-
외출외박 <<< 이거 좀 더 자유로워졌으면 좋겠음... 상근인 친구 있어서 자주...
-
-
걍 의대도 그러려니 하는데 서울대 공대 << 이새끼들은 진짜 뭔가 다름
알고있음..
개소리 아님