제 가설 쉽게 해설한 버전
게시글 주소: 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
영영 이뤄질 수 없는걸까요?
-
대재명
-
필기노트가 17000원인게 말이 되나 야뎁 방지 목적으로 본교재에 실전개념은 다...
-
집구석에서 벅벅 긁으며 TV 보는 “반국가세력“이라 살았다!
-
ㅈㅅ ㅅㅈㅎㄱㅇ
-
어카노
-
이원준 듣다가 갈아타려 하는데 (사유: 익히마 지문이 너무 쉬움, 글을 너무...
-
-
어 일단 증원은 3
안된다고 봐도 무방하나
-
드디어 대통령을 뽑아보는건가
-
오늘 재수생 6모신청하려고 오픈런했는데 개같이 실패해서 기차타고 2시간거리인...
-
아쉬운거지뭐 왜그랫을까
-
인원이란말 안썼다면서 쓰고.. 국힘 폭파시키려는 인페스티드 테란이 아닌지..
-
개에바잖아...
-
탄핵이라고 신나서 공부 안하고 오르비하는 나...
-
샤이틀창견 형님들 왜 자꾸 애꿎은 의주빈 걸고 넘어짐?ㄷㄷㄷㄷㄷㄷㄷㄷ 2
”이재명은 암튼 부유층기득권적폐어쩌고 의새집단 싫어하니까 무조건 대통령 되면 의사...
-
수업 5분남았다 1
-
이거 기본소득 받아서 물 타야겠는데요
-
투표 언제하는겨 2
??
