이거 문제있음?
게시글 주소: 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를 선물하세요.
-
학교가고 싶다 5
학교를 가야 생활패턴이 잡히면서 공부가 됨
-
野鶴淸晨出 山精白日莊[山精은 如人ᄒᆞ니 一足이오 長이 三四尺이니...
-
-
높은학교 문과랑 낮은학교 공대랑 고민들을 꽤 하시는데 3
원래는 둘다 괜찮다, 높공기준으로 4:6정도로 후자가 좀더 낫지 않나 생각했었는데...
-
ㅈㄱㄴ입니다
-
모르겠네
-
이왜진
-
시발점 워크북 1
시발점 워크북 어렵다는데 기출 한번 돌리고 들어가야함?
-
난 지뢰계임 4
사실지뢰임
-
백분위 언매 85 확통 96 영어1 생윤100 윤사 96임요 윤사 수학 올릴수...
-
흡연자는 죽으라는 거냐 술값도 같이 올려라 그러면
-
의식의 흐름대로 2
예전으로 돌아가고 싶었다. 진심으로.. 예전엔 없었지만 지금은 있는 것들을 다...
-
2026학년도 수능 수학 대비 녹색지대 모의고사 배포(공통+확/미/기) 24
시간이 나서 2년만에 모의고사를 만들어 배포합니다. 모든 수험생의 건투를 빕니다....
-
상평때 저러면 인문계는 나머지가 다 만점나와도 살리는 거 거의 불가했던... 그런...
화면 에러뜨노
무슨 언어인가요 이건?
∃x (¬E(x)) 존재하지 않는 것이 존재한다는 건가요?
네
이게 전젠가요 아니면 결론인가요
그 문장이 모순인지에 대해서..