谓词逻辑

We can get complex individual terms produced by combination of simple individual terms and a functional expression.

个体变元与个体常元的逻辑性质不同，它们与谓词、量词组合的公式在一阶逻辑与模态逻辑中的表现也是不同的。

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.

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

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

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

Make a formal Description for agents living Environment by using predicate logic, and knowledge representation for agent.

3利用谓词逻辑对Agent的生存环境进行形式化描述，并对Agent进行知识表示。

Predicate Logic - Wikipedia, the free encyclopedia

谓词逻辑-维基百科，自由的百科全书

Authors designed a kindred automatic reasoning model based on one-order predicate logic.

用一阶谓词逻辑设计了一个亲属关系的自动推理模型。

First order logic is a most important concept in the field of propositional logic.

而一阶谓词逻辑化为其前束范式是命题演算的重要步骤。

In order to improve the expression capability and the performance ofthe graph transformation in applying to software evolution, a softwareevolution operation description language SEOL (Software EvolutionOperation Language) is proposed, and the structured operational semantics on SEOL is studied, and then the semantic equivalence analysismethod about software evolution operation is described. To the SEOLexpression, the dissertation builds the corresponding processingmechanisms, which include the basic principles and the processing flow,and discusses the graph transformation description in SEOL.

为提高图变换在软件演化应用中的表达能力和处理性能，结合谓词逻辑，论文提出了软件演化操作描述语言SEOL(SoftwareEvolution Operation Language)，研究了SEOL语言的结构化操作语义，指出了软件演化操作语义等价的分析方法，针对SEOL语言表达式，构建了相应的处理机制，包括处理的基本原理和处理流程，讨论了图变换操作的SEOL描述。

It diseuses on Boolean lattice of strticture quality and its composition,and the description of fuzzy linguistic with fuzzy lattice style fuzzy predicat logic and fuzzy reasoning with resolution method.

讨论了布尔格的结构性质及其构造、模糊语言的格型模糊谓词逻辑描述和消解法模糊推理。

I believe that it's very useful for Computer science students who learning Boolean algebra and predicate logic.

我相信对于学习布尔代数学和谓词逻辑的计算机科学学生来说它是非常有用的。

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.

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