查询词典 logic value

Because Horn-clause logic theory is of significance in both respects of theory and application, We especially studied lattice-valued Horn-clause logic with truth-value in lattice implication algebra, and the soundness and completeness theorem have been proved.

经典逻辑中，Horn子句逻辑理论具有广泛的应用，因而，本文中特别建立了基于格蕴涵代数的格值-类Horn子句逻辑，并证明了可靠性和完备性定理，这为建立一类基于格值逻辑这种非经典逻辑的人工智能语言将产生重要的作用。

Education can divide into intellectual education and value education, The value education regards the logic thread and the basic idea as " pursuing sustainable interests maximize ", has very high theory convincingness and modern science characteristic, it is nearly includes all the basic content of the non-intelligence education.

教育可分为智能教育和价值教育两大类，价值教育把"追求可持续的利益最大化"作为其逻辑主线和基本理念，具有很高的理论说服力和现代科学特色，它几乎包括所有非智能教育的基本内容。

Hexagrams form a perfect double-value logic system, in which every hexagram is equal to a true value table.

易卦是一种完备的二值逻辑体系，每一个卦象就是一组真值表。

Using the infinite product of unevenly distributed probability space with potential of 3, the concept of formula truth degree was introduced into the Gdel 3-valued propositional logic system. Moreover, it was proved that in the 3-value (1/4, 1/2, 1/4), measure the set of truth of degree of propositions was dense in [0, 1], and a general expression of truth degree was obtained, providing a basis for further developing approximate reasoning of 3-valued propositional logic system.

利用势为3的非均匀概率空间的无穷乘积，在Gdel三值命题逻辑系统中引入公式的真度概念，在三值逻辑(四分之一，二分之一，四分之一)测度下证明G3中全体公式的真度值之集在[0， 1]上是稠密的，并给出公式真度的表达通式，为进一步在三值命题逻辑系统中展开近似推理奠定基础。

Based upon the logic examination, this paper supplies a new conditional extreme value model for the proposition and generally reveals the wrong guide of Gauss's intrinsic geometry in logic.

在针对经典结论进行逻辑审查的基础上，为该命题重新构造了一个属于"条件泛函极值"范畴的形式定义，并大致叙述Gauss"内蕴几何"的在形式逻辑上必然存在的导向性错误。

The valuable logic"is an essential condition of"the value of logic.

有了"有用的逻辑"，才能有"逻辑的有用"。

Tautologies and F-Tautologies in some lattice valued logic systems whose truth-value lattice are products of lattice implication algebra are discussed. As examples,α-Tautologies and F-Tautologies in lattice valued logic systems L〓P and L〓P are discussed in detail.

本文分析讨论了基于格蕴涵代数直积的格值逻辑系统中的α-重言式和F-重言式，作为两个实例，详细讨论了两个格值逻辑系统L〓P和L〓P中的重言式和F-重言式的结构。

The philosophical dimension of metaphor Traditional and classical logic is a rigid dual value- logic/dialectic based on Aristotelian syllogisms– major premises, minor premises, and conclusions.

英汉两个民族在认识自身的基础上，通过隐喻机制，经过英汉这两种不同语言的过虑，去认识世界时，便对世界做出了不完全相同的切割和处理。2隐喻的哲学纬度。

Language righteousness checked without any error, we can get table name and the corresponding fields names. The paper adopts the stack to realize calculating the logic expressions type. Through the value of the logic expressions, we can check whether conditions in the QL establish or not.

语义检查无误后，经分析可以得到表名和相应的列名，用栈来实现布尔表达式的求值等，布尔表达式的计算结果，用以检查条件是否成立，为事务处理提供函数接口，以便进行正确的查询。

Language righteousness checked without any error, we can get table name and the corresponding fields names. The paper adopts the stack to realize calculating the logic expressions type. Through the value of the logic expressions, we can check whether conditions in the QL establish or not. And we pass the result to the tranction disposal layer which can deal with the right search.

语义检查无误后，经分析可以得到表名和相应的列名，用栈来实现布尔表达式的求值等，布尔表达式的计算结果，用以检查条件是否成立，为事务处理提供函数接口，以便进行正确的查询。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。