기적의 논리
게시글 주소: 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 답글 달기 신고
-
집구석에서 벅벅 긁으며 TV 보는 “반국가세력“이라 살았다!
-
ㅇ?
-
ㅈㅅ ㅅㅈㅎㄱㅇ
-
어카노
-
이원준 듣다가 갈아타려 하는데 (사유: 익히마 지문이 너무 쉬움, 글을 너무...
-
시간이 지나면서 드는 생각...
-
-
어 일단 증원은 3
안된다고 봐도 무방하나
-
드디어 대통령을 뽑아보는건가
-
오늘 재수생 6모신청하려고 오픈런했는데 개같이 실패해서 기차타고 2시간거리인...
-
아쉬운거지뭐 왜그랫을까
-
인원이란말 안썼다면서 쓰고.. 국힘 폭파시키려는 인페스티드 테란이 아닌지..
-
탄핵이라고 신나서 공부 안하고 오르비하는 나...
-
샤이틀창견 형님들 왜 자꾸 애꿎은 의주빈 걸고 넘어짐?ㄷㄷㄷㄷㄷㄷㄷㄷ 2
”이재명은 암튼 부유층기득권적폐어쩌고 의새집단 싫어하니까 무조건 대통령 되면 의사...
-
수업 5분남았다 1
-
이거 기본소득 받아서 물 타야겠는데요
-
투표 언제하는겨 2
??
-
일단 제가 들은 소식은 그냥 잠잠하게 끝난거 같은데 다행입니다
-
순수 중학도형에다가 마무리만 급수 토핑 살짝 얹은거임 난 계속 29 급수 나왔으면 좋겠다
-
당연한 수순이었지 탄핵은. 일단 투표권있는 06은 개추
