逻辑的

It is something illogical and yet above all logic.

它是一种不合逻辑的东西，而超越于它的东西都合逻辑。

The valuable logic"is an essential condition of"the value of logic.

有了"有用的逻辑"，才能有"逻辑的有用"。

The paper is concerned with the ambiguity of the formalization of reasoning and the origin of the paradox of material implication.

所谓逻辑的形式化就是对概念、命题、推理给以数学化，它是构建现代逻辑系统普遍采用的方法。

This paper summarizes some inferential proof methods in propositional logic and predicate logic by using some examples.

本文结合适当的例题总结了命题逻辑和谓词逻辑的几种常见推理证明方法。

Furthermore,this paper introduces some details in designing and implementing of the APL automated theorem prover for Pointer Logic,and describes some algorithms.

指针逻辑作为Hoare逻辑的扩展，可以对指针程序进行精确的分析。

The basic study of simple regression logic in this paper may also be one reclarification of logic meanings in economic analysis.

本文简单回归逻辑的基本思考，可能也是一次经济分析逻辑意义的再厘清。

This article analyzes the influence of this trichotomy on the philosophy and logic of language in detail,and on top of this,illustrates the significance of 'pragmatics turn' in the fields of theoretic...

本文详细分析符号学三分法对语言哲学和语言逻辑的影响，并特别阐明语用学转向对理论语言学、语言哲学和语言逻辑的意义。

Description logic is the decidable fragment of the first order logic and suitable for modeling the concept terminology of domain knowledge.

描述逻辑是一阶逻辑的可判定子集，适合对领域知识的概念术语进行建模。

We cannot think anything unlogical,for otherwise we should have to think unlogically.

3.03 我们不能想象出不合逻辑的东西，因为那样一来我们将不得不进行不合逻辑的思维。

We cannot think anything unlogical,for otherwise we should have to think unlogically.

3.03 我们不能想像出不合逻辑的东西，因为那样一来我们将不得不进行不合逻辑的思维。

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.

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