existential quantifier

名词 n.
中文释义

英文释义

名词 n.
  1. The operator, represented by the symbol ∃, used in predicate calculus to indicate that a predicate is true for at least one member of a specified set. Verbal equivalents include "there exists" and "there is".

词形变化

existential quantifiers plural
0 次浏览 数据来源: Wiktionary