이거 문제있음?
게시글 주소: 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를 선물하세요.
-
킬캠 왤케 쉬움? 0 1
어그로 ㅈㅅ합니다... 킬캠 시즌2 저만 안쉬워지면좋겠나요? 비틱질아니고 킬캠 시1...
-
먀먐먐먐먐먀먐먀먐먐먐ㅁ 4 0
레어레어레너레어레얼에러에러엘
-
더프 국어 70점 나올거같은데 1 0
언매 10 독서 10 문학 10 날릴듯 슈발...
-
아 살자하고 싶다 4 0
안아프게 살자가능하면 하고 싶어
-
7덮 국어 2 0
하씨 국어 뭐암....왜인지 모르게 어려운 느낌
-
미적 전국서바 1회 등급컷 1 0
수능보정 몇 정도 1컷으로 보시나요?
-
목표가 성한인데...
-
스블 질문 8 0
수2 지금 쎈하고 있는데 스블 수2 같이 들어도 상관없나요. 쎈 정도 수준이면 아직...
-
패스가 없어서요.. 지금 시작이고 2년전 수능때 1 받았어요
-
혼자하려니 잘안하게돼
-
오늘 제헌절이군 0 0
개헌될려나
-
ㄹㅇ
-
시대 서바 영어 질문 0 0
이번에 서바 영어 첨 다녔는데 시대컨 결제 68000원햇걸랑요 한달치 서바이벌 값이...
화면 에러뜨노
무슨 언어인가요 이건?
∃x (¬E(x)) 존재하지 않는 것이 존재한다는 건가요?
네
이게 전젠가요 아니면 결론인가요
그 문장이 모순인지에 대해서..