기적의 논리
게시글 주소: 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 답글 달기 신고
-
여자친구랑 삼겹살 5인 분에 소주 2병이었음 근데 성인 되어서 소주를 먹어보니...
-
소중국으로 밀고가자 나 친미파이긴한데 끝까지다면 인구땜에 중국이 이길뜻
-
이번 3모 문학 1틀에 독서에서 지문당 하나씩 나갔는데 이원준t 브크 이제 들어도...
-
박선우t 랑 정수민t 두 분 차이점 좀 비교해주실 분.... 거의 다 까먹은...
-
멋부린건 아니고 꾸안꾸아님? 뭐에 가까움…?
-
요새는 미적 28번이 30번보다 어려운거 같은... 2
비주얼만 봐도...기분탓인가
-
나도 중구 한가운데 오피스에서 근무하고 싶다
-
추천 부탁드립니다
-
하 맥주 개땡김 2
우짬,,,
-
하루가 넘무 부족해 어케 하루에 4과목을 다함
-
ㅅㅂ 뭔 20분컷 8/8 ㅇㅈㄹ나는데 원래 이정도 난이돈가... 서킷 같은 게...
-
피파(FIFA) 6
에스파(aespa) 엌ㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
이젠 올비는 잘 안오시나봐요!!!
-
2점짜리도 못 품
-
생명 근수축 4
그냥 A대 1.6으로 두고 감으로 슥슥 X대 ㄱㄴㄷ 맞춰서 풀고 A대 1.6 아니다...
-
햄 아이폰으로 바꿀까? 11
지금은 S23울트라쁠라스 쓰는중
-
라는 제목으로 라방키면 얼마 버나요
-
화1은 가오가 아니라 객기다
-
예를 들어 자연상수가 변화율이 자기 자신으로 맞춰진 인위적인 값이라는걸 알았을때나...
