查询词典 quantifier

bounded existential quantifier：有界存在量词

bounded domain 有界域 | bounded existential quantifier 有界存在量词 | bounded function 有界函数

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 全称量词

universal quantifier：全称量词

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

quasi-limited universal quantifier：准受囿全称量词

准受囿存在量词 quasi-limited existential quantifier | 准受囿全称量词 quasi-limited universal quantifier | 准局部环 quasi-local ring

Allquantor universal quantifier; general quantifier：全称量词

allgemeine lineare Gruppe general linear group 全线性群 | Allquantor universal quantifier; general quantifier 全称量词 | Alternantensatz alternation theorem 择一定理

quantifier postposing transformation：數量詞後置轉換;定量詞後置變形

quantifier distribution transformation 數量詞分布轉換;定量詞分布變形 | quantifier postposing transformation 數量詞後置轉換;定量詞後置變形 | sample 樣本

Greco-Latin square：希腊拉丁方格

Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批

cunningham：帆前角下拉索

斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul