나보다 더 개소리를 정성스럽게 하는사람이 있을까?
게시글 주소: 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를 선물하세요.
-
만점 백분위가 세 자리가 아니라는 것부터 선택하면 능지이슈임 절 대 물 원 해
-
진짜 모름excited state임
-
아니 나 현역 때 중간에 폭파 돼서 난민 됐었는데,, 물갈이 되니까 결국 돌아오는구나
-
투표ㄱㄱ
-
롤 노잼임
-
복소수에서 수 체계를 한 번 더 확장한 것이 잇다. 사원수 라고 부른다
-
재능충 특징 10
잘생겻음
-
고경호소인 4
-
비슷한질문글 5억번올리는 사람 뭐였지 그사람비슷한사람보이네
-
사탐은 기본편 실전편인데 신기
-
날 수학 5에서 지금까지 성장시킨건 사실 "안하면 ㅈ된다"가 아니라 "하기 싫음에도...
-
알바 시급 3000원 차이 나는 곳인데도 ㄹㅇ 할일이 없어서 못 견디겠음 지금 하는...
-
굿나잇하세요 3
자러갑니다 안녕히주무세요
알고있음..
개소리 아님