查询词典 predicate symbol
- 与 predicate symbol 相关的网络解释 [注：此内容来源于网络，仅供参考]
-
predicate logic：谓词演算
predicate constant 谓词常数 | predicate logic 谓词演算 | predicate symbol 谓词符号
-
predicate symbol：谓词符号
PI证明是谓词逻辑归结证明的一种重要类型,其中P指关于谓词符号(predicate symbol)的一种顺序,I是指某一个特定的解释. 但是在目前所见的许多文献中对PI推理的定义还有一些不妥之处,没有确保其中的每一步归结都是PI归结. 本文给出了一种新的PI推理的定义,
-
predicate symbol：謂語符號
predicate raising 謂語提升 | predicate symbol 謂語符號 | predicate variable 述語變數
-
predicate symbol：述詞符號
述詞邏輯 predicate logic | 述詞符號 predicate symbol | 述詞使用 predicate use
-
predicate variable：谓词变项
predicate symbol 谓词符号 | predicate variable 谓词变项 | prediction law 预报律
-
predicate variable：谓词变量
谓词逻辑 predicate logic | 谓词变量 predicate variable | 谓词符号 predicate symbol
-
complex stative construction：复杂状态结构
complex predicate 复杂谓语 | complex stative construction 复杂状态结构 | complex symbol 复杂符号
- 推荐网络解释
-
Greco-Latin square：希腊拉丁方格
Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批
-
cunningham：帆前角下拉索
斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul
-
overstuffed：塞得过满
软性玩具 soft toy | 塞得过满 overstuffed | 教边 fray