逻辑的

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

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

Historical logic rationality would unify that two in order to search logical confirmatory and standardization from historical development, and remove mysticism, mistiness and relativism.

历史的逻辑理性则将二者统一起来，在历史的发展中寻找逻辑的确定性和规范性，消除神秘主义和模糊性乃至相对主义。

Professor Zhang Qing-yu gets paraconsistent modal proposition logic C〓G'on the base ofCosta's paraconsistent proposition logic system C〓.

张清宇教授在科斯塔的弗协调命题逻辑系统C 的基础上得到弗协调模态命题逻辑系统CnG＇。

A to show anger B to make fun of C to give shouts of supports 14. describe One such story describes a visit made by a Baron Munchausen.

阅读理解，从另一个角度看是读者解读作者逻辑思路的过程，因此有必要对常见的逻辑思路进行总结。

A major cause of this pervasiveness is the structural difference between application logic and security logic.

这种普遍性的主要因素是应用逻辑和安全逻辑之间的结构差。

Meanwhile the standard monadic second order logic was substituted by a weaker logic framework: positive monadic partition logic.

同时，标准的existential monadic二阶逻辑也被一种更弱的规范框架——positive monadic分划逻辑所取代。

After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.

之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。

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；并且再在"角度"的某个定义上，任何角度超过四个直角是逻辑地不可能的。

The above all the theory of truth degrees of formulas are proposed in propositional logic.

以上各种真度理论都是在命题逻辑中给出的，对于谓词逻辑而言，建立公式的真度理论要复杂得多。

Many people think it is Frege who first provided the significance of quantifier in modern logic.

量词是逻辑学尤其是现代逻辑中的一个核心概念，在逻辑分析和语言分析中有着特别的重要性。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。