기적의 논리
게시글 주소: 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 답글 달기 신고
-
-
지금부터 2024헌나8 대통령 윤석열 탄핵사건에 대한 선고를 시작하겠습니다. ▣...
-
모교 가야되나 개먼데
-
이거 왜 안눌리는거야?? 하고싶어 신청
-
다 입력했는데 버튼이 안눌려요
-
이거보려고 알람까지맞춤 아 개 씨발 ㅋㅋㅋㅋㅋㅋㅋㅋ기모띠
-
내 생각에 반대하면 중국인 너 중국인 쟤 중국인 이러다가 부모가 민주당지지해도...
-
이제 누가 찢길려나...
-
탄핵 요약하면 1
윤석열 주장 죄다 엉터리다 이것도 위반이다 저것도 위반이다 요것도 위반이다 심지어...
-
오르비에 이런 개소리 보는 것도 모자라서 좋아요까지 많이 받는 거 보고 진짜...
-
-
과외 준비하고 술 마시러 가야지
-
수능 기조는 애초에 당해에 개입해서 손대는거 자체가 비상식적인 짓입니다. 그 놀라운...
-
무등비랑 삼도극은 같은 유형으로 계속 출제되어오던 ‘고인 문제’라는 판정을 받고...
-
해리스가 될거라고/탄핵 기각될거라고 열심히 희망회로 굴려서 반반드립 쳤지만 현실은...
-
사탐도 받아주고 ㅇㅇ
-
하면 이재명은 의사카르텔척결+의료정상화로 홍보 ㄱㄴ한데
-
일류는 말로 안해도 알아듣게 한다 다들 뭐해야할지 알겠지?
-
다른건 모르겠고 1
언노운 화요비 oila 행복하게만살고싶다 반응 궁금하면 개추 ㅋㅋㅋㅋㅋㅋㅋㅋ
-
없는건가요???
