제 가설 쉽게 해설한 버전
게시글 주소: 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 답글 달기 신고
-
저능아 맞음 ㄹㅇ..
-
저는 하나의 중국과 시진핑 주석 이재명두목을 사랑합니다 2
아아 드럼통 담기면 안된다
-
팔릴거 같은데
-
점심 1
삼겹살+비빔면 개꿀맛
-
뭔 희대의 병신새끼를 싸고도는건지 이해도 안됐지만 요 근래 탄핵정국 보면 광기가...
-
ㅋㅋㅋㅋㅋㅋㅋ
-
-
속보 [헤럴드경제=윤호 기자][속보]11시22분 윤석열 대통령 파면
-
헌법재판소가 4일 오전 11시 22분 윤석열 대통령 탄핵심판에서 국회의 탄핵소추를...
-
-
25학번 의대생 ㅊㅋㅊㅋ
-
-
킬러 문항 복귀 2
-
실시간 학교 2
으흐흐
-
숨 좀 고르십쇼
-
ㅇㄷㄴㅂㅌ
-
한번 쭉 읽어보고싶긴한데
-
-
대병파산 간호법 싹다 통관데 윤통 탄핵하나로 그게 본전치기는 되냐 ㅋ
-
빅이벤트가 연속으로
