나보다 더 개소리를 정성스럽게 하는사람이 있을까?
게시글 주소: 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를 선물하세요.
-
난 코인 탄다 1
새로고침만 무한으로 누른다
-
정법해 ㄹㅇ 재미도 있고 감탄도 나옴
-
-
ㅇㅈ?
-
흑흑 5
단톡방에서 약간 실수함 이해를 잘못해서 딴소리해버렷어요
-
어디로 가야할까요?? 아빠가 성대를 갔으면 하는것 같아요
-
아이돌치고가아니라 걍웬만한유튜버씹어먹음
-
프리랜서로 돈 좀 벌어보려다가 아무래도 망해가는 중인 거 같음... 뭐 대책이 아예...
-
진짜 명곡 추천 4
릴러말즈-gone
-
지금이시즌엔 아무리 빨리돌아도 17명뽑으면 68명이 최대아닌가 그러면 나머지 몇백번은 다 전추에요?
-
헉
-
공부 다 하고 매일 30분 런닝에 4-50분 웨이트
-
야 코 걔 맞음ㅋㅋ 시청자좀 차면 시작한댕 tiktok.com/live/soeun
-
후자 간다면 cpa 준비할 생각이에요
-
와 이게 LCK 수준?
-
엄
-
과탐할까사탐할까 3
수탐만 올리면 되는데 지구사문할지 생지할지 고민됨 약대가고시퍼 작수엔 생지했고 생명박긴했어
-
이리 닉네임 2
본명임
-
모솔한테 맨날 연애운 좋대
-
경북대 이과 5
님들이면 어디감?
알고있음..
개소리 아님