나보다 더 개소리를 정성스럽게 하는사람이 있을까?
게시글 주소: 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를 선물하세요.
-
은테 이상은 옯찐따,옯아싸 금지어로 등록시켜야 함 19
ㅂㄷㅂㄷ
-
어디가 낫나요
-
습관처럼 2개씩 q걸다가 보니까 부족해서 확인해보니 주당 10개 패스 가격은 올리고...
-
걸어다닐 자리도 한계네 이제 청소하기도 싫다
-
아 싸
-
ㄹㅇ임?
-
어떻게 되고 있나요? 몇번까지 돌까요..
-
수능에 대한 지능(iq)의 영향은 어느 정도인가, 과거부터 여러 말들이 있었던것...
-
그 과 최초 불합격 인원들은 이미 답이 없는 거 아님? 빈자리가 아예 없는데
-
레어템 4가지 1
+내신의 흔적
-
분명히 아까 치킨 몇 조각 얻어먹었는데
-
경희대 2차 16
전화 오는거임? 예비 1번인데 언제 오는겨..
-
자극받고 현재보다 더 나은삶 살기
-
심심함 2
적당히 어려운 수2 문제 하나 잇나
-
ㅇㅇ
-
제발ㅠㅠ빠지실 분 있나요
-
CC 4
일반인 : 캠퍼스커플 좋네 롤대남 : 챔피언이안움직여 오르비언 : 서울대 시발아
-
지금까지 국어공부 열심히 하면서 실력이 상승했다는 것이 스스로 느껴지는 정도입니다...
알고있음..
개소리 아님