查询词典 restricted predicate calculus

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.

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

At the base of first order predicate logic this paper construct a strategy logic reasoning machine model, and discuss the correctness of this model.

在谓词逻辑的基础上构造了一个基于策略逻辑的推理机模型，并对模型的正确性做了讨论。

Cable dampener cannot be rolled up but must be hung over the cable.

缆帆不能被卷起，必须保证处于展开状态

"This skylark is a present from my master," he says.

"这只云雀是我主人献上的礼物。"他说。