기적의 논리
게시글 주소: 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 답글 달기 신고
-
다음대통령 3
재매이햄 맞나여?
-
삼도극하고 무등비 버렸었는데 해놔야할까요?
-
캬 ~
-
진짜 정치력인지 정치질인지 아무튼 이 분야는 씹goat이라고 생각함... 우스갯소리가 아닌 ㄹㅇ로
-
참고) 3
오늘 새벽에 올린 탄핵 반대글의 좋아요수는 145개로 탄핵 찬성글의 좋아요수인...
-
서울대 의과대학 공공의대 전환을 강력히 지지합니다
-
사회적 통합은 1
영영 이뤄질 수 없는걸까요?
-
대재명
-
필기노트가 17000원인게 말이 되나 야뎁 방지 목적으로 본교재에 실전개념은 다...
-
집구석에서 벅벅 긁으며 TV 보는 “반국가세력“이라 살았다!
-
ㅈㅅ ㅅㅈㅎㄱㅇ
-
어카노
-
이원준 듣다가 갈아타려 하는데 (사유: 익히마 지문이 너무 쉬움, 글을 너무...
-
-
어 일단 증원은 3
안된다고 봐도 무방하나
-
드디어 대통령을 뽑아보는건가
-
오늘 재수생 6모신청하려고 오픈런했는데 개같이 실패해서 기차타고 2시간거리인...
-
아쉬운거지뭐 왜그랫을까
-
인원이란말 안썼다면서 쓰고.. 국힘 폭파시키려는 인페스티드 테란이 아닌지..
-
개에바잖아...
