기적의 논리
게시글 주소: 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 답글 달기 신고
-
한지 킬러 1
한지도 지구 고지자기, 광도 표 계산 같은특정 킬러단원이 있나여 공부하다보니 오히려...
-
https://orbi.kr/00072695100 평가하도록, 멍청하다느니 욕은...
-
무의식적 백지복습
-
당대표 윤석열 (옥중) 당대표 직무대행 김건희 사무총장 전한길
-
러셀 vs 잇올 잇올도 급식 신청 가능한가요?
-
하나둘씩 풀리니깐 기쁘다... 예전엔 손도 못 댔을텐데 오늘 210630 40분...
-
정상모t 2
수학 2등급 목표로 하고있습니다. 쉬운 4점까지는 다 맞아요.. 정상모 선생님...
-
고려대 멘토링 팀 Hitch-up이 3모 이후 멘토링 해드립니다! 0
안녕하세요, 저희는 전원 고려대학교 재학생으로 구성된 교육봉사 소모임 Hitch-...
-
-
저능아 ㅇㅈ 8
.
-
애미터진 전문대 1 2번 병신들 ㅋㅋㅋ 노가다나 뛰러 가라
-
환율 정상화 0
하루만에 한달치 밥값 벌어버리기
-
캬캬
-
일의 순서와 목적을 구분 못하는 거랑 같은 듯. .. 브레인크래커 1강만 봐도...
-
10월 말 컴백해서 4월 중순까지 팬싸하는 회사가 레전드이긴 한데, 그런 팬싸를 가...
-
아님말고
