기적의 논리
게시글 주소: 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 답글 달기 신고
-
안녕하세요. 제 상황은 전 에 적었듯이 약 한 달 전, 회사를 퇴직하고 본격적으로...
-
-
-
저도 투표하고 싶은데 아가라 못할수도 있겠네요...
-
포카칩n제 갖고 가면 좋음 한권에 수1 수2 선택 같이 있어서 한권으로 전과목 할...
-
???:수능의 정상화 실패
-
[속보] 전군, 윤석열 전 대통령 탄핵에 '사진 철거·소각' 3
4일 국방부.
-
사문 사설 추천 2
사문 사설 모고 추천해주세요 강k 사만다 좋다는데 의견이 너무 다양해서 뭘 먼저...
-
저녁뭐먹지 1
지금부터 고민해야 저녁먹을때쯤 생각남
-
설공 설의 버닝 이벤트 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
수능보기까지 1년동안 보통 수학엔제 몇권정도 푸시는거같나요??? 1
몇권정도 푸시는거같나요???
-
-
버리고 92맞음
-
극우가 할 수 있는게 그것 밖에 없는게 절망스러울 따름
-
걍 이재명 싫어하는거였네
-
일단 지금은 이재명 파이팅 하면 되는거임?
-
그거 그냥 주말에 학교 가도 됨? 반수생이라 평일에 학교 갈 시간이 안 날 것 같은데ㅜ
-
킬러정책 배제 <- 이전 수능으로 회귀 사탐런은 죄다 머리 깨지고(1등급 50...
-
정시확대 시켜주신분 의대정책 안하셨던분 킬러배제 안하셨던 분... 그저 goat 뒤늦게 깨달았습니다
-
의대 해결방법 2
그냥 복귀하든 말든 수능 못치게 막고 다 쫓아내면 안되나..
