기적의 논리
게시글 주소: 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 답글 달기 신고
-
??
-
ㅇㅅㅇ 쫓겨났으면 이제 독서 저까지는 대비 해야됨
-
여붕이 등장 6
반겨라
-
내일졸사찍음 1
내일풀메한다 ㅇㅇ
-
점의 크기는 0 점이 무한히 모인 선분은 유한한 길이를 가진다 즉, 0 곱하기...
-
일단 나부터 ㅋㅋ
-
만장일치로 탄핵 0
오
-
계엄을 쳐했다가 실패했으면 방빼야지 ㅋㅋㅋㅋㅋㅋ
-
두두두둥... 0
파..면...
-
중경외시라인 반수생 통통이 작수 공통 4틀 낮 2 3모 방금 풀어보니 79점...
-
가 잘맞는 거 같음. .... 처음엔 했던 소리 또 하면 머리에 쥐날 거 같은데...
-
요며칠 너무 우울해서 공부 좀 덜 빡세게ㅡ햇는데 오늘 야자때 오랜만에ㅡ빡집중해서...
-
킬러 부활하나요 0
ㄷ
-
ㅆㅃ
-
이것때문에 남자든 여자든 상대방 이성 보는 눈높이가 쓸데없이 높아짐ㅠㅠ
-
한완기 교사경이랑 정병호t n제 고민중인데 뭐가 더 나을까? 지금은...
-
-
