나보다 더 개소리를 정성스럽게 하는사람이 있을까?
게시글 주소: 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를 선물하세요.
-
뇨뇨뇽
-
-
본가는 대전이고 통학 가능합니다. 인하대를 간다면 기숙사를 갈 생각입니다. 충남대를...
-
얘 멘탈 괜찮나 좀 걱정되네
-
https://orbi.kr/00032454447...
-
대학선택 5
연세대 천문우주 Vs 중앙대 전전(4년 반액장학금) 나중생각하면 아무리봐도 후자인데...
-
ㅈㄱㄴ
-
경희 국제학과 4
인식이나 아웃풋 어떤가요? 지거국 경영에서 옮기는데 가치 있을까요? 고자전 고경...
-
생각해보니 쓸일도 없고 기름값도 아깝고 면허따기도 귀찮아서 그냥 안받음
-
-
박력잇게 12
벽치기 후 콤보 연계
-
미모공 예비37번 받았네요.. 상향으로 쓴거라 예상은 했는데 저까지 추합이 돌까요? 47명 뽑습니다
-
원래 예비 14번이었고 방금 5번 됨 작년에 예비 9명 돌았음 이거 잘 하면 될 수도 있으려나 ㅈㅂ
-
댓글이나 쪽지좀 ㅠㅠ 서울대 설대 체교 체육 체대
-
많나요 ?? 아니면 인강으로 올리는 비율이 많을까요 ..
알고있음..
개소리 아님