查询词典 algebra of logic

Some other conditions which the implicative operator of a Implication Algebra should satisfied in a logic system are given. The relations between MV-Algebra and Distributive Implication Algebra, Implication Algebra with condition are gained.

对于偏序集上蕴涵代数中的蕴涵算子引入了一些逻辑条件，得到了偏序集上具有不同条件的蕴涵代数与MV-代数之间的关系，给出了偏序集上蕴涵代数与MV代数之间的几个等价定理。

Because 3-valued logic has a truth more than 2-valued logic, the quantity of truth of function of 3-valued logic is more than it of 2-valued logic, and 3-valued logic has a more powerful ability to handle problems than 2-valued logic does.

由于三值逻辑比二值逻辑多一个真值，所以三值逻辑的真值函项的数量比二值逻辑的真值函项的数量大得多，所以三值逻辑才会比二值逻辑有更强的处理问题的能力。

In mathematical logic, predicate logic is the formal system of universal symbolic terms, such as first order logic, second order logic, many types of logic or infinitary logic ...

在数理逻辑中，谓词逻辑是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或infinitary逻辑。。。。

Extended logic is a logic branch which are made up of by using classical logic to analyze some concepts or categories of some special subjects, particularly, philosophy, including Modal Logic, Deontic Logic, Tense Logic, etc.

逻辑扩展逻辑则是利用经典逻辑的工具，去分析某些具体学科特别是哲学中的概念或范畴而建立的逻辑学分支，如模态逻辑、道义逻辑、时态逻辑等。

The monists maintain that some content of traditional logic, dialectical logic and induction should be excluded from the field of logic, and that traditional logic should be replaced by modern logic in logic teaching.

在传统与现代之争中，不再有人对传统逻辑持诸如&传统逻辑不是逻辑&的观点，对传统逻辑加以批评的学者都是从其不科学、不严密、包含有非逻辑的内容等方面入手。

The different debates about dialectical logic in the 21〓 century reflect the different attitude to dialectical logic. The monist conception of logic takes the so-called dialectical logic as a sub-discipline of philosophy and denies its legitimacy, and the pluralists differentiate dialectical logic from dialectic and regard the former as a kind of logic.

从20世纪30年代到世纪末，中国学者对辩证逻辑的看法走过了这样一个历程：30-40年代，有&辩证法可否成为逻辑&的争论；50-60年代，几乎没有学者公开对辩证逻辑作为逻辑的合法地位提出质疑；80年代之后，又起辩证逻辑是不是逻辑之争，但反对者的观点已变为&辩证逻辑不是逻辑&。80年代以后，中国学者对辩证法与辩证逻辑的区分已非常自觉。

Specify what status the spatial operator algebra locates at in many methods of multibody systems dynamics formulations and what the relations are between the spatial operator algebra and other dynamics formulations.We explain the basic conception of the Lie group, Lie algebra and Riemannian manifolds in detail, deeply analyze and research the Special Euclidean Group SE(3) and se(3) in the Lie group, Lie algebra. Establish the relation between the adjoint transformation Adg and the operatorφ(k + 1,k) under a particular condition, substitute the operatorφ(k + 1,k)with spatial adjoint operator Ad kk ?

在多体系统动力学理论体系中，详细阐述了Lie群、Lie代数和Riemannian几何的基本概念，对Lie群、Lie代数中的特殊Euclidean群SE(3)和se(3)作深入分析与研究，建立Lie括号下的伴随变换Adg在特定条件下与空间算子代数理论中的空间变换算子φ(k + 1，k)之间的相互关系，并将空间伴随算子Ad kk ？

A special kind of prime dual ideals are defined in a lattice implication algebra, then their structures and properties are discussed. It is proved that the implication operation on this lattice implication algebra is determined by these prime dual ideals, and all of these prime dual ideals compose a lattice implication algebra which is lattice implication isomorphic to the former lattice implication algebra.

在格蕴涵代数中定义了一类特殊的素对偶理想，讨论了它们的结构和性质，证明了该格蕴涵代数中的蕴涵运算可以由这些特殊的素对偶理想所确定，并且这些特殊的素对偶理想全体自然地构成一个格蕴涵代数，它和原格蕴涵代数具有格蕴涵代数同构关系。

The vector has the rich actual background and the widespread application function, it has the algebra and the geometry dual statuses, causes the algebra geometrization, the geometry algebra, has communicated the algebra, the geometry and the trigonometric function, has the good analysis method and the complete structure.

向量具有丰富的实际背景和广泛的应用功能，它具有代数和几何双重身份，使代数几何化、几何代数化，沟通了代数、几何与三角函数，具有良好的分析方法和完整的结构。

Explicitly, they are consist of three classes: If H is semisimple, then H k* for some finite group; If H is not semisimple and the characteristic of k is zero, then H is isomorphic the dual of the cross product between one so called Andruskiewitsch-Schneider algebra and a group algebra; If H is not semisimple and the characteristic of k is not zero, then H is isomorphic the dual of the cross product between one special algebra and a group algebra.

具体地讲，它们共分三类：①如果H是半单的，则H同构与一个群代数的对偶；②如果H是非半单的并且基础域的特征是0的话，则H同构一个所谓Andruskiewitsch-Schneider代数与一个群代数交差积的对偶；③如果H是非半单的并且基础域的特征不是0的话，则H同构于某个特定代数与一个群代数交差积的对偶。

Putt your way through 36 fun-filled holes of minigolf on 3D designed courses with elevated greens, bunkers, bridges and water hazards, among other crazy obstacles.

您的推杆方式，通过36个有趣的填孔迷你的三维设计的课程，以提升绿党，掩体，桥梁和水的危害，除其他疯狂的障碍。

Some participles can be used either as attributes or as predicatives.

有些分词既可当定语用，也可当表语用。