이거 문제있음?
게시글 주소: https://orbi.kr/00073840182
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".
Since the negation of ∀x (E(x)) is a contradiction,
then ∀x (E(x)) is a tautology,
and therefore ∀x (E(x)) is true regardless of the domain of x.
Absolutely anything exists
예전에 썼던건데 지금보니까 신기함
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
아침에 무슨 과목? 4 0
걍 모고 푸는 순서대로 국어 수학 일케 하는데 국어가 아침에 하니까 잘 안 풀리는거...
-
상의 스트라이프 니트에 갈색 무스탕 하의 청라이트바지에 더비 캐주얼하고 안꾸민거같고...
-
하루만 기다리면 수능이에요! 4 3
왜냐면 이제부터...
-
가정이 무너지고 0 0
미적이 무너지고
-
담요단마냥 사문만잘봣노 국어수학 보정2안될가 ㅋㅋ 독서6개틀렷어
-
국어황분들 체급 오른느낌 들면 실력 많이 오른건가요 2 2
글읽는 피지컬 자체가 좀 는 느낌이 들면 유의미한 성적상승과 직결되나요?최근...
-
차단 +50000 2 0
aura+ 50000000해골해골해골
-
미적 뉴런 도형 하는데 5 0
ㅅㅂ 걍 수1으로 도형 구하는게 더 크잖아 미적이 아니라 수1 공부하는 느낌이네
-
킬캠 기준 5 0
15, 22, 28, 30을 거의 맨날 틀리는데 120일 안에 여기서 더 올라갈 수...
-
이상하다 0 0
독서 한지문 반타작하고 수학 찍맞 2개 하고 영어는 ㅅㅂ 내가 85라고? 물리 4,...
-
그거 먹구싶다 7 4
엄마가 끓여준 맛있는 삼양라면
-
약사의 혼잣말 봐야지 4 0
언제 2기 나왔대
-
일단 내가 한참 안보이면 뒤졌거나 실종된거임
화면 에러뜨노
무슨 언어인가요 이건?
∃x (¬E(x)) 존재하지 않는 것이 존재한다는 건가요?
네
이게 전젠가요 아니면 결론인가요
그 문장이 모순인지에 대해서..