기적의 논리
게시글 주소: 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 답글 달기 신고
-
개추
-
대성패스 판매합니다 ㅠㅠ 1 1
반수할려고 했는데 포기해서 판매합니다 !! 쪽찌 주세여
-
4/3 공부기록장 7 1
퓨ㅜ
-
사실 1달은 긴건데 0 0
1달만에 실력을 엄청나게 올려봣던 경험,살려봐야게쓰
-
13,14,15,22,28,29,30을 현장에서 다 푼다고??!!??
-
정떡 4 1
우정떡치기
-
나 챗지피티 써본적 없음 2 0
지브리 어케하는거냐
-
예쁜사람이 ㅇㅈ메타 열면 4 3
그 다음에 누가 ㅇㅈ하노… 빨리 다른 사람 ㅇㅈ 해버ㅏ라
-
내일 역사적 순간 관람 투표좀 8 0
실시간으로 보면서 역사적 순간 함께하기 Vs 폰꺼뒀다가 오후 1시쯤 각종...
-
내 이미지 18 0
퇴물이란 나쁜말은 ㄴㄴ
-
옛기출 마지노선 다들 ㅇㄷ? 8 0
저는 학년도 기준 국어 17 수학 19~21 평가원만+21년 교육청 탐구 21 더...
