非逻辑的

The soundness and completeness theorem of this method were proved at last. 5. The a-automated reasoning method based on the a-resolution principle of LP was discussed, the author given a method to describe the set of simple generalized clauses (veriables and non-subregular 1 - IBSFs are only contained) by using a matrix, and translated the a-resolution of two clauses to column operations of this matrix.

最后，证明了该方法的可靠性和完备性； 5、对格值命题逻辑系统LP中基于α-归结原理的α-自动推理方法进行了研究，给出了用符号矩阵表示一类简单的广义子句集合(只含命题变元和非正则1-IESF广义文字)的方法，把α-归结原理转换成矩阵的列变换。

In contrast to these writings, this essay regards legal reasoning as a crosscutting thinking which can penetrate into all kinds of legal practice and processes of cognition, and put this subject on the core position of the theory of knowledge in philosophy of law.

第三部分即第五章，论述了贯穿于法律推理过程中的四对基本矛盾即：规则和原则，逻辑和经验，确定性和非确定性、真理和价值；分析了它们必然存在的理由、相互作用的过程以及由此所推动的法律推理的发展。

First of all,we elaborate a formal variant of Description Logics,namely, ALCQO,which is capable of extending the conceptual modeling ability of classical DLs with process modeling and numerical constraint representation ability, while still retains decidability for major reasoning problems.

与传统的描述逻辑不同，ALCQO既保留了一定的概念建模能力，还显著的增强了在数字属性和时序关系上的表达能力，因此对Web服务的功能属性以及非功能属性都具有足够的表达能力。

Based on the eight Chinese traditional yin and yang contradiction categories to analyze among the open and close areas in mathematics to achieve the triple unity of opposite composing relation of identical,resemble,diversity and contrary,the four basic types of logical inference.

用中华传统8大阴阳矛盾范畴分析数学中的开闭区间，得出相同、相似、相异、相反这4大逻辑推理基础类型间存在着三极对立统一的组成关系，进而提出涉及此组成关系的逻辑推理基础类型的互蕴公理及其描述内涵的反演算和逻辑外延的非演算。

Secondly, philosophy of science is during interim, and it faces reproach which empiricism meets with, argument of determinism and indeterminism, and controversy of view on causality. The philosophy of science of Suppes just solves the questions in some sense in a kind of idea and way, and exceeds logical empiricism and 'postempiricism' to open up a new way for philosophy of science.

第二，科学哲学处于过渡时期，面对经验主义所遭受的非议、决定论与非决定论之争以及因果论的争议，苏佩斯的科学哲学以一种全新的思想和方法对这些问题做了某种程度的解决，并超越逻辑经验主义和"后经验主义"，为科学哲学另辟新径。

But if anyone will be at the pains to compare the teaching of the Fathers, of the Scholastics, and of the divines of the Anglican Church in the seventeenth and eighteenth centuries, with that of the non-Catholic theologians of today, he will find that the Scholastics merely put into shape what the Fathers taught, and that the great English divines owe their solidity and genuine worth to their vast patristic knowledge and their strictly logical training.

但如果有人将设在不厌其烦地比较教学的父亲，该scholastics ，该divines的圣公会在十七世纪和十八世纪，是由非天主教神学家的今天，他会发现该scholastics仅仅投入什么形状的父亲教导，并认为大英语divines归功于其硬度和真正的价值，以自己的广大教父知识和严格的逻辑训练。

Secondly, in order to achieve fast PN code acquisition, a modifiednon-coherent sequential detection decision logic based on continuousaccumulation is proposed.

第二，为了解决星间链路中伪随机码快速捕获的问题，本文提出了一种基于连续累加的非相干序贯检测判决逻辑，并证明了给出的方案在特定的假设条件下为最优的序贯检测。

You can layer your application according to whatever architecture you devise, rather than being forced to shoehorn your application logic into an unnatural layering scheme forced upon you by whatever combination of stovepipe frameworks you're using today.

你可以根据任何你设计的体系来将你的应用程序分层，而非必须削足适履的将你的程序逻辑被迫按照某种分层机制才能和你目前使用的框架相结合。

The theoretical study shows that the continuous variability of non-operator, and operation, and or operation can be realized in mathematics, and can use a variety of forms such as mathematical index, polynomial and trigonometric. This paper introduces several and/or operations models, and the comparison by the simulation experiment shows that the model I is a more ideal model.

理论研究表明泛逻辑中泛非、泛与／或运算的连续可控性在数学上是完全可以实现的，并可以用多种数学形式如指数、多项式和三角函数等形式来实现，本文介绍的泛与／或运算的几个模型，通过仿真实验比较可以得出模型一就是一个比较理想的模型。

Through a new analysis on the essential relationship between Russell's Paradox and Cantor's proof on the uncountability of real number set and the proof on the Cantor's Theorem of , a mysterious error was found:the very same logic contradiction was applied in both Russell and Cantor's work.

分析了罗素悖论与康托的实数集合不可数证明及康托定理证明之间的本质性联系，发现康托在这两个非构造性证明中所依赖的、用对角线法所构造出的矛盾其实就是罗素悖论中所揭示的逻辑矛盾。

The concept of equivalent rotationally rigidity is offered and the formula of rotationally rigidity is obtained.

主要做了如下几个方面的工作：对伸臂位于顶部的单层框架—筒体模型进行分析，提出了等效转动约束的概念和转动约束刚度的表达式。

Male cats normally do not need aftercare with the exception of the night after the anesthetic.

男猫通常不需要善后除了晚上的麻醉。