查询词典 logically true proposition

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.

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

From the polarity of atomic proposition, a series of CTL formulae is derived by substituting the atomic proposition with TRUE or FALSE, before they are verified by model checking tools. If one of the CTL formulae has passed the verification, then it is concluded that the system property is a vacuity.

根据原子命题的极性，用TRUE 或FALSE替换原子命题，得到一系列的CTL公式，再对这些CTL公式用模型检验工具验证，若CTL公式中有一个通过了验证，则可得出该系统属性是一个空属性。

Who? I never heard of him, Paul said, before asking teammate James Posey if he had heard of him.

赛后，科比说，他一直都是一名非常出色的射手，今天他打得很棒。

When I joined the company, I rotated around the different sections.

我加入这个公司时，轮换过几个不同的部门。