bounded quantifier

logical quantification that ranges over a subset of the universe of discourse

分类: