查询词典 arithmetical predicate

unary predicate calculus：单述词演算

一元运算子 unary operator | 单述词演算 unary predicate calculus | 单元限制零边林美耳系统 unary restricted zerosided Lindenmayer system,U0L

second predicate calculus：第二阶述词演算

第二部分乘积 second partial product | 第二阶述词演算 second predicate calculus | 次要机率分布 second probability distribution

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

I slipped：我说溜了嘴

It just came up.说溜了嘴 | I slipped!我说溜了嘴 | My alarm (clock) didn't go off.我的闹钟没响

Perform CPR：(做心肺复苏急救)(就是传说中的人工呼吸?想尝试一下,谁让我尝试一下,征女性)

11. Sharpen a knife(磨刀)(小时候干过) | 12. Perform CPR(做心肺复苏急救)(就是传说中的人工呼吸?想尝试一下,谁让我尝试一下,征女性) | 14. Maneuver a car out of a skid(操控打滑的汽车)(没有车)