이거 문제있음?
게시글 주소: 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를 선물하세요.
-
옛날 옛적 오르비는 경기가 열리면 토토마냥 덕코를 걸고 덕코를 따먹는 이벤트가...
-
하ㅡㅜㅜ안돼ㅜㅜㅜㅜ제발
-
사실 제 정체는 6
언어와 미분이었습니다
-
진짜 그대로 공부 하시는건 아니겠죠?
-
평가 진짜 잘해드릴자신 있는데 객관적으로
-
분발해야지 서울대가서 관정도서관에서 같이 시험공부하기 안양천꽃보러가기 도쿄가기 손잡기 …
-
알바일 기한이 내일 자정까진줄 알았는데 내일 오전까지였어 5
내 세상이 무너졌다 밤 새야겠노
-
수학 숙제 다함 2
이제 뭐함
-
공부 못하긴 하는데 하루 공부 시간 8시간만 되어도 충분하다고 보는데 인정하심? 4
10시간 넘고 그러면 냉정하게 집중됨?
-
오르비에 올라오는 대부분의 노베질문글이랑 완전똑같은데 답변 시원하네 53분부터보면됨
-
초딩들이 편나누고 역할놀이하는거 같음
-
이게 연세다. 5
Yonsei joy go
-
뭐에요? ㅋㅋ 뭔 상황임
화면 에러뜨노
무슨 언어인가요 이건?
∃x (¬E(x)) 존재하지 않는 것이 존재한다는 건가요?
네
이게 전젠가요 아니면 결론인가요
그 문장이 모순인지에 대해서..