查询词典 predicate variable

So anything that you may want to express on a complex object that would seem to require first-order predicate calculus can be expressed actually quite nicely within the confines of the programming language.

所以对于一个复杂对象，任何看起来需要一阶谓词演算才能描述的东西，实际都可以在编程语言范畴内实现十分精细地表述。

But what weve found is that apart from the agents mechanisms, which has been in eiffel now for a number of years, theres really no need for introducing first-order predicate calculus, or there exists operators.

但我们发现使用 eiffel 中已经存在多年的代理机制就可以解决，完全没有必要引入一阶谓词演算和 there exists 操作符。

Also, first-order predicate calculus isnt good enough anyway.

同时，从各方面来说，一阶谓词演算都不是足够好。

The problem solving and inference functions will be provided by the hardware inference mechanism,the control mechanism,parallel processing,the logic programs developed on these machines and the software system for high-order predicate calculus.

FGCS的功能可分成3类：问题的求解和推理功能、基于知识的管理功能和智能接口功能问题的求解和推理功能将由硬件推理机制、控制机制、并行处理，以及在这些机制上开发的逻辑编程及高阶谓词演算软件系统提供。

But what we've found is that apart from the agents mechanisms, which has been in Eiffel now for a number of years, there's really no need for introducing first-order predicate calculus, or there exists operators.

但我们发现使用Eiffel中已经存在多年的代理机制就可以解决，完全没有必要引入一阶谓词演算和there exists操作符。

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.

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

I'm going tor her!

我这就去救她！

As rise are design to help keep a several toney , a brain chemical at continues lever.

SSRI被设计来帮助保持血液中的复合胺即在大脑中一个连续水平的化学物质。