기적의 논리
게시글 주소: https://orbi.kr/00072695100
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".
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
좋아요 1 답글 달기 신고
-
정시확대한다며미친놈아
-
ㅇㅇ
-
그러면 이성이 비이성을 다시 이길날이 올까? 일단 말을 관철시킬려면 많은 조건이...
-
우으 2
난 정치몰라..어려워
-
언제는 삼도극 프랙탈 빠져서 뭐 이상해졌다느니 그러더니 지금른 또 잘 빠젺음 ㅇㅇ 이러네
-
제목 : 과학탐구 동일과목 1,2 제한풀린거 맞나요? 2
제목 : 과학탐구 동일과목 1,2 제한풀린거 맞나요? 내용: 생1생2 선택 서울대...
-
노동가요 2
다 부를 줄 알게 되어 버렸음…
-
무조건 예약/렌더링 수준의 지문과 추론은 대비해야됨 그리고 사미인곡/유본학 지문...
-
예상했던 대로 됐네 걍
-
우리형이 서울 경찰이라 지금 비상근무 중인데 오늘 같은 날 혹시라도 몸 다칠까봐 그게 제일 걱정 됨
-
의반 줄거니까 이득이라면서 의반 모여라는 무슨 소리야 2
아니 시발 이건 테러잖아
-
엔수생들도 많잖아
-
떴다고 생각하면 개추 떨궜다고 생각해도 개추
-
들어가야하나 이미 재매이햄 확정인거 같은데
-
ㅇㅇ
-
이렇게 생각하는 몇몇 보이네 문재인 겪어보면 알겠지만 이런애들이 내란견보다 더 위험하긴함
-
+22번 수2,15번 수1 얘네 싹다 부활하면 어카노.. 29수열 고정되고나서부터...
-
발문 쓰고 그림 그리기 넘 귀찮음
-
재명이가 살리라하지 않는 한 안나오지 않을까
-
평가원 #~#
