기적의 논리
게시글 주소: 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 답글 달기 신고
-
이재명 김문수 한동훈 이런애들 또 나가면 걍 박근혜 싫어서 문재인 문재인 싫어서...
-
나어캄..
-
진짜 체력 없는데 팝스해서 온몸이 아픔… 다른애들은 체력이 있어서 팝스해도 ㄱㅊ던데...
-
씨발 망했다 2
탄핵 보다가 시간 너무 써버렸다 하
-
이제 집간다 4
집가서 좀만 자야지
-
닉변할까요 3
파며늘한다
-
-
4등급이하 = 쎈, 어삼쉬사 3등급 = 펀더멘탈, 팔구십퍼요 2등급 = 4의규칙1,...
-
이게 구마유진이지
-
석열이가 자신은 정당하다고 결의한 장문의 편지 쓰고 승천하면 진심으로 승리 가능함
-
국민의힘 이준석 대표(사진)가 5일 윤석열 대통령의 ‘내부 총질’ 문자메시지와...
-
-
개념계몽 10조 기출계몽 10조
-
패딩입어서 너무 불편
-
다행인가...휴
-
써구려맛나고 너무 달아서 혀가 얼얼하다 이래서 불량식품 먹으면 안되는데
-
수능때 언매 2나왔는디 강사들이 언매가 화작보다 표점도 높고 문풀 시간도 단축된드고...
-
제곧내
-
융전 입결 1
25학년도 한양대 융전 입결 아시는분 있나요? 아시면 댓글좀 ㅠㅠ
-
시대인재
