기적의 논리
게시글 주소: 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 답글 달기 신고
-
안녕하세요 독학재수하고 있는 재수생입니다 ㅠㅠ 사탐런 세지사문 사탐공대 가고싶은데...
-
설공 설의 버닝 이벤트 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
-
버리고 92맞음
-
걍 이재명 싫어하는거였네
-
일단 지금은 이재명 파이팅 하면 되는거임?
-
첫 투표를 대선으로...우와
-
정시확대 시켜주신분 의대정책 안하셨던분 킬러배제 안하셨던 분... 그저 goat 뒤늦게 깨달았습니다
-
김범준 선생님 왜 확통은 없고 미적만 있어요? 혹시 확통 없어서 범바오?라고...
-
의대 해결방법 2
그냥 복귀하든 말든 수능 못치게 막고 다 쫓아내면 안되나..
-
-
철수햄 가보자 ㄹㅇ
-
다음대통령 3
재매이햄 맞나여?
-
삼도극하고 무등비 버렸었는데 해놔야할까요?
-
캬 ~
-
진짜 정치력인지 정치질인지 아무튼 이 분야는 씹goat이라고 생각함... 우스갯소리가 아닌 ㄹㅇ로
-
참고) 3
오늘 새벽에 올린 탄핵 반대글의 좋아요수는 145개로 탄핵 찬성글의 좋아요수인...
-
서울대 의과대학 공공의대 전환을 강력히 지지합니다
-
사회적 통합은 1
영영 이뤄질 수 없는걸까요?
-
필기노트가 17000원인게 말이 되나 야뎁 방지 목적으로 본교재에 실전개념은 다...
