기적의 논리
게시글 주소: 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 답글 달기 신고
-
ㅅㅂ 뭔 20분컷 8/8 ㅇㅈㄹ나는데 원래 이정도 난이돈가... 서킷 같은 게...
-
피파(FIFA) 6
에스파(aespa) 엌ㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
이젠 올비는 잘 안오시나봐요!!!
-
2점짜리도 못 품
-
생명 근수축 4
그냥 A대 1.6으로 두고 감으로 슥슥 X대 ㄱㄴㄷ 맞춰서 풀고 A대 1.6 아니다...
-
햄 아이폰으로 바꿀까? 11
지금은 S23울트라쁠라스 쓰는중
-
라는 제목으로 라방키면 얼마 버나요
-
화1은 가오가 아니라 객기다
-
예를 들어 자연상수가 변화율이 자기 자신으로 맞춰진 인위적인 값이라는걸 알았을때나...
-
될까? ㅅㅂ 모의고사도 예비번호 받는 인생 개 샹
-
중1때 박근혜 탄핵당하는거 실시간으로 봤었는데 윤석열 탄핵 당하는것도 볼려나
-
무등비삼도극 드가자~
-
찬반 집회 속 긴장감 최고조…내일 0시부터 ‘갑호비상’ 2
[앵커] 현재 헌법재판소 인근은 긴장감이 최고조에 달한 상황입니다. 탄핵 찬반...
-
집가면서 윤지영 노래 듣는데 고막이 극락 가버리네 윤지영 사랑해
-
작수2등급 올해 3모 79점인데 빈칸부터 글이 하나도 안 읽히네요 ..
-
-
금아이작아!
-
밤노추 2
-
-
난 참 궁금함 2
8시에 자면 대애충 푹 자서 덜 피곤할 때 깨버리면 되는데 왜 좆도 피곤하게...
