나보다 더 개소리를 정성스럽게 하는사람이 있을까?
게시글 주소: 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를 선물하세요.
-
커뮤에서 종종 들어본거같긴한데
-
이기는 법을 까먹음 10
게임 ㅈ같다 진짜
-
아는 선배가 23수능 샤프 줌 개꿀 ㅋㅋㅋㅋ
-
방학이니깐~~
-
협지횽이야
-
열심히 안 해서 망한 사람들도 많지만 열심히 했는데도 망한 애들도 있음 몇 번 더...
-
-
글 리젠도 적고 학교당 기본 3-4000명씩 지원하던데.. 아무리 겹치더라도...
-
독학하기 좋은거 추천해주실분ㅜㅜ
-
1. 하나의 신경망에 주기적으로 돌연변이를 가한다 2. 그러면 그 신경망에 랜덤한...
-
초보자는절대 0
구름빌드를쓰지마세여
-
기숙인데 와이파이 다막았으면서 오르비는 되더라구요,,? 오늘 샀는데 책 값관련해서 궁금한게 있어서요
-
김민경샘 이투스 3
이투스 누가 영입했는지 잘 한거 같음 . 여기서 볼 줄이야~~
-
설자전생각보다 낮은듯 16
경제만점 72 사문47 67 수학 미적92 134 국어 89(현재) 129 설대식...
알고있음..
개소리 아님