查询词典 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

prompting symbol：提示符

prompt facility 提示设备 | prompting symbol 提示符 | prony brake 普朗尼摩擦测功器,普朗尼闸式测功器

proper subset：真部分集合

proper station 原驻地 | proper subset 真部分集合 | proper symbol 正常符号

proper subset symbol：真子集符號

"真子集","proper subset" | "真子集符号","proper subset symbol" | "性质,财产","property"

punctuation character：标点符号

punching track 穿孔导轨 | punctuation character 标点符号 | punctuation symbol 标点符号

user data clear：清除用户数据

user color 用户选用色 | user data clear 清除用户数据 | user tools 使用者工具

power station：电站

电站(Power Station):和所有RTS一样,它为战争提供必要的电力供应. 维泰奇人 一、概况 维泰奇人(Vitechy)是故事情节中一个非常重要的种族,但在对战中不能选择维泰奇人,这个种族拥有令人骄傲的科技力量. 对于维泰奇人(Vitechy)来说,