이거 문제있음?
게시글 주소: 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를 선물하세요.
-
올해 2학기 하고 휴학하고 군입대하려는데 그러면 늦어도 내년 3월까지 가야되는거죠?
-
이게 무슨..! 8
비 시러여...
-
수학 김윤재t 들어보세요 진짜 오늘 처음 들었는데 너무 좋은듯.. 처음에 강의...
-
먼가 안 좋은 시기에 들어온거 같기도
-
노래방 갈까 5
라방 킬까
-
퇴원하련다
-
24수능은 걍 국수영 킬러밭 아니냐
-
ㅈ목은 심평ㅋㅋㅋㅋㅋ
-
틀딱들이 피는 이유가 있었노 흡
-
갑ㄷ자기 마려운데;;
-
기하 실전개념 12
뉴런 VS 프로메테우스 현재 병호쌤 토탈리콜 현강듣는중이긴 함
-
15번이나 22번이나 미적 28 29 30 모음집 이런거
-
수2 자작 2
옛날 유형의 간단한 함수 추론 문제입니다. 오류 알려주시면 감사하겠습니다
-
요즘 왜이러지 사람이 상태가
-
화면 에러뜨노
무슨 언어인가요 이건?
∃x (¬E(x)) 존재하지 않는 것이 존재한다는 건가요?
네
이게 전젠가요 아니면 결론인가요
그 문장이 모순인지에 대해서..