제 가설 쉽게 해설한 버전
게시글 주소: 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 답글 달기 신고
-
미치겠네
-
수학 N제 2
6모전까지 풀 수학 N제 추천해주세요 6모 1후반등급 목표입니다 !
-
작년 수능수학 part 최종선발까지 갔었는데 썰이나 풀까
-
실검 3
6평 이재명 기각
-
뉴진스 2
재판 이길줄알고 응원했는데.. 차라리 어도어에 몇달 수납당하다가 명분더생기고 무슨...
-
장제원 의원 "우리가 만든 대통령, 탄핵 지켜보며 만감이 교차" 3
장제원 의원이 박근혜 전 대통령의 탄핵 인용에 대한 입장을 밝혔다. 10일 오후...
-
메탈슬러그 뭐가 제일 명작임?
-
병원인데 걍 들어가있자
-
스블 공통 복습 1
4덮 전까지 스블 공통 복습만 해도 괜찮을까요? 새로운 문제를 못푸는건 아쉽지만...
-
급수 안나오니 오히려 좋 다!
-
이틀 온종일 걸림;;
-
되겠냐?
-
이제 탄핵됐으니까 금방이려나
-
윤석열 계엄한 날에 부모님한테 계엄령 터졌다고 하니까 지랄하지 말고 자라는 소리 들음 2
아마 우리 부모님도 45년만에 계엄령을 다시 보게 될 줄은 몰랐을듯
-
[속보] 문재인 "헌법으로 민주공화정 지켜내‥모두 국민 덕분" 2
헌법재판소가 윤석열 전 대통령을 파면하자, 문재인 전 대통령이 "헌법과 정의의...
-
이 나라 떠야한다는건 변하지않음 국민연금 16% 쳐 올리는거 진짜 지들 맘대로...
-
시간이 지나면서 드는 생각...
-
팔로워 한명줄음..
-
전 수험생에게 4드문해 1권씩 지원 수능특강 여백 늘리기 평가원 자체 n제 제작