existential quantifier câu

• The symbol ∃ is called the existential quantifier.
  Ký hiệu ∃ (đọc là tồn tại) được gọi là lượng từ tồn tại.
• The symbol ∃ is known as existential quantifier.
  Ký hiệu ∃ (đọc là tồn tại) được gọi là lượng từ tồn tại.
• These can be assigned values or can be quantified as to when they apply with the universal quantifier (always apply) or the existential quantifier (applies at least once).
  Các biến này có thể được gán các giá trị hay có thể được định lượng ở chỗ khi chúng áp dụng với lượng từ phổ quát (luôn luôn áp dụng) hay lượng từ tồn tại (áp dụng ít nhất là một lần).