查询词典 statement 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.

在 Fidel Castro 政治上的逻辑之下已经总是打出王牌经济的逻辑：三次自从 1960 年代以后他已经颠倒更忙碌的， decentralising 政策而且再征税中央的控制，如 Carmelo 台地- Lago 和 Jorge P é rez-L ó pez ，二位古巴裔美国人经济学者已经指出。

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的一个关于同余的分划。

Now he worked in ajoint venture.

现在他在一家合资企业工作。

More troops in Afghanistan won't change any of the foregoing.

更多的在阿富汗的军队也不会改变之前的状况。