逻辑的

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 我们不能想像出不合逻辑的东西，因为那样一来我们将不得不进行不合逻辑的思维。

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新