이거 문제있음?
게시글 주소: 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
오늘도 수고하셧습니다 ㅎㅎ
-
으아아
-
현 고2인데 1학년 1.6, 2학년 1학기 2.2로 ㅈ박아서 지금 정시로 틀까 약간...
-
열심히해도 맨날 실모 풀면 4페이지에서 2문제는 항상 시간부족함. 걍 다 푸는애들은 지능이 높은건가
-
공대가 미래인듯 5
서강대 기계공학과 20학번이였는데 지금 보면 그냥 서강대 기계에 남아서 석사 정도...
-
님들아 5
약대 4-1끝났는데 학점 3.45거든? 이거 로스쿨 갈 수 있냐
-
지방인이여서 배달받아서 치는데 곡소리가 다들 엄청나네요
-
덕코 자동 사냥 개꿀
-
내일 더프라 일찍 왔어용
-
고대 어문 1
93 93 1 96 96 고대 영문 될까요? 화학영쌍지
-
궁금
-
8:00~14:50 자습&칼퇴 ㄹㅇ 내신 ㅈ같다고 욕한거 다 용서되네
-
좋아하는 사람은 뉴런보다 좋다고하고 싫어하는 사람은 쓰레기라고함 어떤 의대생들은...
-
미적 곧있으면 끝날거 같은데 그다음에 지인선 할만한가요 6모 29 30틀 92점입니다
-
체력을 고려하면 0
에너지드링크보다는 녹차가 낫겠져?
-
6모 생1 42점 백분위랑 표점이 어케 되나유
-
언제나옴
-
노베 삼반수생 현재 쌍윤이고 윤리 좋아해서 하는데... 이해되는것과 재미있는거...
-
이감 파이널 1
6모 93점 7모 94점 나왔는데 이감 파이널 1회차보니까 85점이 나왔네요.....
화면 에러뜨노
무슨 언어인가요 이건?
∃x (¬E(x)) 존재하지 않는 것이 존재한다는 건가요?
네
이게 전젠가요 아니면 결론인가요
그 문장이 모순인지에 대해서..