∀x라고 하면 "모든x"라는 뜻아닌가요?


그리고 ∀x를 부정하면 ∃x가 된다고 알고있는데


그럼 ∃x 의 뜻은 "어떤x"가 되는건가요?


그럼 그냥 모든, 어떤 이두가지 의미만 있는줄 알았는데


ㅌ존재양화사 ∃∃ (existential quantifier)
-한 것이 존재한다(exist). Exist의 E를 뒤집어서 따왔다.


이건 뭐고


보편양화사 ∀∀ (universal quantifier)
모든 것이(all) -하다. All의 A를 뒤집어서 따왔다.


이건뭐죠?