기적의 논리
게시글 주소: 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 답글 달기 신고
-
방구방구뿡뿡뿡 16
방귀쟁이뿡뿡뿡우하하
-
검색해도 잘안나와서
-
잇올 1
여러 지점에 신청해서 하나 골라가도 되나요..?ㅌㅋㅋ
-
50분 남았네 1
도키도키
-
바뀌면 중섭이냐 일섭이냐
-
과장 조금 보태서 "과학/기술 지문 때문에 " 국어 1등급 못받는 사람임. 중학교때...
-
무효되냐
-
음냐링 3
30분만 더 잠
-
-
시발 2
-
얼버기 2
오늘도 독재를 가는구나
-
최근 수능국어 시험들 난이도 나열해보면 21 - 적절함 22 - 씨발 23 -...
-
-
어 2
36분이라니 지고쿠 지고쿠
-
젭알
-
-
재수생이라 현역때 기출 3번 정도 봤었음 지금 너기출로 이미 1회독 한 상태임...
-
어르버르기 3
-
필의패하고 증원 다 폐지인가요
-
고양이가 귀엽다
