제 가설 쉽게 해설한 버전
게시글 주소: 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
궁금하네......
-
빨리 결과 나와라...
-
모교는 죽어도 가기싫고 그나마 가까운게 잇올이라 목숨걸었는데 사탐 2개했다가 안...
-
많음?
-
D-15분 1
-
아 심화학습이라고 ㅋㅋ
-
국어 풀다가 갑자기 생각든건데 죄수의 딜레마에서 나는 무조건 그냥 자수하는게...
-
지금부터일까요……?
-
도널드 트럼프 미국 대통령이 3일(현지시간) 반도체 분야 관세 도입에 대해 "아주...
-
검색해도 잘안나와서
-
나름 일찍잔줄 알았는데.. 그래도 이정도면 패턴은 돌렸다..
-
잇올 1
여러 지점에 신청해서 하나 골라가도 되나요..?ㅌㅋㅋ
-
50분 남았네 1
도키도키
-
바뀌면 중섭이냐 일섭이냐
-
