universal quantifier

名词 n.
中文释义

英文释义

名词 n.
  1. The operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set. Verbal equivalents include "for each" and "for every".

词形变化

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