查询词典 predicate logic

After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.

之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。

So we present an algorithm based on reachability analysis, and a more complex one which uses a stronger temporal logic (timed predicate μ, calculus) and can verify more properties.

在模型检测的算法方面，本文首先给出了时间符号迁移图上的一个可达性分析算法，随后还定义了能刻划更复杂性质的实时谓词μ演算并给出了检测这些性质的相应模型检测算法。

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

By "extended", it makes sense to propose two principles, one is the type re-arrangement principle and the other is logic predicate principle.

我们所提出的逻辑语义分析法的扩充性主要体现在两个方面：一是加入了类的重设原则；二是在语义的分析过程坚持把逻辑谓词视作为是承载着整个句式的主要语义信息。

This notion is closely related to the notion of a predicate in formal logic, which includes more expressions than the former one, like, for example, nouns and some kinds of adjectives.

这一概念与形式逻辑学中的述语概念有紧密的关系。形式逻辑学中还包括了除述语以外的更多概念，如名词和一部分形容词。

In 1879, the publication of ""Concept Writing"" marks the foundation of propositional calculus and the predicate calculus —— the basic part of mathematical logic.

1879年《概念文字》的出版，标志着数理逻辑的基础部分——命题演算和谓词演算正式建立。

Aristotle not only invented syllogistic reasoning but also gave such a thorough analysis of the subject-predicate relation and all syllogistic forms that this method, now called deductive logic, has virtually remained unchanged to this day.

亚里斯多德不仅发明了三段论推理的方法，还极为彻底地研究了这种命题-推断模式，掌握了三段论推理过程的所有形式。直到今天，这种方法依然维持着最初的状况，我们现在称其为演绎逻辑。

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。