이거 문제있음?
게시글 주소: 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를 선물하세요.
-
아까 일 연장선 11
IT부서(의료부서인지 행정부서인지 IT부서인지는 모르겠으나)에서 이메일 답장이...
-
벌써 3시네 5
얼른 주무세여
-
오메가 모의고사 8
풀어 본 사람있나 메가에서 새로 나온거 같던데 풀어볼까
-
그 사람이 잘못한 거라면 재밌다고 개인적으로는 느끼는데 굳이 그렇게까지 할 짓이...
-
이따 과탐 실모 하나만 풀고 자야겟다
-
딱 이정도 난이도로 내면 납득할수있는 불수능 같음 2211 2411은 걍 너무...
-
국어: 이정수 고광수 백환 수학: 이해원(한완수) 손승연 김범준 영어: 나 탐구:...
-
뭔 사람 이름이 8
보예지냐 특이허네 고것 참..
-
모고많이풀라고 그런건가 과년도 현모라고 들었던거같은데 이거
-
부엉이 아~~ 5
-
닉변뭘로하지 7
흠
-
물2 평균으로 꽉 차있어서 쉽지 않긴 함...
-
피드백도 많이 받아보고 했는데 맘에 안드는거 투성이지만 우선 올려봄 지속적으로 만들어봐야지
-
생윤을 계속 공부하면서 느낀점 수특 수완 인강 개념서 등등 아무리 완벽하게 공부를...
-
너의 맥주는? 9
무엇인것이냐
-
아이고 시1발
-
낼 더프.. 8
긴장쓰
-
잘 준비끝 8
-
마이클 잭슨이 보는 음악의 시대를 열었던 것처럼... 4
여동생인 자넷 잭슨도 '비슷한(?)' 차원에서 새로운 시대를 본의 아니게...
-
에어팟 프로 1임
화면 에러뜨노
무슨 언어인가요 이건?
∃x (¬E(x)) 존재하지 않는 것이 존재한다는 건가요?
네
이게 전젠가요 아니면 결론인가요
그 문장이 모순인지에 대해서..