나보다 더 개소리를 정성스럽게 하는사람이 있을까?
게시글 주소: 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
만점받아서 1등으로 입학할거야
-
본인 연애보다 4
금테 다는게 더 빠를듯요...ㅠ
-
미기확 작년정도의 수준으로 출제된다는 가정하에 미적 허수들이 떠나면 미적 표점은...
-
동선이 개꼬이네 몰라! 일단 가!!
-
이나경 2
-
이투스 정승제들으려고 해서 개때잡을 구매하였는데 아는 지인이 한완수 2025를...
-
순서대로 보시면 댑니다 1. 수강후기에 이*건이라는 사람이 김범준 속마음 분석...
-
앓아누움 7
38도 넘었으
-
안녕하세요 Greenlime입니다 저번에 제가 작성한 칼럼 어드밴스드 로피탈 실전...
-
수2 적분 문제 4
1. 188 2. 191 3. 194 4. 197 5. 200
-
삭제해라! 삭제해라!
-
27살에 연세대 상경 12
집안이 돈에 관련된것에 대해선 걱정할 집안은 아닌 집이긴한데 저희집안분들이 그렇게...
-
대충 연고공~약수 정도 나오지 않을까
-
내 첫글은 4
-
캬캬캬 251130 해설 ㄱㄱㄱ
-
??
알고있음..
개소리 아님