쿠쿠리 [1310649] · MS 2024 · 쪽지

2025-04-01 09:51:09
조회수 75

현실에 없는것이 존재함을 증명

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

1. ∀x (¬R(x) → E(x)) (모든 현실에 존재하지 않는것이 존재한다)


1의 부정형은


2. ∃x (¬R(x) ∧ ¬E(x)) "현실에 존재하지 않으면서 존재하지 않는 것이 존재한다"


2는 모순


따라서 1이 참

0 XDK (+0)

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


  • 첫번째 댓글의 주인공이 되어보세요.