나보다 더 개소리를 정성스럽게 하는사람이 있을까?
게시글 주소: 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를 선물하세요.
-
bxtre.kr/
-
고3 수학 10
이번 3모 51점 받았습니다(4등급), 4점짜리 주로 틀리는거 같은데 시발점 워크북...
-
[소개 및 성적인증] https://orbi.kr/00071877183 [팀원...
-
이나경2 2
모 오르비언 분께서 좋아하시던 짤이었는데
-
-
모고 29번 30번 이런거 푸시는분들은 문제 보고 풀이과정 생각나는거 몇분정도...
-
요즘하는거 13
눈풀로 상황 맞추고 마지막 대입만 지피티 시키기
-
이거 답 맞나 15
https://orbi.kr/00072767952/%EC%88%982-%EC%A0%8...
-
전에 여기에 오픈카 ㅇㅈ 올리고 옆에 친구가 차주라고 했는데 분명히. 친구였는데...
-
우리학교가 좋은학교가 아니라 애들이 오르비를 안쓰나..
-
221130급은 아니지만 어렵습니다.
-
bxtre.kr/
-
존나 대충 살아야지 딱 올해만 쫌 열심히 산다
-
오르비 굿밤 3
3시 안으로 잘듯
-
문학 어려워! 3
죽 죽 죽 죽을래
-
얀데레 메나 brain
-
쌤들이 웃긴썰풀어서 웃다가도 갑자기 눈물남 너무 딴세상 얘기같음
-
너네 건강 ㄱㅊ냐 존나마니 기준 연초 하루한갑이상 연초전담 가리지않고 하루종일 물고있는사람
-
정답률 되게 낮네 10
28퍼라는데
-
급수 어려워! 4
죽을래!
-
이나경 2
-
제발..
-
https://orbi.kr/00071896787/%ED%95%AD%EC%83%81-...
-
bxtre.kr/
-
원래는 괴로움과 안언조비카이 사이의 무언가엿는데 이게 몇달 지나니까 걍...
-
현역 수능 ㅈ망-> 낮은 지거국 다니다가 반수로 인하대 입학-> 입학했을 때부터...
-
부엉이 잘가요… 0
응원했어요.. 행복하길…
-
그럼 되게 신기할 듯
-
어디에도 속하지 못하고 자꾸 겉돌기만해요 나도 친구가 만들고 싶었는데
-
ㅋㅋ 7
낼도 그냥 카페인 악깡버?
-
얼버기 4
사실 얼버잠
-
근데 난 새벽에만 깨어있다 ?
-
난병신이다 6
우히히
-
이젠진짜잔다 2
-
심각한거냐 남친이 3중대 담배1등이라는데 하루에 30개비폇다가 요즘 좀 줄엇는데...
-
잘자라 15
좀자라
-
개 찝찝하겠네. 꼭 아이스크림을 비치하도록
-
무지 5
개같다
-
기분좋게 자러갑니다. 다들 안녕히 주무시길
-
집에서 하니까 생각이 많아지고 생각이 많아지니까 공부가 안되고 공부가 안되니까...
-
버스 안에서 는 2
웹툰인디
-
-
그니까 와서 사줘
-
재밌었다 18
다시 현생으로
-
자자 13
자자
-
누나버튼 3
띵띵띵띵띵
-
다르다고 1
보고있나
-
bxtre.kr/
-
밸런스 조절을 위해 오르비를 계속 하겟습니다
-
진짜 모름
알고있음..
개소리 아님