∀x(Ex) 이 식의 뜻은 "모든것이 존재한다"  
  
부정형은 ∃x(¬Ex) 이고 뜻은 "존재하지 않는것이 존재한다"  
  
"존재하지 않는것이 존재한다"가 모순이므로  
  
부정형이 거짓이다  
  
따라서 원명제 ∀x(Ex) 가 참이며  
  
"모든것이 존재한다" 가 참이다


- dc official App