존재 증명

Question

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)) (현실에 존재하지 않으며 마음속에도 없는 것이 있다)

결론

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

옯해원 · Accepted Answer

어제 이 사람 따라하려고 한참 찾았는데 안 보여서 어디 갔나 했네

최근 게시글 · 더보기