predicate symbol的中文,翻译,解释,例句
predicate symbol
- predicate symbol的基本解释
-
-
[计] 谓词符号
- 相关歌词
- Form Of Intellect
- 相关中文词汇
- 谓词符号
- 更多网络例句与predicate symbol相关的网络例句 [注：此内容来源于网络，仅供参考]
-
In the form of mathematical logic and related branches, functional predicate or function symbol is applied to an object key and generate another object entry logic symbols.
在形式逻辑和相关的数学分支中，泛函谓词或函数符号是应用于一个对象项而生成另一个对象项的逻辑符号。
- 更多网络解释与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