查询词典 logically

The author points out: if lots of the conflicts of philosophical foundation the 20th century's quantum mechanics faced with, well-known to everybody, should be logically attributed to the confusions of the some fundamental concepts in the classical electromagnetic field theory, the series of logic inconsistencies implied in the classical electromagnetic theory and the forms of difficulties the modern computational electromagnetism encounters while solving time-varying electromagnetic field should be also logically attributed to an anomalous fact that series of fundamental mathematical propositions relating with bispinor differential operator, which naturally appears in the formal expression about dynamic electromagnetic field, have not be solved really while the related complete mathematic physical models or well posed boundary value problems have not been built.

著者指出：如果说20世纪的量子力学之所以面对哲学基础众所周知的矛盾，在逻辑上最终不能不归咎于经典电磁场理论体系的一些基本概念并没有真正得到澄清的话，那么，经典电磁场理论体系隐含的众多逻辑不自洽问题与目前计算动态电磁场所面对的困境，则必须逻辑地归咎于与双旋度微分算子相关的一系列基本数学命题并没有解决，而相关的恰当数学物理模型至今没有真正建立起来的缘故。

Kuvasz, logically it should, but logically a Marine could take out a Zergling in a few single shots and vise versa, so you know...

Kuvasz，逻辑上说这是应该，但是一个机枪兵可以很快消灭Zergling，反过来也如此，所以

If a maximally great being exists in one logically possible world, it exists in every logically possible world.

如果一最大地伟人 being 在一个逻辑地可能的世界上存在，它在每个逻辑地可能的世界上存在。

It is, e.g., logically impossible that any proper fraction should exceed the ratio 1/1; and again, on a certain definition of "angle," it is logically impossible for any angle to exceed four right angles.

它是，例如，逻辑地不可能任何真分数竟然超过比率 1/1；并且再在"角度"的某个定义上，任何角度超过四个直角是逻辑地不可能的。

Since the notion of maximal greatness, in contrast to the notion of an unlimited being as Malcolm defines it, is conceived in terms that straightforwardly entail existence in every logically possible world (and hence eternal existence in every logically possible world), there are no worries about whether maximal greatness, in contrast to unlimitedness, entails something stronger than eternal existence.

自从最大的伟大的观点，与观点相对照一无限作为 Malcolm 定义它，在正直地必要的术语被构思在每个逻辑地可能的世界上的存在(并且在每个逻辑地可能的世界上的因此永久的存在)，关于没有担心是否最大的伟大，与无限相对照，必要比永久存在强壮的一些东西。

In knowledge base the knowledge may produce the inconformity, in appliedly these knowledgeses proceed logically, would seriously affect the reason logically process the knowledge efficiency, even will produce the fata mistakes.

摘 要：在知识库中知识可能会产生不1致，在应用这些知识进行推理时，会严重影响推理过程中知识的推理效率，甚至会产生错误。

In knowledge base the knowledge may produce the inconformity, in appliedly these knowledgeses proceed logically, would seriously affect the reason logically process the knowledge efficiency, even will produce the fata mistakes.

摘 要：在知识库中知识可能会产生不一致，在应用这些知识进行推理时，会严重影响推理过程中知识的推理效率，甚至会产生错误。

First, the Truth-Ascription Thesis, as Stroud understands it, is meant to apply to what an attributor must believe about the truth of an actual subject's beliefs. Second, Brueckner's criticism seems to involve an implicit but dubitable premise concerning the extent and nature of conception required for consistently believing that something is logically possible—or perhaps more importantly: of conception required for not being committed to the claim that something is not logically possible.

首先，归真论点，按Stroud理解的，意味着'一个归真者必须相信一个事实主体的信念的真'；第二，Brueckner的批评似乎含有一个隐含的但可疑的前设，关涉&一致地'相信某东西是逻辑可能的'所必要的概念的本性和程度&的前设，或是可能更重要的：&不付诸主张'某东西不是逻辑可能的'&所必要的概念。

The fundamental properties of the system K are studied,and it is pointed out that All theorems of the system L are theorems of the system K.Some important theorems about quantifiers are obtained.Moreover,the following results also are proved that all instances of substitution in the system K of tautologies of the system L are logically valid for any R0 chain,the soundness theorem and strong soundness theorem hold in the system K,i.e.,all theorems ofthe system K also logically valid for any R0 chain.

其次，研究了系统K*的基本性质，指出了系统L*的定理都是系统K*的定理，给出了系统K*与量词有关的一些重要定理，证明了系统L*的重言式在系统K*中的代换实例都是系统K*中关于任何R0链的逻辑有效公式；系统K*的可靠性定理成立，即系统K*中的定理关于任何R0链也是逻辑有效的；系统K*的强可靠性定理也成立，即系统K*在任何理论T下的定理关于任何R0链也是逻辑有效的。

In response, Cohen logically analyses self-ownership as a concept, and argues the semantic consistency and determinacy of the concept of self-ownership, and concludes that the concept of self-ownership is logically tenable.

由于自我所有原则是诺齐克持有正义理论的实质，柯亨对诺齐克持有正义理论的批判，就成了对自我所有原则的批判。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了