기적의 논리
게시글 주소: 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 답글 달기 신고
-
삼도극 무등비 ㄱㄴㄷ합답형 수2 22번 과학 지문 경제 지문 ^과도한 추론^ 부활ㄷㄷㄷㄷㄷㄷㄷㄷㄷㄷ
-
탄핵이라고 신나서 공부 안하고 오르비하는 나...
-
샤이틀창견 형님들 왜 자꾸 애꿎은 의주빈 걸고 넘어짐?ㄷㄷㄷㄷㄷㄷㄷㄷ 2
”이재명은 암튼 부유층기득권적폐어쩌고 의새집단 싫어하니까 무조건 대통령 되면 의사...
-
수업 5분남았다 1
-
이거 기본소득 받아서 물 타야겠는데요
-
투표 언제하는겨 2
??
-
일단 제가 들은 소식은 그냥 잠잠하게 끝난거 같은데 다행입니다
-
순수 중학도형에다가 마무리만 급수 토핑 살짝 얹은거임 난 계속 29 급수 나왔으면 좋겠다
-
당연한 수순이었지 탄핵은. 일단 투표권있는 06은 개추
-
이미 준비를 끝마침. 어싸나 풀어야지
-
잘잣다 2
-
근데 윤카 탄핵을 막아서 이재명을 막는다 논리가 개웃기단거임 민주당 190석의...
-
웅!
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
올해 수능이랑 정원은 지금 교육부랑 평가원 손에 달렸음 2
내년부턴 '증원 정책을 계속 이어가느냐?'가 더이상 주제가 아니고 '추계위를 어떻게...
-
정시확대한다며미친놈아
-
ㅇㅇ
-
그러면 이성이 비이성을 다시 이길날이 올까? 일단 말을 관철시킬려면 많은 조건이...
-
우으 2
난 정치몰라..어려워
-
언제는 삼도극 프랙탈 빠져서 뭐 이상해졌다느니 그러더니 지금른 또 잘 빠젺음 ㅇㅇ 이러네
