查询词典 restricted predicate calculus

predecessor function：前钳数

predecessor 前趋 | predecessor function 前钳数 | predicate 谓词

predicant：传道的

predicament 困境 | predicant 传道的 | predicate adjective 表语形容词

predicate logic：谓词逻辑

理论上,如果完全使用形式语言(formal language)和谓词逻辑(predicate logic)构造一种语言是可以做到完全无歧义的. 但这样绝对精确的语言是不适合人类这种不精确的生物的. 我们需要谐音来开玩笑,需要双关的语义来写诗歌,需要用模棱两可的语言来敷衍不...

predicate logic：述詞邏輯

本课程置重点於命题逻辑(prepositional logic)及述词逻辑(predicate logic)中自然演绎法(natural deduction)上. 在本课程中,学者们将会学到一些逻辑的基本观念与技巧,诸如有效性(validity)、真值表(truth-table)、语意树枝及推论规则等等.

first order predicate logic：一阶述词逻辑

首先,由於在一階述詞邏輯(first order predicate logic)中,我們僅能以「無法證明~P」來說明「P是一致的(必然的)」. ...

predicate symbol：谓词符号

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

predicate：谓词

从文法和逻辑的角度看来,这是一个"命题"的形式. 由"主词"(subject)和"谓词"(predicate)两项组成,谓词"确认"或"否认"主词,命题可以是真实的或虚假的. 比如:

predicate：谓语

如果一个片语是个独立 的单位,也就是说它完整,可以当一个句子的「主语"(subject)或「谓语 "(predicate),那就可以把它当一个单一的字来看. 这个片语就像单一的字一样 可以用来形容某件事. 因此,一个词义,可以只用一个字,

predicate：述词

集体的与协同的(collective and reciprocal)框架在文法上,述词(predicate)是一句子中叙述或说明主词(subject)的部分,意即它是主词的动词及其修饰语、受词、补足语等,它可以是一意义完全的动词,或动词及其副词修饰语,或及物动词及其受词,

predicate：述语

座标描述元 节点测试 述语(Predicate) 两个标记法被定义,最后一个:简写语法,更为简要,并允许XPath便于靠直觉和,在许多情况下,利用常见的字符和构造式来书写阅读.

seal oil pressure：密封油压

"seal of bearing ","轴承密封" | "seal oil pressure ","密封油压" | "seal ring ","密封环,止漏环"

osteographer：骨论学家

choreographer舞蹈动作的设计者 | osteographer骨论学家 | glyphographer电刻者