나보다 더 개소리를 정성스럽게 하는사람이 있을까?
게시글 주소: 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를 선물하세요.
-
휴식없이 걸어봐야겠다
-
왜냐면 이제부터 기다림이 24시간이 넘을 때마다대가리를 존나 쎄게 쳐서 제 머릿속을...
-
다들 생지가 더 쉽다하는데 거긴 신유형 도배 아님? 물리는 그냥 유형이 거기서...
-
배터리 개에반데 요금제는 바꿀듯 한달 700메가는 에바야
-
9모 D-200 3
-
메모 2
내일까지 어삼쉬사 짝기출 10문제 끝내기 (드디어 공통 어삼쉬사 끝) 일요일은...
-
배송중이라면서 1
왜조회하면아무것도안나오니
-
그럼 죽어야하는데
-
어디감?
-
하누구렁결혼해야하지..
-
여기저기 빵 나는거보고 느낌
-
ㄹㅇㅋㅋㅋㅋㅋㅋㅋ
-
대체어딜갈려고
-
맞팔구 4
-
숫자 9 이렇게 적음
-
난 코인 탄다 1
새로고침만 무한으로 누른다
-
정법해 ㄹㅇ 재미도 있고 감탄도 나옴
-
-
ㅇㅈ?
-
흑흑 5
단톡방에서 약간 실수함 이해를 잘못해서 딴소리해버렷어요
알고있음..
개소리 아님