기적의 논리
게시글 주소: 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 답글 달기 신고
-
탄핵소추 자체는 적법
-
정치 그런 거 몰라서
-
베짱이가되. 13
으으으윽
-
ㅈㄱㄴ 어떻게 될 가능성이 높음?
-
그만할 때 됐잖아
-
바로 황소 비롯햔 초등의대반 폭격 이틈에 조지자ㅡ
-
미친사람처럼 보일까봐 겨우 웃참함
-
캬캬 넌 뒤졌으
-
윤석열 탄핵될 만한데 앞으로 여소야대 형국이면 걍 나라 ㅈ댄다고 보면 됨ㅇㅇ 근데...
-
한지 킬러 1
한지도 지구 고지자기, 광도 표 계산 같은특정 킬러단원이 있나여 공부하다보니 오히려...
-
https://orbi.kr/00072695100 평가하도록, 멍청하다느니 욕은...
-
무의식적 백지복습
-
당대표 윤석열 (옥중) 당대표 직무대행 김건희 사무총장 전한길
-
러셀 vs 잇올 잇올도 급식 신청 가능한가요?
-
하나둘씩 풀리니깐 기쁘다... 예전엔 손도 못 댔을텐데 오늘 210630 40분...
-
정상모t 2
수학 2등급 목표로 하고있습니다. 쉬운 4점까지는 다 맞아요.. 정상모 선생님...
-
고려대 멘토링 팀 Hitch-up이 3모 이후 멘토링 해드립니다! 0
안녕하세요, 저희는 전원 고려대학교 재학생으로 구성된 교육봉사 소모임 Hitch-...
-
