나보다 더 개소리를 정성스럽게 하는사람이 있을까?
게시글 주소: 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를 선물하세요.
-
옯스타 뉴비임
-
자유의지 지문 2
언제 나왔었죠??
-
구형 세단에 와이드바디 끼우고 엔진 수동 스왑을 벅벅 대충 어림잡아 크게 한 장이면 되겠군
-
저거 다 줄 돈이면 노트북 가격 30만원은 깎겠다 그러니까 씨발 그냥 가격을...
-
어떻게 세개밖에안틀렸지 솔직히 공부 날먹으로한거같은데 지금 시험지 다시보니까...
-
-
재수하기로 맘먹은 06입니다 작수에서 과탐 말아먹고 무조건 두개 다 사탐런한다...
-
가격이 꽤 오른거같은... 전과목 다 풀긴하시죠???
-
ㅈㄱㄴ
-
맛있는건~ 2
정말 참을 수 없어어~
-
하....
-
학교 에타보는데 2
입학도 안 했는데 벌써 졸업하고싶다
-
-
ㅈㄱㄴ
-
텔그엔 있는데 표커리엔 없노
-
유빈 관리자 목하나 딸때마다 등록금 절반씩 까주는거지
-
여자 이상형이 학벌좋은 똑똑한 뇌섹남이라고해서 서울대 경제학 출신, 증권맨 등등...
-
첫 정답자 2000덕 드리겠습니다!
-
쌍수를 해야되나 2
유튜브 보니까 ㅈㄴ 이상하게 된 것도 있어서 뭔가뭔가임 근데 일단 눈이 몬쉥기긴햇어...
-
야 코 걔 맞음ㅋㅋ 시청자좀 차면 시작한댕 tiktok.com/live/soeun
알고있음..
개소리 아님