查询词典 predicate symbol

It is：是

当说到"它是(it is)真的"或"它是好的"时,人们通常只关注到"真的"和"好的"这类取值谓词(evaluational predicate)而忽视了"是"(is)这一判定性谓词(apodictic predicate),甚至以为洒不是一个谓词.

predicate logic language：谓词逻辑语言

predicate logic 谓词逻辑 | predicate logic language 谓词逻辑语言 | predicated response 预测响应

first order predicate logic：一阶谓词逻辑

谓词逻辑 predicate logic | 一阶谓词逻辑 first order predicate logic | 非单调逻辑 nonmonotonic logic

predicate variable：述語變數

predicate calculus 述詞演算 | predicate variable 述語變數 | statemental conversion 述辭位換

predicate symbol：谓词符号

PI证明是谓词逻辑归结证明的一种重要类型,其中P指关于谓词符号(predicate symbol)的一种顺序,I是指某一个特定的解释. 但是在目前所见的许多文献中对PI推理的定义还有一些不妥之处,没有确保其中的每一步归结都是PI归结. 本文给出了一种新的PI推理的定义,

complex stative construction：复杂状态结构

complex predicate 复杂谓语 | complex stative construction 复杂状态结构 | complex symbol 复杂符号

Hilfsvariable auxiliary variable：辅助变量

Hilbert-Symbol Hilbert symbol 希耳伯特符号 | Hilfsvariable auxiliary variable 辅助变量 | hinreichend sufficient 充分的

English Basic Phon. Symbol：基础音标

国际音标 English Phonetic Symbol | << 基础音标 English Basic Phon. Symbol | 元音 English Vowel

the symbol of complex sentence：相关词的翻译

the symbol of complex sentence的翻译: | the symbol of complex sentence相关词的翻译: | 复句:complex sentence

functional symbol：职能符号

symbol 符号 | functional symbol 职能符号 | tank 箱,缸;油箱;容器

grating spectral order：光栅光谱级

grating spacing 栅线间距 | grating spectral order 光栅光谱级 | grating spectrograph 光栅摄谱仪

Butler：仆役长

小说讲述的,是发生在英国牛津郡一所大庄园中的故事,主人公,是庄园的仆役长(butler)斯蒂文(butler是英国特有之人物,是贵族之家的地位最高的男仆人,译作"仆役长"并不很达意).