제 가설 쉽게 해설한 버전
게시글 주소: 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 답글 달기 신고
-
잇올 6모 2
잇올 6모 신청해서 1시에 결과 나온다는 창까지 봤는데 지금 들어가서 결과 보니까...
-
강기원 어싸에 매일학습 무등비/삼도극/확률통계 5문항씩 들어있었고
-
진짜 빌런 등장
-
먼 무등비 삼도극이여
-
피고 심심한을 4
사칭혐의로 파면한다!!!
-
긴장 단디하셈 ㅇㅅㅇ 휘하에서 고통받았던 독서 출제진들 봉인 풀었다는 이야기니까...
-
(속보)이재명 의대생 미복귀시 전원 기본주택에 입주시키겠다고 선언 3
라고 할뻔~
-
우웅??><
-
우리는 그래도 1
교수 자체는 괜찮은거같은데 저번에 1대1 면담한번 갔었는데 되게 괜찮으신 분이었음 친절하시기도 했고
-
예체능 이번 모의고사 19211인데 국어는 항상 고정1등급에 간간히 하루 리트...
-
미치겠네
-
수학 N제 2
6모전까지 풀 수학 N제 추천해주세요 6모 1후반등급 목표입니다 !
-
작년 수능수학 part 최종선발까지 갔었는데 썰이나 풀까
-
실검 3
6평 이재명 기각
-
뉴진스 2
재판 이길줄알고 응원했는데.. 차라리 어도어에 몇달 수납당하다가 명분더생기고 무슨...
-
장제원 의원 "우리가 만든 대통령, 탄핵 지켜보며 만감이 교차" 3
장제원 의원이 박근혜 전 대통령의 탄핵 인용에 대한 입장을 밝혔다. 10일 오후...
-
메탈슬러그 뭐가 제일 명작임?
-
병원인데 걍 들어가있자
-
스블 공통 복습 1
4덮 전까지 스블 공통 복습만 해도 괜찮을까요? 새로운 문제를 못푸는건 아쉽지만...
-
급수 안나오니 오히려 좋 다!
