查询词典 predicate

In chapter 2, to meet the application requirements of incomplete information system, based on propositional connectives ∧、∨、→、ヲ、～ and ～, we construct medium logic propositional calculus system MP〓 and medium logic predicate calculus system MF〓.

第一章：简要说明不完全信息数据库和模糊数据库研究的目的和意义，介绍中介逻辑和模糊数据库的发展、模糊数据库系统的特性以及本文的主要研究工作。

The similarity logic calculus systems based on incomplete information and incomplete case knowledge is constructed by using a first order modal logic and a simplified second order predicate calculus. The grammar、semantics and inference rule are described.

采用传统的一阶模态谓词逻辑和简化的二阶谓词逻辑分别构建了基于信息不完整和实例知识不完整的相似性逻辑演算系统IISL和IKSL，给出了系统的语法、语义和推理规则。

Therefore, some these fields are thoroughly investigated in this dissertation, which are respectively mentioned as the following: 1. The Formal Description Language ISITL for Intrusion Signatures ISITL is a high-abstractive formal description language for representing intrusion signatures based on the interval temporal logic and first-order predicate calculus.

本论文对此展开了全面深入的研究，其内容主要包括： 1、基于时段时态逻辑和一阶谓词逻辑的入侵特征形式化描述语言ISITL ISITL克服了以往检测语言以"情景描述"为主的缺陷，转而采用形式化的方法来刻画入侵模式的入侵特征。

Related new concepts include: proposition and predicate calculus of transition logic, excitation factors and transition conditions, star algorithm and its model in pansystems analysis, pansystem logic space, pans-ystem logic extending reasoning principle, dynamical yinyang logic, etc.

有关的新概念有：转移逻辑的命题演算与谓词演算，激活因素与转移条件，星算法及其泛系分析模型，泛系逻辑空间，泛系逻辑延拓推理和动态阴阳逻辑。

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).

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

Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.

谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。

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

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

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。