기적의 논리
게시글 주소: https://orbi.kr/00072695100
R(x) : exists in reality
E(x) : exists
1. ∀x (¬R(x) → E(x))
The negation of 1 is
2. ∃x (¬R(x) ∧ ¬E(x))
2 is a contradiction ("∃x" vs "¬E(x)")
Therefore, 1 is true
Conclusion
∀x (¬R(x) → E(x))
---------------------------------------------------------------------
M(x) : exists in the mind
1. ∀x (¬R(x) → M(x))
The contrapositive of 1 is
2. ∀x (¬M(x) → R(x))
2 is false, therefore 1 is false
The negation of 1 is true
The negation of 1 is
3. ∃x (¬R(x) ∧ ¬M(x))
Conclusion
∃x (¬R(x) ∧ ¬M(x))
------------------------------------------------------------------
1. ∀x (E(x))
The negation of 1 is
2. ∃x (¬E(x))
2 is a contradiction ("∃x" vs "¬E(x)")
Therefore, 1 is true
Conclusion
∀x (E(x))
∀x (E(x)) and ¬∃x (¬E(x)) are equivalent.
The meaning of ¬∃x (¬E(x)) is "Something that does not exist does not exist".
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
좋아요 1 답글 달기 신고
-
지피티 지브리 ㅇㅈ) 16
흠
-
2024 수능 15번 안도라 문제는 안도라를 몰라도 풀 수 있다는 의견이...
-
다음 대통령 걍 0
김종인 뽑혀서 한국 바이든 하면 안되냐?
-
지금 수분감 수1 step1까지고다했는데 수2는 늦게 시작해서 미분 반 정도까지...
-
[수학 내신 관련] 학교별 내신 시험지 유형과 이에 따른 공부법 23
곧 중간고사 기간이 다가오기 때문에 이번에는 수학 내신 시험지의 다양한 유형을...
-
ㅜㅜ 심심띠예
-
난 왜 0
내일 승리 현강인데 갑자기 두각 앱이랑 홈페이지 둘 다 재원생이 아니라는거지 이런건...
-
내가 아는 실전개념 다 넣어서 밤세서 해설 쓸 예정 단순 해설이 아닌 개념설명까지...
-
어제 확통때메 빡쳐서 수학을 안해버린...
-
더 내려갈까..?
-
저 사실 이성애자에요… 그동은 속여서 죄송해요..
-
수학개존나잘하고싶다 12
열받아서 자러감
-
다들 잘 지내시죠? 오랜만에 들렀다 문득 그때가 생각나서 글 써봐요 저를 기억하는...
-
둘 중 뭐가 좋을까요? 그리고 기하 개념은 뭘로 잡는게 좋을까요?
