查询词典 unbounded quantifier

unbounded solution：无界解

无界函数 unbounded function | 无界解 unbounded solution | 不确定[性];不可靠[性] uncertainty

unbounded solution：解

unbounded reservoir 不封闭储集层 | unbounded solution ****解 | unbranched-chain hydrocarbon 无支链烃

a few：一些

量词包括像"many"(许多),"most"(大多数),"一些"(a few)和一些数词. 量词使侧重的例子具有一定的数量,量词也具有例举和语境定位的作用. Langacker把量词区分为绝对量词(absolute quantifier)和相对量词(relative quantifier),

quantifier-free conjunctive normal form：自由量词合取范式

量詞範疇 quantifier scoping | 自由量詞合取範式 quantifier-free conjunctive normal form | 量化知識複雜度 quantify knowledge complexity

existential quantifier：存在量词

对于谓词所作用的个体数量,一阶逻辑只关心两种情况,一种情况是谓词作用个体域中所有的个体,这时用全称量词(universal quantifier)(使用符号'')来刻划,一种情况是谓词作用个体域中某些个体,这时用存在量词(existential quantifier)(使用符号'')来刻划.

quasi-limited existential quantifier：准受囿存在量词

准拉丁方 quasi-latin squares | 准受囿存在量词 quasi-limited existential quantifier | 准受囿全称量词 quasi-limited universal quantifier

quasi-limited existential quantifier：拟受囿存在量词

quasi-length 拟长度 | quasi-limited existential quantifier 拟受囿存在量词 | quasi-limited univerasl quantifier 拟受囿全称量词

unique existential quantifier：唯一存在量词

underspecification 不充分规约 % XJW | unique existential quantifier 唯一存在量词 | universal quantifier 全称量词

allgemeine lineare Gruppe general linear group：全线性群

allgemein general 总的;一般的;通常的;普遍的;通用的; | allgemeine lineare Gruppe general linear group 全线性群 | Allquantor universal quantifier; general quantifier 全称量词

universal quantifier：全称量词

对于谓词所作用的个体数量,一阶逻辑只关心两种情况,一种情况是谓词作用个体域中所有的个体,这时用全称量词(universal quantifier)(使用符号'')来刻划,一种情况是谓词作用个体域中某些个体,这时用存在量词(existential quantifier)(使用符号'')来刻划.

phenol red：酚红,苯酚磺酞

phenol reagent 酚试剂 | phenol red 酚红,苯酚磺酞 | phenol red test 酚红排泌试验

accessory equipment：附件

accessory equipment 辅助设备 | accessory equipment 附件 | accessory part 附件