나보다 더 개소리를 정성스럽게 하는사람이 있을까?
게시글 주소: 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를 선물하세요.
-
투표ㄱㄱ
-
롤 노잼임
-
복소수에서 수 체계를 한 번 더 확장한 것이 잇다. 사원수 라고 부른다
-
재능충 특징 10
잘생겻음
-
고경호소인 4
-
노무과 변리과 회계과 감정평가과 세무과 법무과 관세과 왜 안 만들어 문과들 다 다른...
-
비슷한질문글 5억번올리는 사람 뭐였지 그사람비슷한사람보이네
-
사탐은 기본편 실전편인데 신기
-
날 수학 5에서 지금까지 성장시킨건 사실 "안하면 ㅈ된다"가 아니라 "하기 싫음에도...
-
알바 시급 3000원 차이 나는 곳인데도 ㄹㅇ 할일이 없어서 못 견디겠음 지금 하는...
-
굿나잇하세요 3
자러갑니다 안녕히주무세요
-
시야가 어둡노
-
과외샘 좀 봐줘 9
이대 의예과 (재학) / 전적대 (설대 수교과) 시급 5 이정도면 ㄱㅊ? 난 고2고 수학 받을거
-
안쓰시는 분들도 있을텐데 뭉뚱그려 말하는 건 미안합니다만...
-
반수 시작 때 제 마인드였습니다 건대는 못갔지만 동대 예비1이고 추합 대기중입니다 다들 ㅎㅇㅌ
-
15분 넘게쓰고 글은 다튕겨져나가고 눈알 50번은 굴려서 겨우풀었는데 이렇게까지...
-
노란색으로 되어있는 레어를 사면 약 20% 페이백 파란색으로 되어있는 레어를 사면...
-
어딨는데
-
피로도 내놓으라고
알고있음..
개소리 아님