이거 문제있음?
게시글 주소: 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를 선물하세요.
-
-
7덮 생윤 사문 1
47 47 보정 1 1 뜨겟죠? 수학미적76 보정 백분위 92정도는되려나?
-
얘만 2 뜨면 11221각인데
-
사랑합니다
-
메가 1타강사 곧 큰거 터집니다..ㅎㅎ 입이 근질근질하네요 18
하..ㅎㅎ..진짜 어그로아니라 어카죠..이걸 ㅋㅋ지금 심장뛰어요 흥분됫슴니다
-
진화=목적없음, 창조=목적있음 따라서 진화가 아니면 창조고, 창조가 아니면 진화임...
-
내가 사기경~마 1등먹는다
-
안녕하세요 08이고 내신은 4점대였다가 정시파이터로 바꿔서 6점대까지 떨어졌습니다....
-
더프 화작 87 0
작수 3컷 ㅋㅋ..받았고요 수능 공부 하나도 안하면서 대학 다니다가 한달전에 재종...
-
이분돌아가셧습니다
-
본인 7덮 0
70인데 수능때 2 가능할까요?
-
김독자가 유중혁보다 피지컬 좋고 잘생김 ㅋㅋㅋ
-
7덮 국어 0
평가원 90후반인데 7덮이 70중반인거 ㄱㄴ?
-
현재 상황 1. 현재 탐구 동아시아사만 공부함 (동사+세사 할려다가 세사 개념도...
-
등원 2
오늘도 ㅎㅇㅌ입니다
-
언매 확통 생윤 윤사 순으로 87 88 44 44입니다!
화면 에러뜨노
무슨 언어인가요 이건?
∃x (¬E(x)) 존재하지 않는 것이 존재한다는 건가요?
네
이게 전젠가요 아니면 결론인가요
그 문장이 모순인지에 대해서..