查询词典 Boolean logic

Wittgenstein 's view that propositions of logic are tautologies and they say nothing has exercised a great influence on the 20th-century philosophy of logic.

维特根斯坦在《逻辑哲学论》中所提出的逻辑命题是重言、是形式的观点，对于本世纪哲学家们的逻辑观给予了决定性的影响。

Of course this way of showing that the propositions of logic are tautologies is not at all essential to logic, if only because the propositions from which the proof starts must show without any proof that they are tautologies.

意义。但是对于等式来说，具有根本意义的一点是：为了显示用等号连接的两个表达式有相同的指谓，等式并非必要，因为这一点从两个表达式本身即可以看出来。

Tautologies and F-Tautologies in some lattice valued logic systems whose truth-value lattice are products of lattice implication algebra are discussed. As examples,α-Tautologies and F-Tautologies in lattice valued logic systems L〓P and L〓P are discussed in detail.

本文分析讨论了基于格蕴涵代数直积的格值逻辑系统中的α-重言式和F-重言式，作为两个实例，详细讨论了两个格值逻辑系统L〓P和L〓P中的重言式和F-重言式的结构。

The main results are:In logic system ,G,tautologies can not be get by using upgrade algorithm to non tautologies within finite many times;In logic system G n,tautologies can be get by using upgrade algorithm to an arbitrary formula of F at most n times; Congruence partitions about on F have been given in logi...

主要结果是：在逻辑系统 G，G中，重言式不可能由对非重言式进行有限次升级算法得到；在逻辑系统 Gn 中，对任一公式最多进行 n次升级算法即可得到重言式；利用可达广义重言式概念和α-矛盾式概念分别在 G，G，Gn 中给出了 F的一个关于同余的分划。

The main results are:In logic system r,G r, tautologies can not be get by using upgrade algorithm to non tautologies within finite many times; In logic system S n , tautologies can be get by using upgrade algorithm to an arbitrary formula of F at most n times; Congruence partitions about ...

主要结果是：在逻辑系统 Gr，Gr 中，重言式不可能由对非重言式进行有限次升级算法得到；在逻辑系统Sn 中，对任一公式最多进行n次升级算法即可得到重言式；利用可达广义重言式概念和α矛盾式概念分别在 Gr，Gr，Sn 中给出了F的一个关于同余的分划。

A good point of departure for doing so would be to develop a conscious awareness that there is something incompatible between translation and logic, that to translate is, in a sense, to subvert logic's totalizing claim as the one and only legitimate mode of thinking, and that in the resistance to such a claim, one finds no less than a condition of possibility for the practice of translation.

在这种思想背景下，翻译研究有必要有针对性地探讨逻辑问题。实际上，翻译历来都在拒斥逻辑的大一统作用。不这样，它存在者的地位早就岌岌可危了。

The problems in the start stop logic of band screen and the tripping logic of recycle water pump are analyzed in this paper, and improvement measures are given as well.

为此 ，分析了旋转滤网控制逻辑和循环水泵的跳闸逻辑存在的问题，并提出了相应的改进方

The slip ratio fuzzy logic controller can assure wheels work with optimal wheel slip ratio and the braking torque distribution fuzzy logic controller can dynamic adjust the braking torque based on the braking system requirement.

针对不同的路面附着情况，建立了不同的模糊控制规则库，并对CBCS控制策略和FCS策略的仿真结果进行了对比分析。

It's an effective measure of fast valving in improving the dynamic stabilities of power system and preventing the overspeed of steam turbines, but the fast valving technique available can satisfy the need of modern steam turbines no more. On the basis of the new type fluid logic valve, which combines the regulating systems and safety systems happily, the steam turbine EHC based on new principle is put forward, one of its outstanding characteritics is, the fast valving is operating in a closed control loop. For the implementation of control for steam generator regulation and safety systems with nonlinear mult-operating modes, a new methodology for designing a fuzzy logic controller is proposed, which is based on the combination of"error phase plane"and"variable universe of discourse". Application of a double-mode FLC with the new methodology is presented, the validity of the design methodolody is desmonstrated by test; A new methodolody is also presented to improve the design and tuning of a FLC using variable structure control theory.

本文还详细讨论了快关控制在提高电力系统暂态稳定性及超速保护中的应用，分析了现有的快关控制规律的局限性，研究出一种基于新型快关阀的汽轮机电液控制系统，其突出特点是使汽轮机闭环快关成为现实，指出这种基于新的组成原理与设计方法的汽轮机电液控制系统对不同工况下的适应能力；针对汽轮发电机组多工况、非线性的特点，提出一种把&误差相平面&方法与&可变论域&思想有机结合的双模FLC设计与调整的新方法，试验结果表明该系统具有良好的动、静态特性；为改善FLC控制规则的设计与调整，作者还介绍了一种把滑模变结构理论成功应用于模糊系统设计的新方法。

This paper chiefly studies commodity sale character's deep roots logic and function, and indicating that capital logic is its causes, ideology is its participation in society and the role of purpose.

本文从商品销售性格的具体表现生发出去，探讨了它的深层逻辑根基和功能表现，指出了资本逻辑是它的根源，意识形态是它参与社会的方式，是它的作用目的。

There are different types of personal loans available.

有许多不同类型的个人贷款优惠。

The above mentioned teaching model of spiral rising can be used to avoid rigidness in teaching.

上述螺旋式上升的教学模式，可以避免教学形成模式後的僵化现象。