particle quantifier微粒定量仪
quantifier scope量词辖域
particular quantifier特称量化号
Quantifier Restrictions量约束
quantifier r量词;计量器
indefinite quantifier不定量词
characteristic quantifier特征量
scope quantifier范围量词
quantifier morpheme量词性语素
We can enrich the classical first-order logic expression by adding a new quantifier symbols,such as "most".
我们可以增加新的量词符号,比如说most来丰富经典一阶逻辑的表达能力。
参考来源 - 表达量化的方式及其形式刻画问题探讨We gave the definition of generalized quantifier in the lattice-valued first-order logic LF(X) and Lvfl. We also gave the inclusion relation, union and product operation of generalized quantifiers and proved reasoning results with them.3.
2.在格值一阶逻辑系统LF(x),Lvfl中定义了广义量词,以及广义量词之间的包含关系和广义量词的并交运算,得到了带广义量词的推理规则和有关广义量词的包含,并交运算的推理结果。
参考来源 - 基于格蕴涵代数的格值逻辑中的近似推理研究N-COUNT(可数名词) In grammar, a quantifier is a word or phrase such as "plenty" or "a lot" which you use to refer to a quantity of something without being precise. It is often followed by "of," as in "a lot of money." 量词