universal quantifier

详细解释:【计】 全称量词

英语解释：

名词 universal quantifier:

a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things