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

2024-10-08 08:17:18
조회수 793

[모든것이 존재함]을 증명.

게시글 주소: https://spica.orbi.kr/00069412464






∀x(Ex) 이 식의 뜻은 "모든것이 존재한다"


부정형은 ∃x(¬Ex) 이고 뜻은 "존재하지 않는것이 존재한다"


"존재하지 않는것이 존재한다"가 모순이므로


부정형이 거짓이다


따라서 원명제 ∀x(Ex) 가 참이며


"모든것이 존재한다" 가 참이다


0 XDK (+0)

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