이거 문제있음?
게시글 주소: 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를 선물하세요.
-
그냥 책에 있는 순서대로 풀면되나요 아니면 매일 주제별로 하나씩 푸는게 좋나요...
-
군필 여고생임...
-
독서 40분 문학 40분 화작 15분 이정도 쓴것 같은데 실제 시험장이면 80점도 빡쎄겠죠?
-
수2 풀이 어떰 1
맞아서 기분조아서올려봄
-
f(x)의 이계도 함수가 존재하므로 f'(x)가 미분가능해야함. 나) 조건에 의해...
-
건동홍 국숭세단 둘 라인은 수능 등급 몇 떠야하나요 화작확통사탐 기준
-
응디는더럽히면서입은깨끗하게한다는그괴리감과약간의일탈을즐기는듯한그느낌이뭔가좋음...
-
나이 먹어가니까 3
자꾸 정신이 없어져서 큰일임 자꾸 깜박깜박함
-
센츄 신청함 1
당연히 구라임
-
얌전히공부하기 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인데 원래 이 성적대에는 이렇게 어렵나요?? ㅠㅠ 엔티켓은 거의...
화면 에러뜨노
무슨 언어인가요 이건?
∃x (¬E(x)) 존재하지 않는 것이 존재한다는 건가요?
네
이게 전젠가요 아니면 결론인가요
그 문장이 모순인지에 대해서..