이거 문제있음?
게시글 주소: 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를 선물하세요.
-
풀까여 마더텅 풀까여 택1점
-
작년 강k 확통 1
합본있나요 서킷도??
-
사문 세지 너무 쉬운데 컷 왜이리 낮음
-
K, Y 등등 이런거 붙어있는데 그 대학 학생이라는건가요?? 오르비 올해 첨해서 잘 몰라서여..
-
날이 덥네여 4
긴팔 입고있어서 그런가..?
-
씨발 오랜만에 독서 3점 틀렸네 치욕....
-
친구들이 국어 어케 잘하냐고 물어볼때마다 대답하기가 너무힘듬....
-
수학3등급 인서울가나요
-
23년도까지 교대 목표로 공부하다 아깝게 떨어지고 작년에 공시 준비했다가 떨어지고...
-
-
나 정신이 가출함 오늘 목욕탕갔는데 휴대폰 탈의실 사물함에 넣고가야하는걸 보관함에...
-
왜 ebs연계 내역에 없지
-
예를 들어 물1만 들으면 생2 시대컨 구매는 못함?
-
현역나이었으면 기하사탐 했음
-
뭔가 쓰면 안될거같아서 안쓰는중인데 보통 학생한테 다운받게 하나요?
-
이중차분법 현장이엇는데 이중차분법 첫번째문제 정답률 이해가 잘 안감 1
아마 걍 답이 1번이라 그런거같긴한데 1번 선지 답 나오는 과정이 추론도 아니고 걍...
-
수능 끝나면 2
같이 TRPG할 인원들 구해봐야겠다 세션 짧은걸로
-
버스 뭐지 1
남은 시간이 계속 늘어나냐 수능때 좀 그러지
-
아악 출근싫어 1
ㅠㅠㅠ
-
우흥뷱딱 3
?
화면 에러뜨노
무슨 언어인가요 이건?
∃x (¬E(x)) 존재하지 않는 것이 존재한다는 건가요?
네
이게 전젠가요 아니면 결론인가요
그 문장이 모순인지에 대해서..