이거 문제있음?
게시글 주소: 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를 선물하세요.
-
무물보 17
선넘질 가능 아무거나 가능
-
실모 많이 하나요 아님 n제도 푸나요
-
상담쌤이 수학 기출을 김기현쌤 기생집 하고 있는데 끝나고 마더텅 반복해서 풀라고...
-
엉엉
-
오르비야 고맙다~
-
6모 83점 7덮 79점 나왔는데 기출 계속 봐야할까요?
-
지방에서 당일치기로 대치 3연 현강 하는거 어케생각함 부산임
-
나름 재밌음 이런 쪽에 재능이 있을 줄은 몰랐는데 으흐흐
-
여름인데 시원함 0
날씨 왜 이럼
-
두분 추가모집 6 9 수능 선택과목 언화 미 과탐2개 필수 26 6모4합4 or...
-
볼게 없어요.. 판타지 좋아하고 러브물 개싫어합니다 진격거 에반게리온 프리렌...
-
기차지나간당 4
부지런행
-
사문n제 0
십지선다 건너뛰고 하려는데 옵티마부터 할까요 시대 나르샤부터 할까요 다른거...
-
-
계속 이어가다 야식으로 요아정 함 때렸습니다.
-
기다림의 미학 0
기다림의 값은 비싸다
-
공통은 실모만 해도 괜찮을거같은데...
-
인문논술고민 0
1.원래 김백현t 방학특강듣고 그이후에 정규반합류할려했는데 정규반시간이 시대...
화면 에러뜨노
무슨 언어인가요 이건?
∃x (¬E(x)) 존재하지 않는 것이 존재한다는 건가요?
네
이게 전젠가요 아니면 결론인가요
그 문장이 모순인지에 대해서..