... 虚泛词式(nominalizations) 以偏概全式(universal quantifiers) 能力限制式(modal operators) ...
基于40个网页-相关网页
...辑的量词(Quantifiers) 量词表示了个体与个体域之间的包含关系,谓词逻辑中有两 个量词: 1)全称量词(Universal Quantifiers) 用字符“ ”表示。表示了该量词作用的辖域为个体域中 “所有的个体x”或“每一个个体都”要遵从所约定的谓词关系。
基于6个网页-相关网页
以上来源于: WordNet
应用推荐