제 가설 쉽게 해설한 버전
게시글 주소: 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
드디어
-
나 수능만 치고 뽑자
-
[속보] 헌재, 여인형·홍장원 '정치인 체포 목적' 사실로 인정 1
헌재, 여인형·홍장원 '정치인 체포 목적' 사실로 인정
-
-
여기서 탄핵 옹호한 사람들 cia에 신고 한 번씩만 부탁드립니다. 다 빨갱이들입니다.
-
25만원 언제줌 1
-
[속보] 헌재 "국회의원 불체포 특권 침해"
-
굴다리로.
-
ㅋㅋㅋㅋㅋ
-
ㅋㅋㅋㅋ
-
-
진짜 그러겠냐고 ㅋㅋㅋ
-
정당활동 자유도 침해
-
ㅇㅇ
-
거의 끝난거같은데요
-
학교 다니면서 무휴학/휴학으로 수능 매년 봤구요 매년 볼 떄마다 학교 생활과 수능...
-
공과계열 말고 인문계열 학과도 의대증원으로 인한 변화가 있을까요? ㄴ 문과는 늘...
-
인용 확정 1
만장일치 각
-
21수능 시즌2니까 추론형선지 꽤 빡세게 나올듯
-
탄핵 개삘인데 1
ㄷㄷㄷㄷ
