나보다 더 개소리를 정성스럽게 하는사람이 있을까?
게시글 주소: 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를 선물하세요.
-
진짜 잔다 두시다 8 0
하… 할게 넘. 많아..
-
대학 어디가야할까여 0 0
친한 지인 고민이라… 어제도 올렸었는데 오늘은 다른 고민으로 올림 ㅠㅜ 과는 컴공,...
-
이성을 대할때 성격 10 0
딱히 없는 것 같은데 친해지면 쌍욕박기!
-
헛소리 많이하는 사람 6 0
좋아하지않지않지않지않지않지않지않지않지않지않지않지않지않지않지않지않지않지않지않지않지않지않...
-
건국대 합격생을 위한 노크선배 꿀팁 [건국대 25][새내기들을 위한 사이트] 0 0
대학커뮤니티 노크에서 선발한 건국대 선배가 오르비에 있는 예비건국대학생들을 돕기...
-
❤️서강대학교 자연과학대학 새내기를 찾습니다!❤️ 0 0
❤️서강대학교 자연과학대학 (수학과, 물리학과, 화학과, 생명과학과, SCIENCE...
-
-
여자입니다
-
유리멘탈 테스트 8 0
깨닳음
-
서울대 1차추합 안됐으면 0 0
17일까지 손가락빨면서 기다려야되나요 짜피 2차는 전화아니고 통보면서 걍 15일에 해주지...
알고있음..
개소리 아님