나보다 더 개소리를 정성스럽게 하는사람이 있을까?
게시글 주소: 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를 선물하세요.
-
(필독)성대 예비 어떤기준으로 끊어서 안주는듯 합니다 6
점공상 예비9등정도인데 노예비여서 의아해서 연ㄹㅏㄱ부탁드렸는데 기준이 특정점수인지...
-
-
15분거리 12분만에 도달 땀 ㅈㄴ나네 근데 화장실을 못감 40분버티기 가능한가
-
금지어 풀렸나? 3
카나메 나 면 화장해
-
주인 잃은 레어 8개의 경매가 곧 시작됩니다. 모로코"2022 카타르 월드컵에서의...
-
과기대 추합 7
2차 많이 안빠졌나요?? 3차부터 좀 빠질려나..
-
삼각함수 그래프 시발점 듣는중인데 지로함/미분보다 훨씬 어려운듯... 계속하면 낫겠죠..?
-
이대 전장받고 최초합했는데 방금 고대 추합으로 붙음.. 이대 가려고했었는데 막상...
-
상범이가 누구임 4
벤쿠버 타이탄즈 메인탱커?
-
재종+자습실은 장점이 어떤게 있을까요 관리가 더 빡센가요? 크게 차이 없나..
-
노베이스 토수생 100점 가능?
-
정답 4
평일은 매일 들어가고 주말은 최소 하루는 들감
-
롤재밌당 1
옯찐따라울었어
-
-
공부하지 않고 놀면서 즐긴다는 마인드
-
코레와 젯타이 우소쟈나이 아이싯테루 ,
-
난 절대 못할 것 같음
-
하지만 매일 즐겁기만하면 인생이 나락가는 걸.. .
알고있음..
개소리 아님