建立《概率论自然公理系统》中的第组和第组公理。
Two groups of axioms in the natural axiom system of probability theory are set up.
给出的格蕴含代数的公理系统，并给出另一个公理系统。
Simplify the axiom system of lattice implication algebras, which was given by y.
最后通过这组公理系统来评估现有的逻辑覆盖测试准则。
Finally, the common logic coverage criteria are assessed against the axioms system.
给出模糊空值连接依赖的公理系统，并且进行了有效性证明。
The axiom of fuzzy null value join dependency is introduced and its availability is proved.
目的简化格化拓扑中泛邻元系公理系统和网泛敛关系公理系统。
AimTo simplify the axiomatical system of the pan-neighbourhood system and the net pan-convergence relation.
讨论了在模糊函数依赖、模糊多值依赖混合作用下的推导公理系统；
The inferable theorem is discussed under the mixed circumstances under fuzzy functional dependency and fuzzy multivalued dependency.
通常，几何定理的证明是依据公理系统，按一定的逻辑规则演绎地进行。
Generally, the proving of geometry theorem is based on the axiom system, and is deducted according to certain logic rules.
本文最后解决了向量空间公理系统独立性的问题，这在理论上有一定意义。
The paper presents a final solution for the independence of the axiomatic system of the vector space, and so is of some basic significance in theory.
证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。
And I prove the formal axiomatic system of prepositional logic that is made up of axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.
本文证明了：群、欧几里得空间、距离空间和拓扑空间的公理系统的独立性。
It has been proved that the nature of independence exists in the axiomatic system of Group, Euclidean space, distance space and topological space.
结论泛邻元系公理系统和网泛敛关系公理系统简化后，表述更清晰，应用更方便。
Conclusion After the axiomatical system of the pan-neighbourhood system and the net pan-convergence are simplified, a clearer demonstration and a more convenient appliance will be shown.
介绍了模糊空值环境下的嵌入多值依赖、广义连接依赖、子集依赖，及其相应的公理系统。
This paper introduces embedded multivalued dependency, generalized join dependency, subset dependency under fuzzy null value circumstances and corresponding axiom.
本文解答了BCI -代数公理系的独立性问题，同时给出了BCI -代数的另一公理系统。
The article has solved the problem concerning the independence of axiom system of BCI-algebra.
它的本质在于用形式逻辑的方法处理辩证逻辑问题。本文指出逻辑循环和所谓“逆演绎”在建立公理系统中的合理性。
The paper points to the justification of the logic cycle and so called "anti-deduction" in the establishment of a axiomatical system.
其次，我们建立命题型的择类语义，给出描述上述系统的特征公理的框架条件。
Secondly, we introduce a prepositional class-selection semantics, give the frame conditions of the character axioms of the systems.
事物的所有表示和模型的逻辑的，系统的，正式的，和公理性的开发。
The systematic, formal, axiomatic development of the logic of all forms and models of being.
就具有最简单结构的抽象垄断服务系统的基本特性及其公共损耗的费用分摊问题建立了较为完整的公平性与合理性公理体系。
The basic characteristic of abstract monopoly service system with simple structure is described, and the axiom system on cost allocation of its common losses is built.
虽然希腊的几何学仍然占有重要的地位，但是，希腊人关于公理体系和系统推演的思想在十七世纪和十八世纪不复出现。
While Greek geometry retained an important place, the Greek ideal of axiomatic crystallization an systematic deduction disappeared in the seventeenth and eighteenth centuries.
此外，本系统中的各组原始公理还是自足的，即如想推出只含某些函数符号的永真公式时只须使用相应的公理便成。
This system is self-suffient in the sense that if we wish to deduce an equality involving only some of the three functions, then we need only to make use of the corresponding axioms.
其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。
Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.
本文还讨论了属性论的公理化系统。
The axiom system on attribute theory is also discussed in this paper.
如果系统是健全和公理是真的那么它的定理也保证是真的。
If a system is sound and its axioms are true then its theorems are also guaranteed to be true.
本文提出了一种针对兼容式自动制造系统进行设计的方法，即基于公理化设计理论的面向对象的虚拟造型的方法。
This article refers to a design method of compatible automatic manufacture system, which is a method of orientation object and virtual sculpture based on axiomatic design theory.
首先系统地给出了直观模糊集的熵、距离测度和相似测度的公理化定义，并讨论了它们之间的一些基本关系。
The axiom definitions of entropy, distance measure and similarity measure of intuitionistic fuzzy sets are systematically given and basic relations between these measures are discussed.
公理设计理论为由多机器人组成的多零部件集成装配与自动焊接系统的设计提供了一种指导性的框架。
Axiomatic design theory provides an instructional frame for the design of multi-part integration assemblage composed of multi-robots and automatic weld system.
“语句观”把一个理论看成是一个语句系统，而“谓词观”通常是指定义一个集合式谓词来对理论公理化。
The "sentence view" regards a theory as a sentence system, while the "predicate view" usually refers to the approach that axiomatizes a theory by defining a collective predicate.
此外，我们也提出了依存语法第五公理来支持我们的汉语句法分析系统。
In addition, we propose the fifth axiom of DG to support the parsing of...
此外，我们也提出了依存语法第五公理来支持我们的汉语句法分析系统。
In addition, we propose the fifth axiom of DG to support the parsing of...
应用推荐