기적의 논리
게시글 주소: 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 답글 달기 신고
-
확통런 0
삼반수생이여서 아직 확통개념도못했는데 해도괜찮을까요? 3모 공통은 다맞았고 미적은...
-
본인 대학교 1학년 재학중임. 수시 다 떨어지고 하향으로 5지망왔는데 그래도...
-
변시도 이제 CBT로 하는데...
-
큰일났네 3
이거 8시에 일어나서 저녁까지 못버티면 수면패턴 망해버렷
-
https://orbi.kr/00072740989/ 꽤 재밌어요
-
지브리 보정 심한듯요 25
넣어보니까 사람이 달라지네
-
메타탑승 호감도 23
결과에 승복할게요
-
남에 대한 이해가 깊고 배려심이 많은 실피에트를 보고 있자하니 예쁘면 모든게...
-
과제도 다 했다 이말이야
-
생윤은 칸트를 잘 가르치고 있다 - 수험생을 위한 칸트 정리편 6
*이 글은 필자의 뇌피셜이 난무하는 글입니다. 오늘은 교육 과정에서 멀리 뛰기...
-
나도 막차 ㅇㅈ 28
ㅂㄱㄸㅂㄱ 다들 지브리 인증할때 빈틈노리기~
-
5듭급입니다 미친개념 풀면서 쎈 풀고 다 풀면 미친기분 + 쎈 2회독 이렇게...
