查询词典 logic

Difference from other algebraic structures which are introduced for some logic system, Implication Algebra is a abstraction of one logic connective, i. e. implicative operator, and other operators in it are all introduced by implicative operator.

特别值得提出的是，与其它为研究逻辑系统而引入的代数结构不同，蕴涵代数是对一个逻辑联结词，即蕴涵算子抽象而得到的，其它算子均是由蕴涵算子诱导而得到。

Fuzzy logic is studied with algebraic tools in this paper. A kind of algebraic abstract of fuzzy logic, Implication Algebra on a partial ordered set, is given. The relations between Implication Algebra and other algebraic structures, such as MV-Algebra and Heyting Algebra etc., and the filter and the structure of Implication Algebra on a partial ordered set are studied.

本文的目的是使用代数工具对模糊逻辑进行研究，给出模糊逻辑的一类代数抽象，即偏序集上的蕴涵代数，研究偏序集上蕴涵代数与其它代数结构，如MV-代数，Heyting代数之间的关系，以及偏序集上蕴涵代数的滤子与其结构等。

Many years of training in logic and scientific method can make us feel that logic and science are all-powerful.

多年的逻辑训练、科学教育，使我们以为逻辑与科学是无所不能的。

The last part discusses some difficulties in the course of building knowledge predicate logic systems: recognizing agents across the worlds; logic almightiness; knowability paradox

第四部分：探讨在构建知道谓词逻辑系统中遇到的一些困难：认知主体知识的一致性，即跨世界识别个体的问题；逻辑全能问题；可知性悖论

For Smith, Google's logic is the logic of appeasement.

对于SMITH来说，Google的逻辑就是妥协的逻辑。

The thesis makes a preliminary exploration of the necessary conditions for fuzzy logic systems as universal approximator for nonlinear function, which is an important theoretical problem of fuzzy logic systems.

这一研究的重要意义在于，我们是在一个统一的框架下来对模糊逻辑系统的这一理论问题进行研究的，是这一研究领域开创性成果。

By this way, the obstacles are removed for the research on the theoretical problems of adaptive fuzzy logic system in a unitary frame, for instance the problem of the general fuzzy logic system as universal approximator of nonlinear function.

在概念上明确了专家信息的本质特征可以看作是来自语言的模糊信息，为通过自适应模糊逻辑系统对专家信息的研究和利用打开了通道。

In the contradiction among the coherence theory、truth dualism and logic apriorism, Tarski published《the semantic notion of truth in formal language》in 1935 ,creating new approach to study the truth and setting up theory of truth which regarded as the more complete theory on logic truth than others in the history.

真理符合论、真理二元论以及逻辑先验论的长期斗争和矛盾使得美籍波兰学家塔斯基独辟蹊径，在1935年发表了《形式化语言中的真理概念》，开创了真理研究的新途径，建立了语义学真理论，这也是历史上第一个比较完整的逻辑真理论。

Just like that we enjoy the Chinese characters and Arabic numbers, we not only enjoy the beautiful drawing of hieroglyph, beautiful line of " knotting cords to record events ", but also enjoy the representation and abundant meaning demonstrated by characters and numbers … furthermore the rhythm beauty demonstrated by quality logic and quantity logic!

正如我们欣赏中文的文字和阿拉伯数字那样，不仅可以欣赏到"象形文字"的图画美，"结绳记事"的线条美，还可以欣赏到文字和数字所表现的事物的具象以及它们丰富的内涵……还有定性的逻辑和定量的逻辑所呈现的旋律美！

Legal logic is useful in the Processes of commanding legal concept, using legal concept, upbulding and grasping proposition logically and carrying on legal reasoning accordingly, and doing logic reasoning for the legal arbitrament and legal ideas which are to be made.

法律逻辑有助于准确掌握和运用法律概念，合乎逻辑地建立和把握命题并进行法律推理，对即将作出的法律裁决或法律意见进行逻辑论证。

I can not make it blossom and suits me

我不能让树为我开花

When temperatures are above approximately 80 °C discolouration of the raceways or rolling elements is a frequent feature.

当温度高于 80 °C 左右时，滚道或滚动元件褪色是很常见的特征。