查询词典 predicate function

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便于靠直觉和,在许多情况下,利用常见的字符和构造式来书写阅读.

predicate on：以...为基础 把...放在...基础之上

pole vault jump 撑杆式跳跃 | predicate on 以...为基础 把...放在...基础之上 | Safety First 安全第一

complex predicate：复杂谓语

complementizer 补语标记 | complex predicate 复杂谓语 | complex stative construction 复杂状态结构

complex predicate：複雜謂語;合成述語

complex paradigm 複雜聚合體;複雜變化例 | complex predicate 複雜謂語;合成述語 | complex pure-relational languages 複雜的純關係語言

steam trap valve：疏水阀

球阀 ball valve | 疏水阀 steam trap valve | 蛇管式换热器 serpentine type heat exchanger

aldermanship：市政官

aldermanry 议员 | aldermanship 市政官 | Alderney 乳牛