查询词典 Boolean logic

Great emphasis is put on the logic imagery movement in the process of visual thinking through relating the visual thinking theory of Arnheim's.They are as follows:the logic of choosing images,the logic of organizing images and the logic of distilling images.

通过对阿恩海姆的视觉思维理论的解读，着重诠释视觉思维过程中的意象运动逻辑："自上而下"的意象选择逻辑、"补足"与"重构"的意象组织逻辑、"抽象"和"概括"的意象升华逻辑。

The inspection unit includes storing unit, logic switching unit and drive change-over switch, inspects whether the storing unit is normal via detecting the edge change, sets the output of abnormal storing unit in certain logic level and performs different logic operations to different logic level setting values.

检验装置包括储存单元、资料切换开关与边缘探测器。其是以边缘变化是否正确来检验储存单元的运作是否正常，并将出现问题的储存单元的输出设定在一固定的逻辑电位上，再对不同逻辑电位设定值使用不同的逻辑运算。

The formal logic is the logic of affirmation. The dialectic logic is the logic of description.

形式逻辑是关于断定的逻辑，辩证逻辑是关于描述的逻辑。

A comparative study of two logic systems should base on the analysis of their historical background and the interpretation of their cultural host;(2) The Mohist logic depend on Pre Qin culture of China and Aristotelean logic was embedded in Hellenism of Hellenistic Age;(3) In view of these two logic systems being the ...

墨家逻辑依托于先秦文化，亚里士多德逻辑依托于古希腊文化。两种文化有不同的特征和需求。不同文化的特征和需求，产生了两种不同的逻辑。两种逻辑的差异主要表现为：目的与任务不同，逻辑特征不同，主导的推理类型不同，推理成分的分析不同，后续发展状况不同。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

Related new concepts include: proposition and predicate calculus of transition logic, excitation factors and transition conditions, star algorithm and its model in pansystems analysis, pansystem logic space, pans-ystem logic extending reasoning principle, dynamical yinyang logic, etc.

有关的新概念有：转移逻辑的命题演算与谓词演算，激活因素与转移条件，星算法及其泛系分析模型，泛系逻辑空间，泛系逻辑延拓推理和动态阴阳逻辑。

Using CPLD logic chip as a whole logic of the system to deal with relations of logic, which simplified circuit, and disengaged DSP from the trivial logic reliability, making it faster, so the system has more efficient at work.

同时采用CPLD逻辑芯片对系统的整体逻辑关系进行全局处理，简化了电路。

The concept of relative Γ-tautology degree of formulas in four important propositional logics, Lukasiewicz logic, L(superscript *) logic, Gdel logic and product logic, has been proposed, and basic properties of it are obtained.

基于广义重言式理论，在四种重要的命题逻辑系统Lukasiewicz系统，L系统，Gdel系统和Ⅱ系统中，引入了公式的相对Γ-重言度概念，给出了相对Γ-重言度的若干性质。

R.Carnap's meaning theory is a milestone of history of logic. It has great influences on many branches of logic such as modal logic and Montagu's intension logic.

卡尔纳普的意义理论是逻辑学发展史上的一个重要的环节，对逻辑学的许多分支如模态逻辑、蒙塔古内涵逻辑等发生过重大影响。

Logic such as knowledge logic, belief 1ogi, and so on, can be regarded as a "positive" logic, and doubting logic as a "negative" one.

如果说知道逻辑、信念逻辑都是"正"的逻辑的话，那麽怀疑逻辑则是"负"的逻辑。

Summary In copyright infringement cases,if the alleged infringer uses or even plagiarizes the copyrighted works or parts thereof,which causes no substantially adverse effect on the normal exploitation of the work,nor does it inflict any substantial damages to the right owner,the de minis doctrine should be applied to exempt the liabilities of the defendant and seek the balance of interests between the right owner and the general public embodied by the copyright law.

在侵犯著作权案件中，如果被控侵权行为人虽未经著作权人的同意，使用甚至抄袭了受著作权保护的作品或作品的片段，但若情节轻微，未对该作品的正常使用产生任何实质不利的影响，亦未对权利人的权利造成实质性的损害，则应适用&不计琐细原则&，免除行为人的责任，以寻求在权利人利益与著作权法所体现的社会公共利益之间的平衡。

This new product will become our best seller.

这个新产品会成为我们最畅销的产品。