查询词典 predicate calculus

Instructions can be prefixed with the name of one of the predicate registers, and the CPU will only execute the instruction if the register equals True.

即只有相应的断言寄存器中值为"真"时CPU才会执行指令，不然CPU就执行一条

I shall be arguing that this is a mistake, and that predicate dualism – the failure of reduction – is a threat to physicalism because the irreducibility of the special sciences in general implies that the mind is not an integral part of the physical realm with which those sciences deal.

我将指出这是错的，述谓二元论是物理主义的一个威胁，因为一般来说'科学的非还原性'蕴涵'心灵不是这些科学所需要处理的物理领域的一个部分'。

I shall be arguing that this is a mistake, and that predicate dualism–the failure of reduction–is a threat to physicalism because the irreducibility of the special sciences in general implies that the mind is not an integral part of the physical realm with which those sciences deal.

我将论述这种观点是不正确的，这种谓词二元论对于物理主义是一种威胁，因为特殊科学的还原性通常暗含着心灵不是由科学处理的物理领域的重要组成部分。

An english sentence must have a subject and a predicate. this is a rule agreed on by all the english speakers. this is part of the langue.

一个英语句子必须具有主语和谓语，这是所有英语使用者都认同的一条规则，这就是所谓语言中的一种现象。

This paper analyzes the example of design PLC ladder diagram by predicate logic method,and illuminates relative merits.

使用谓词逻辑法举例分析PLC梯形图的编制过程，并分析其优缺点。

Main clause and the clause of the action took place in a different time, when Lord, clause predicate subjunctive verb forms vary over time, this is called mixed conditional.

主句与从句的动作发生在不同的时间，这时主，从句谓语动词的虚拟语气形式因时间不同而不同，这叫做混合条件句。

In the example,"All men are mortal" is the major premise, and since mortal is also the predicate of the conclusion, it is called the major term .

在这个例子中，"所有的人都是凡人"是大前提，因为凡人也是上游的结论，这是所谓的重大任期。

The premise of a syllogism that contains the major term (which is the predicate of the conclusion).

含有大项的三段论的前提。

This seems metaphysically innocuous, but many philosophers charge that Predicate Nominalism ignores the Problem of Universals, and does not solve it.

这似乎是形上学无害的，但许多哲学家指责述谓唯名论忽略了共相问题，没有解决它。

Parts of current parallel databases support expanding of data types, but all of them lack of theoretical foundation. It is difficult to predicate the performances of parallel query, complicated to optimize parallel query and unattainable to keep the correctness of parallel query optimization This thesis, for the first time, combines monoid algebra system with BSP parallel model systematically, and provides a general-purpose parallel object-relational database systems-PORDBMS.

文章系统地研究了资源分配问题的分解协调理论与方法，给出了非线性分解式模型的构造和有效的求解方法，其中对主问题提出了适应性较强的修正算法，可用于一些难于公式化的问题的模型构造与求解，逐步寻优策略可有效地求解非线性关联约束优化问题。

There had been a moment during the breakfast meeting, though, after the backslapping and the small talk and when all of us were seated, with Vice President Cheney eating his eggs Benedict impassively and Karl Rove at the far end of the table discreetly checking his BlackBerry, that I witnessed a different side of the man.

那次早餐会期间，在表示过关心和寒暄以后，我们所有人坐了下来，我注意观察了一下，副总统切尼面无表情地吃着班尼迪克蛋（Eggs benedict，源自美国，以英式松饼、火腿、水煮蛋以及荷兰酱组合而成），卡尔。罗夫在餐桌的远端谨慎地经常查看他的黑莓手机，我目睹了他所不为人知的一面。

Talk Undelete failed; someone else may have undeleted the page first.

Talk 无法删除选定的页面或图像（它可能已经被其他人删除了）。