기적의 논리
게시글 주소: 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 답글 달기 신고
-
ㄱㄴ?
-
지층의 퇴적은 해수면 밑에서만 일어나나여?
-
X된 트위터 1
ㅈ됬다.
-
아따 동네 고기집 매출 올려주러 가보자잉
-
-
어차피 다 맞을거 아님? 그렇잖아
-
재수생이고 여태까지 공부를 한 번도 해본적이 없어 작수 수학은 원점수 60으로...
-
이런거 나올법한데
-
가끔 어빠이럼 엨ㄱㅋㅋㄱㅌㅋㅋ
-
진짜 그 뜻으로 말하신거였나 다들 수학만 말하는데 국어는 어캄???? 작년이랑 비슷할려나
-
프린터였네
-
명분이 이렇게 좋은데 롤빽 절대 못시킨다 20 21 23수능급 킬러정도는 나올수 있게 풀릴지도
-
점수가 늘음 실력이 늘었는지는 모르겠는데 실제로 찍히는 점수는 많이 늘었음요 별로인...
-
마치 이반데소비치의 하루를 읽는거 같은 텁텁함과 오만과 편견에서 할매가 남준걸...
-
난대통령이될거야 2
미래의과학자발명왕
-
수능보기까지 1년동안 보통 수학엔제 몇권정도 푸시는거같나요??? 3
몇권정도 푸시는거같나요???
-
외로우면 혼자 술을 드셈 만화책 읽으면서
-
극우가 할 수 있는게 그것 밖에 없는게 절망스러울 따름
-
그거 그냥 주말에 학교 가도 됨? 반수생이라 평일에 학교 갈 시간이 안 날 것 같은데ㅜ
-
얌전히 부모 좆같아도 공부하렴 내가 할말이 없다
