기적의 논리
게시글 주소: 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 답글 달기 신고
-
드가자 1
렛츠고
-
허접 늦기잇♡
-
결과 어케되려나 1
궁금하네......
-
빨리 결과 나와라...
-
모교는 죽어도 가기싫고 그나마 가까운게 잇올이라 목숨걸었는데 사탐 2개했다가 안...
-
학교가면 친구도 있을거 아니야 이 기만쟁이들
-
심심해 2
버둥버둥
-
많음?
-
D-15분 1
-
아 심화학습이라고 ㅋㅋ
-
국어 풀다가 갑자기 생각든건데 죄수의 딜레마에서 나는 무조건 그냥 자수하는게...
-
지금부터일까요……?
-
도널드 트럼프 미국 대통령이 3일(현지시간) 반도체 분야 관세 도입에 대해 "아주...
-
검색해도 잘안나와서
-
잇올 1
여러 지점에 신청해서 하나 골라가도 되나요..?ㅌㅋㅋ
-
50분 남았네 1
도키도키
-
바뀌면 중섭이냐 일섭이냐
-
과장 조금 보태서 "과학/기술 지문 때문에 " 국어 1등급 못받는 사람임. 중학교때...
-
무효되냐
-
