查询词典 predicate calculus

In English, especially in formal styles, nouns or noun phrases are often used to represent action, and verbs of feeble phenomenality and vague phenomenality are often used as predicate, which results in stative characteristic of English.

英语在正式文体中习惯于用名词或名词性短语来表动作，而且谓语常用弱化或虚化动词，致使英语呈静态特征。

Perhaps, that is, predicate dualism forces us to nothing more than property dualism, which may not drive one further away from physicalism than the attribute theory.

或许，述谓二元论所强调的无非是属性二元论（这并不比属性理论更能远离物理主义）。

I predicate that this summer a friend will pop up into your life.

我预测今年夏天你的一个朋友会在你的生活中突然出现。

It is plain from what has been said that both the name and the definition of the predicate must be predicable of the subject.

宾语的名字和宾语的定义都能表述主语。

This is the first thing you will learn to do in quantifier logic,which is also called predicate logic.

这是在限定逻辑，也称谓词逻辑中你首先要明白的。

By predicate logic ,the solution is set up and the process of analysis is provided.

依据谓词逻辑规则建立解决方案，提供了求解的流程。

My thesis built the theory of predicate logic on the basis of L* propositional logic.

本文在命题逻辑的基础上以系统为背景建立谓词逻辑理论。

This paper summarizes some inferential proof methods in propositional logic and predicate logic by using some examples.

本文结合适当的例题总结了命题逻辑和谓词逻辑的几种常见推理证明方法。

This book is a rigorous elementary introduction to classical predicate logic emphasizing that deduction is a form of computation.

这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演绎作为计算的一种形式的概念。

New according to predicate logic of the financial investement assistance decision system we do analysis and research.

现就基于谓词逻辑的金融投资辅助决策系统加以分析与研究。

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 无法删除选定的页面或图像（它可能已经被其他人删除了）。