제 가설 쉽게 해설한 버전
게시글 주소: https://orbi.kr/00072697000
R(x) : x가 현실에 존재한다
E(x) : x가 존재한다
1. ∀x (¬R(x) → E(x)) (현실에 존재하지 않는 모든것은 존재한다)
1의 부정형은
2. ∃x (¬R(x) ∧ ¬E(x)) (현실에 존재하지 않고 존재하지도 않는것이 존재한다)
2는 모순 (왜냐하면 "존재하지도 않는것이 존재한다" 이므로)
따라서 1이 참
결론
∀x (¬R(x) → E(x)) (현실에 존재하지않는 모든것은 존재한다)
---------------------------------------------------------------------
M(x) : x가 마음속에 존재한다
1. ∀x (¬R(x) → M(x)) ( 현실에 존재하지 않는 모든것이 마음속에 존재한다)
1의 대우명제는
2. ∀x (¬M(x) → R(x)) ( 마음속에 존재하지 않는 모든것은 현실에 존재한다)
2는 거짓(왜냐하면 치즈달을 상상한적 없다고 해서 치즈달이 존재하는게 아니기때문)
1의 부정형이 참
1의 부정형은
3. ∃x (¬R(x) ∧ ¬M(x)) ( 현실에도 없고 마음속에도 없는것이 존재한다)
결론
∃x (¬R(x) ∧ ¬M(x)) ( 현실에도 없고 마음속에도 없는것이 존재한다)
------------------------------------------------------------------
1. ∀x (E(x)) (모든것이 존재한다)
1의 부정형은
2. ∃x (¬E(x)) ( 존재하지 않는것이 존재한다)
2는 모순 (왜냐하면 존재하지 않는것이 존재한다고해서)
따라서 1이 참
결론
∀x (E(x)) ( 모든것이 존재한다)
∀x (E(x)) 와 ¬∃x (¬E(x))는 동치
¬∃x (¬E(x))의 뜻은 (존재하지 않는것이 존재하지 않는다)
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
좋아요 1 답글 달기 신고
-
-
진짜 그러겠냐고 ㅋㅋㅋ
-
정당활동 자유도 침해
-
ㅇㅇ
-
거의 끝난거같은데요
-
학교 다니면서 무휴학/휴학으로 수능 매년 봤구요 매년 볼 떄마다 학교 생활과 수능...
-
공과계열 말고 인문계열 학과도 의대증원으로 인한 변화가 있을까요? ㄴ 문과는 늘...
-
인용 확정 1
만장일치 각
-
21수능 시즌2니까 추론형선지 꽤 빡세게 나올듯
-
굿 다이노 1
미리 설레발...되냐?
-
탄핵 개삘인데 1
ㄷㄷㄷㄷ
-
정치 그런 건 모르겠고 대학 라인 밀린다는 거임?
-
나 넘 피곤해 1
피부과가야되는데ㅠ
-
ㅇㅅㅇ
-
ㅠㅠㅠ 빨리 끝나라 못참게ㅛ다
-
개 떨린다
-
네
-
드가자 1
렛츠고
-
결과 어케되려나 1
궁금하네......
-
빨리 결과 나와라...
