기적의 논리
게시글 주소: 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
생1 킬러가 몇문제인가요?
-
ㅈㄱㄴ
-
-
그 양반이 응급구조헬기 필요하다던 국종이햄 지원해준 거는 ㅈㄴ 유명한 일화임....
-
삭제후탈퇴엔딩 ㅋㅋ 지 주인마냥 질서있는 퇴진 하노 ㅋㅋㅋㅋㅋ
-
참치캔 들어가는 볶음요리 위주로 만들어 먹거든요 그냥 참치에 함유된 기름기나...
-
아직 확정이 아닌 '안' 인듯 거의 그대로 넘어가긴 할 것 같은데 혼동 방지를 위해...
-
행복하세요 3
-
경남 지역인재 됩니다 작수 사회문화 생명과학 97,96이었습니다 만약에 메디컬을...
-
꼭 수능어 킬러중에 몇몇문제가 ㅈㄴ변태스럽나온다고하길래 변태스럽게내는 문제 맞추려면...
-
표점 곱창내서 최저츙만 이득보게하면 되잖아
-
ㅜㅜ
-
-
나오면 컷 얼마정도일꺼같음?
-
나도 투표권 가질 수 있었는데…
-
기본계획 이미 하기로 발표되있는데 어떻게 막음뇨 의대증원도 막지그랬냐
-
-
우리 6모는 어케됨? 10
귀여운 우리 6모는 굥의 은총으로 연기되는거임?
-
안녕하세요 독학재수하고 있는 재수생입니다 ㅠㅠ 사탐런 세지사문 사탐공대 가고싶은데...
