查询词典 Boolean logic

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.

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

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

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

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。