查询词典 logic

Under Fidel Castro political logic has always trumped economic logic: three times since the 1960s he has reversed more pragmatic, decentralising policies and reimposed central control, as Carmelo Mesa-Lago and Jorge P rez-L pez, two Cuban-American economists have pointed out.

在老卡斯特罗的领导下，政治决策总是以国家的经济状况为导向——自上世纪60年代后，他曾三次重新采取更务实与地方分权政策并再次强加中央集权控制，正如两位古巴籍美国经济学家卡梅罗&梅萨-拉戈（Carmelo Mesa-Lago）与乔治&佩莱兹-洛佩兹（Jorge P rez-L pez）所指出的那样。

It perfects Pointer Logic by rephrasing Pointer Logic rules on the abstract model.

此模型不仅继承了已存在无存储模型的优点，而且克服了其冗余多，表示代价高的缺点。

Beethoven's symphonies revel another world, whose logic is the logic of feeling.

贝多芬的交响曲揭露了另一个世界，那里的逻辑是情感的逻辑

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.

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

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐