查询词典 sequential logic

22 The logic of the world, which is shown in tautologies by the propositions of logic, is shown in equations by mathematics.

6.22 逻辑命题在重官式中显示的世界的逻辑，数学在等式中显示出来。

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.

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

A dangerous signal recognition logic based on Boolean algebra with fuzzy shell and re- vised Gaines-Rescher implication operator is established,and the semantic properties of this logic are investigated,some interesting results are obtained.

建立了一种基于带Fuzzy壳Boole代数和修正的Gaines-Rescher 蕴涵算子的险象识别逻辑，并对这种逻辑进行了语义方面的研究，获得若干结果。

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策略的仿真结果进行了对比分析。

I can not negligent, he should do what?

我不能不在意了，他要做什么呢？

It is very dangerous to swim in the river alone.

一个人到河里游泳是很危险的。