网络解释
谓词变项
- 与 谓词变项 相关的网络解释 [注：此内容来源于网络，仅供参考]
-
predicate calculus
谓词演算
与谓词演算(predicate calculus)相反,命题演算取简单的、未分析的命题,而不是取词项和名词表达式作为原子单元. 与函项演算相反,它仅处理不包含变项的命题. 简单的(原子的)命题用字母表示,复合的(分子的)命题用下列标准符号形成︰ ...
-
predicate variable
谓词变项
predicate symbol 谓词符号 | predicate variable 谓词变项 | prediction law 预报律
-
prediction law
预报律
predicate variable 谓词变项 | prediction law 预报律 | prediction theory 预报理论
-
prediction law
预告律
predicate variable 谓词变项 | prediction law 预告律 | prediction theory 预告理论
- 推荐网络解释
-
Greco-Latin square：希腊拉丁方格
Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批
-
cunningham：帆前角下拉索
斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul
-
overstuffed：塞得过满
软性玩具 soft toy | 塞得过满 overstuffed | 教边 fray