quantifier

quantifier 基本解释

n. 数量词, 精于计算的人
[计] 量词

quantifier 网络释义

n. [数][语] 量词；数量词；精于计算的人

quantifier 词性变化

名词复数形式:quantifiers

词组短语

1、bounded existential quantifier [计] 有界存在量词

2、bounded quantifier [计] 有界量词

3、bounded universal quantifier [计] 有界全称量词

4、existential quantifier [计] 存在量词

5、existing quantifier [计] 存在量词

6、logical quantifier [网络] 逻辑量词

7、quantifier-free conjunctive-normal form [计] 自由量词合取范式

8、scope of quantifier [计] 量词辖域; 量词作用域; 符号名作用域

9、statement quantifier [计] 命题量词

10、unbounded quantifier [计] 无界量词

11、universal quantifier [计] 全称量词

12、quantifier-free 无量词

13、quantifier-free formula 无量词公式

14、quantifier floating 量词浮动

15、Quantifier shift 量化转移

16、quantifier elimination 定量消除

17、vacuous quantifier 空量词