기적의 논리
게시글 주소: 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학년 3.52 2학년 3.85 12 1
경기도 일반고 총 3.68이고 국영수사과로는 3.8등급인데 모의고사는 1~2등급...
-
좀 니글거리네 2 0
빵이 남았어... 야식의 부작용인가
-
힌트:가입 이전임(눈팅)
-
안녕하세요 3 2
뉴비에요
-
덕코드림 4 0
500덕씩 마감전까지
-
ㅇㅈ 3 0
에도 없다! 연세대학교 경영대학
-
덕코 기부해주실분ㅠ 5 0
좋은데 쓸거임(상금으로 사용 예정)
-
맞팔할사람 10 1
하품물범이랃
-
잇올 머야 0 0
전국 시대컨 수요조사 왔네 다같이 시험치면 좋겟다
-
ㅇㅈ메타 끝났나요? 3 0
-
Base logic 모의고사 진행중 29 7
13번까지는 수능때처럼 허무하게 쉬운 문제들로 가득함 다들 BL모 많이 관심가져주세요
-
이건뭐지ㅋㅋ 11 1
대체뭐하는분일까 문과면서생2는어째서
-
8일차 인증 5 0
7일차는 썼는데 까먹음 1주일 채웠다ㅋㅋㅋㅋ
-
우린 형제구단과 함께하기에 2 1
이기지 않은것. 그런거에요
