제 가설 쉽게 해설한 버전
게시글 주소: 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 답글 달기 신고
-
홀린듯이 맥주구경함 다행히 정신차림
-
국어 풀다가 갑자기 생각든건데 죄수의 딜레마에서 나는 무조건 그냥 자수하는게...
-
여기 창문에서도 육안으로 여의도가 보이는데
-
지금부터일까요……?
-
도널드 트럼프 미국 대통령이 3일(현지시간) 반도체 분야 관세 도입에 대해 "아주...
-
누가 저번에 3
나를 의문 의자 사고 의문사로 알앗다고 함 의문 의자라는 걸 사고 의문사르ㄹ 당한...
-
검색해도 잘안나와서
-
나름 일찍잔줄 알았는데.. 그래도 이정도면 패턴은 돌렸다..
-
잇올 1
여러 지점에 신청해서 하나 골라가도 되나요..?ㅌㅋㅋ
-
50분 남았네 1
도키도키
-
바뀌면 중섭이냐 일섭이냐
-
과장 조금 보태서 "과학/기술 지문 때문에 " 국어 1등급 못받는 사람임. 중학교때...
-
무효되냐
-
-
시발 2
-
얼버기 2
오늘도 독재를 가는구나
-
-
재수생이라 현역때 기출 3번 정도 봤었음 지금 너기출로 이미 1회독 한 상태임...
-
필의패하고 증원 다 폐지인가요
-
고양이가 귀엽다
