[일반] 이거 맞는 말인가요?

[익명(211.199)]

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

  

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

  

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

  

부정형이 거짓이다  

  

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

  

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

- dc official App

[수갤러 1(112.171)]

∀x,(Ex s.t. p(x)) : 모든 x에 대하여 p(x)를 만족하는 x가 존재한다. ¬(∀x,(Ex s.t. p(x))) = Ex s.t.(∀x, ~p(x)) : 어떤 x가 존재하는데 그 x들은 모두 ~p(x)를 만족하다. 이거 아닌가? 명제가 뭔지 모르는데 참/거짓 따질 수 있음? 나도 모름

[익명(211.234)]

어디서 또 트리바 냄새 나네