이거 문제있음?
게시글 주소: 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를 선물하세요.
-
나 기억력 좋은 편인듯 4 1
영단어 외울때 빼고
-
햄최몇 인증 6 0
5개 근데 이때 혼자 야구장가서 먹은거라 김치말이국수2개에 뿌링클 1마리까지 먹음
-
쟤가 걘가? 4 0
지 현실 여사친 ㅈ같다고 인스타 아이디 오르비에 뿌린 애
-
서울에서 20대를 보낼수 있다는 것 11 3
이게 어떠한 특권인거같음 누릴수 있는 경험과 기회의 양과 질과 밀도 만날수 있는...
-
오루비 너무 어려움 2 0
으악
-
드디어 20퍼 뚫었다!! 2 2
그동안 원스타 표창장도 받고 상병 1달 조기진급도 이뤄냈군 하하
-
아 나도 연애하고싶다 7 2
다들연애중인데 나만 시발
-
하 시발
-
삼각함수 6 0
시발련
-
근데 내가 컨셉이 이래서 그렇지 나름 여르비인데 4 2
물소가 한명도 안꼬이네 우흥~
-
여르비라하면 생기는일... 24 20
그만 알아보도록 하자
-
지하철에 잡상인있노 0 0
대구에서는 한번도 못봤는데 부산1호선타니 있네
화면 에러뜨노
무슨 언어인가요 이건?
∃x (¬E(x)) 존재하지 않는 것이 존재한다는 건가요?
네
이게 전젠가요 아니면 결론인가요
그 문장이 모순인지에 대해서..