기적의 논리
게시글 주소: 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 답글 달기 신고
-
팔로워 한명줄음..
-
왜안키노
-
전 수험생에게 4드문해 1권씩 지원 수능특강 여백 늘리기 평가원 자체 n제 제작
-
어케생각하심
-
문과 여러분들도 성대의대 논술 챌린지 하십쇼
-
어지럽네
-
ㅠㅠ
-
시발 제발 나 대학 좀 가자
-
특히 정시파이터들은 내신 버려놨으면 1년만에 성공 못 하면 대학진학이 불투명...
-
안녕하세요. 제 상황은 전 에 적었듯이 약 한 달 전, 회사를 퇴직하고 본격적으로...
-
-
-
저도 투표하고 싶은데 아가라 못할수도 있겠네요...
-
포카칩n제 갖고 가면 좋음 한권에 수1 수2 선택 같이 있어서 한권으로 전과목 할...
-
???:수능의 정상화 실패
-
[속보] 전군, 윤석열 전 대통령 탄핵에 '사진 철거·소각' 3
4일 국방부.
-
사문 사설 추천 2
사문 사설 모고 추천해주세요 강k 사만다 좋다는데 의견이 너무 다양해서 뭘 먼저...
-
저녁뭐먹지 1
지금부터 고민해야 저녁먹을때쯤 생각남
-
설공 설의 버닝 이벤트 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
