옯해원 [1212223] · MS 2023 · 쪽지

2025-04-01 19:49:42
조회수 61

존재 증명

게시글 주소: https://orbi.kr/00072674232

1. ∃x ¬R(x) (현실에 존재하지 않는 것이 있다)


2. ∀x (¬R(x) → M(x)) (현실에 존재하지 않으면 마음속에 있다)


2의 대우명제는


3. ∀x (¬M(x) → R(x)) (마음속에 없으면 현실에 존재한다)


3이 거짓, 따라서 2가 거짓


2의 부정이 참


2의 부정은


4. ∃x (¬R(x) ∧ ¬M(x)) (현실에 존재하지 않으며 마음속에도 없는 것이 있다)



결론


"현실에 없고 마음속에도 없는것이 존재한다"

rare-해 원 짤

0 XDK (+0)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.