이거 문제있음?
게시글 주소: 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를 선물하세요.
-
얌전히공부하기 2
미적씨발새끼개새끼
-
백분위 기준 국어 76 수학 72 영어 3 사탐 합산 82 평백 77정도에...
-
엊그제 220일이였던거 같은데
-
오프라인 강의 포함해서 추천 부탁드려요
-
선착한명 2
내응디냄새맡기
-
설맞이 질문 3
이해원 시1 수1,2 다풀었고 수1은 74/90 수2는 76/90 나왔습니다....
-
대해린 삶요약 2
밥 춤 잠
-
여름방학때 수2 할건데 모고는 2~3등급입니다. 수2 시발점을 샀는데 수분감이나...
-
안녕하세요. 저는 올해 수능을 처음 보는 03년생이에요. 집안 사정이 안좋았어서...
-
다음엔 그러지 말자
-
7모 96 6모 88인데 원래 이 성적대에는 이렇게 어렵나요?? ㅠㅠ 엔티켓은 거의...
-
설마… 0
한국사까지 맵진않겠지..?
-
k가 음수가 안된다고 착각해서 k가 0456 or 0345 or 0234일 때 이런...
-
7덮 영어 답 0
좀주세요ㅜ
-
회독하는게 좋겠지?
-
7덮 영어듣기 0
14번 답 머임 ㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜ
-
오르비 안녕 3
내일 만나요
-
49임? 73 나왔는데 아
-
나 ㄹㅇ 개말았나보네
-
아님 최대한 1교시를 피하는 방안으로 가야 하나
화면 에러뜨노
무슨 언어인가요 이건?
∃x (¬E(x)) 존재하지 않는 것이 존재한다는 건가요?
네
이게 전젠가요 아니면 결론인가요
그 문장이 모순인지에 대해서..