查询词典 logic

In methodology,to such problems as follows attention should be paid:compling with the rules of dialectical logic,laying stress on the integration history with logic,insisting on the principle of distilling abstraction from concrete.

在方法论上，遵循辩证逻辑的要求，强调历史和逻辑的统一、从抽象上升到具体的原则。

This paper works on propositional logic system in Computer Logic.

本论文研究了计算机数理逻辑中的命题演算部分内容。

The system showed the procedures of the propositional logic. It is valuable and useful for teaching propositional logic.

程序演示了符合要求的命题式的真值求值过程以及前束范式的化简过程，具有较好的教学演示功能，对计算机辅助教学有一定的现实意义。

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

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

fuzzy reasoning and fuzzy propositional logic are topics of general interest in many-valued logic.

模糊命题逻辑系统和模糊推理是多值逻辑研究的热点课题。

This text will first introduce you one branch of symbolic logic,what is generally called sentential,or propositional,logic.

本课首先将向你介绍符号逻辑的一个分支，即通常认为成为的句子逻辑或命题逻辑。

This paper introduced the some theories of propositional logic, and gave the Computer implementation of the propositional logic calculations based on VC++.

本文在对数理逻辑领域的命题演算课题进行理论研究的基础上，对命题式的真值计算和一阶谓词命题式的前束范式化简进行了基于 VC++平台的编程实现。

Two-valued logic with elements "0","1" is well-known to everyone and it provides the implementations for studying propositional logic and logical networks.

包含"0"，"1"两个元素的布尔代数已为人们所熟知，它给命题演算和对逻辑网络的研究提供了很好的工具。

By employing the theory of ∑Γ－fuzzy truth degree, the concepts of Γ-pseudometric on F was proposed in the propositional logic system Ln. The results obtained can complement and enhance the original theory of metrology of logic, and can give a new frame for fuzzy reasoning study.

特别地证明了真度关系：τΓ+τΓ≤1+τΓ，并利用这一关系在模糊命题演算系统Ln中的公式集F上引入相对于有限理论的Γ-伪距离，从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。

Having combination of the theory of truth degree in metrology of logic with the theory of ∑-α-tautologies in fuzzy logic, which have been introduced by professor G.J.Wang, the theory of ∑Γ-truth degree was introduced, and its properties which induce a pseudometric on F were investigated. The results gained have complemented and enhanced the original theory, and the work delivers a new frame for fuzzy reasoning.

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合，在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论，较为详细地讨论了它们的性质，并利用∑Γ-真度的性质在公式集F上引入了ρΓ-伪距离，对原有的理论进行了加强和补充，为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐